Zulip Chat Archive

Stream: condensed mathematics

Topic: celebration party

Johan Commelin (Jul 17 2022 at 23:01):

I propose that we have an online party at 2022-07-21T20:00:00+02:00 to celebrate the complete formal verification of LTE.
Bring your own beer!

Filippo A. E. Nuccio (Jul 21 2022 at 11:30):

Here is a Zoom link for tonight celebration party:

Topic: LTE Celebration Party
Time: Jul 21, 2022 19:50 Paris

Join Zoom Meeting
https://cnrs.zoom.us/j/96019313033?pwd=cWtZMERWdGk4NE1rQnA0V3hWOFpoQT09

Meeting ID: 960 1931 3033
Passcode: 9tFWSL

Kevin Buzzard (Jul 21 2022 at 11:50):

This is in the middle of my working day but I'm sure nobody will mind

Johan Commelin (Jul 21 2022 at 17:58):

Party is starting! :octopus: :party_ball:

Johan Commelin (Jul 21 2022 at 18:00):

Grab your beers!

Patrick Massot (Jul 21 2022 at 23:38):

Oh, we missed the party. I assumed that someone here in Providence would tell everybody: "it's LTE party time". But we are so crazily busy that nobody thought about it :sad:

Kevin Buzzard (Jul 22 2022 at 02:50):

ha ha we were too busy doing PR reviews!

Kevin Buzzard (Jul 22 2022 at 02:50):

I'm sorry to have missed it! They're making me work too hard!

David Michael Roberts (Jul 22 2022 at 05:02):

I'm sorry to have missed sneaking in to listen to the chat, but then I really needed to sleep! ('twas at 3.30am here)

Last updated: Dec 20 2023 at 11:08 UTC