coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Formal Methods in Mathematics / Lean Together 2020

From: Freek Wiedijk <freek AT cs.ru.nl>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Formal Methods in Mathematics / Lean Together 2020
Date: Wed, 6 Nov 2019 11:59:25 +0100
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=freek AT cs.ru.nl; spf=Pass smtp.mailfrom=freek AT cs.ru.nl; spf=None smtp.helo=postmaster AT smtp3.science.ru.nl
Ironport-phdr: 9a23:/w3wGxO1co5Xl+y/Qfsl6mtUPXoX/o7sNwtQ0KIMzox0LfzzrarrMEGX3/hxlliBBdydt6sfzbOP7Ou6ASQp2tWoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7Ovr6GpLIj8Swyuu+54Dfbx9HiTagb75+Ngi6oRjTu8UZn4duNrs6xwfUrHdPZ+lY335jK0iJnxb76Mew/Zpj/DpVtvk86cNOUrj0crohQ7BAAzsoL2465MvwtRneVgSP/WcTUn8XkhVTHQfI6gzxU4rrvSv7sup93zSaPdHzQLspVzmu87tnRRn1gyoBKjU38nzYitZogaxVoByvuQFxzY3aYI6aKPVxY6HSct0BSGpdQspdSzBNDp+mYocRCecKIOZWr5P6p1sLtRawBROsC/3xxT9Lm3T53aw63Po8HgHH3gwgHM8FvXParNXvKqgdT+O1wbLUwjXYdf9Wwyr95JLOchAluPyBW697f8nJyUQ3Cg/IgEicpZb4Mz6X2ekBqWaW4/Z6We6yj2MqpRl9riWgy8oskIXFm58Zx1He+Slkw4s4JMe0RU96bNOiDZBerTuVN5FsTcMnW2xouDg1yrkBuZOjZygKzYgnxwbRZvCdaIiH/hPjW/iXIThkmn1pYqi/hwuo/Uimzu3wTsi00FBUoSpZitTAq34A2wHJ5sSaSPZw8V2t1DiT2wzJ9+1JJU45mbLeK5E7w74wkpQTsV7EHi/zgEj2grWWeVs69eir8Onofq7mqoWGN49pkA3+NKAultSlAeskKggOQ3Sb+eOk2bL/+k35WaxGgeEykqnEq5/XPt8bp668Aw9NyIkv8Re/DzG80NQZh3YLNlxFeAjUx7TublrJObXzCeq1q1WqijZigf7cbZP7BZCYAGLOnbSpQrdw509ey0Jnw8pS6pF8AapHOu+1XEun54+QNQMwLwHhm7WvM956zI5LATvSUJ/cC7vbtBqz3sxqI+SIY9VM6i34N+B+oeXljHI/klJbZ7Tv259FMCnpTMQjGF2QZD/XuvlEFG4LugQkS+mz0A+JSnhJejC0W/Blv21pOMedFY7GA7uVrvmZxi7iRs9dfSZcFxaKFSWweg==

Hi Jeremy,

>*Formal Methods in Mathematics / Lean Together 2020* will run from Monday,
>January 6 to Friday, January 10, 2020 at Carnegie Mellon University, in
>Pittsburgh, Pennsylvania.

I'm planning to attend, there apparently is travel money for
this for me, but I still need to find reasonable tickets,
and it interferes a bit with our Christmas vacation plans (we
planned to go to Paris). Still, I probably will try to go.

As for the lodging: can you roughly tell me how expensive
the hotel will be per night. I'd like to stay with the
crowd, but if it's much more expensive than something I
find for myself (like an airbnb or something like that),
I might choose that.

Hope you're well!

Freek

Re: [Coq-Club] Formal Methods in Mathematics / Lean Together 2020, Freek Wiedijk, 11/06/2019
- Re: [Coq-Club] Formal Methods in Mathematics / Lean Together 2020, Freek Wiedijk, 11/06/2019