Zulip Chat Archive
Stream: FoMM / Lean Together 2020
Topics:
- 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 2023 at 11:08 UTC