Zulip Chat Archive

Stream: Leaning In!

Program shaping up, but there's still room! (1 message, latest: Dec 23 2025 at 13:59)
2026 CfP is open! (3 messages, latest: Nov 26 2025 at 20:21)
channel events (8 messages, latest: Oct 30 2025 at 10:12)
Searching the cantor space (2 messages, latest: Sep 29 2025 at 12:28)
2026? (3 messages, latest: Sep 03 2025 at 07:08)
Videos now available! (3 messages, latest: Apr 23 2025 at 08:15)
Sail and Lean-MLIR – slides and links (3 messages, latest: Apr 23 2025 at 04:46)
Announcing the proof clinic! (9 messages, latest: Mar 14 2025 at 13:02)
Possibly Infinite Trees of Finite Degree (1 message, latest: Mar 14 2025 at 09:36)
Thank you! (1 message, latest: Mar 13 2025 at 16:12)
The proof clinic (3 messages, latest: Mar 13 2025 at 10:42)
Zoom URL! (4 messages, latest: Mar 13 2025 at 10:03)
Recursive Definition – Slides (3 messages, latest: Mar 13 2025 at 09:04)
Link on researchseminars.org (1 message, latest: Mar 13 2025 at 06:02)
Time and space are still available! (6 messages, latest: Mar 12 2025 at 11:18)

Last updated: Feb 28 2026 at 14:05 UTC