Zulip Chat Archive

Stream: FoMM / Lean Together 2020

Zoom (86 messages, latest: Jan 16 2020 at 15:45)
Lean Together (13 messages, latest: Jan 15 2020 at 13:10)
photos (1 message, latest: Jan 12 2020 at 00:21)
Term rewriting and PL theory (9 messages, latest: Jan 11 2020 at 15:52)
Notes of maintainers meeting? (1 message, latest: Jan 11 2020 at 01:55)
Share ride to airport early 1-11 (1 message, latest: Jan 10 2020 at 23:06)
Dinner (6 messages, latest: Jan 08 2020 at 15:29)
Leaning together over good food (14 messages, latest: Jan 06 2020 at 22:58)
New laptop (2 messages, latest: Jan 06 2020 at 22:30)
travel and hotel (16 messages, latest: Jan 06 2020 at 04:23)
dinner and catering (2 messages, latest: Dec 28 2019 at 21:27)
streaming video (3 messages, latest: Dec 28 2019 at 20:52)
stream events (3 messages, latest: Dec 28 2019 at 20:50)

Last updated: Dec 20 2025 at 21:32 UTC