Topics:
- stream events (4 messages, latest: Oct 31 2023 at 11:17)
- May 14 - Mike Shulman's talk (96 messages, latest: Apr 17 2023 at 08:23)
- April 2 - Todd Trimble's talk (138 messages, latest: Jul 14 2021 at 12:04)
- May 21 - Jade Master's talk (43 messages, latest: Jan 28 2021 at 02:55)
- June 11: Paolo Perrone's talk (14 messages, latest: Jan 14 2021 at 10:30)
- Topos Colloquium (3 messages, latest: Dec 26 2020 at 17:44)
- December 10: Evan Patterson's talk (16 messages, latest: Dec 11 2020 at 05:58)
- December 3: Arthur Parzygnat's talk (5 messages, latest: Dec 03 2020 at 23:47)
- November 19: Eigil Rischel's talk (8 messages, latest: Nov 19 2020 at 21:26)
- November 12: Rick Jardine's talk (7 messages, latest: Nov 12 2020 at 20:50)
- Nov. 5th seminar? (2 messages, latest: Nov 05 2020 at 20:49)
- October 29: Conal Elliott's talk (7 messages, latest: Oct 30 2020 at 01:07)
- October 22: Tarmo Uustalu's talk (6 messages, latest: Oct 22 2020 at 21:18)
- October 15: John van de Wetering's talk (5 messages, latest: Oct 15 2020 at 19:50)
- October 8: Bob Paré's talk (5 messages, latest: Oct 12 2020 at 14:21)
- October 1: David Myers' talk (5 messages, latest: Oct 01 2020 at 22:13)
- September 24: Juan Orendain's talk (6 messages, latest: Sep 24 2020 at 20:31)
- September 17: David Spivak's talk (37 messages, latest: Sep 17 2020 at 22:14)
- September 10: Brandon Shapiro's talk (4 messages, latest: Sep 17 2020 at 13:04)
- September 3: Prakash Panangaden's talk (8 messages, latest: Sep 05 2020 at 06:05)
- August 27: Michael Robinson's talk (9 messages, latest: Aug 27 2020 at 20:39)
- August 20: Maru Sarazola's talk (5 messages, latest: Aug 21 2020 at 12:19)
- August 13: Toby Smithe's talk (6 messages, latest: Aug 13 2020 at 19:37)
- August 6: Valeria de Paiva's talk (6 messages, latest: Aug 06 2020 at 21:30)
- July 30: Eugenia Cheng's talk (12 messages, latest: Jul 31 2020 at 14:05)
- July 16: Tobias Fritz' talk (25 messages, latest: Jul 31 2020 at 02:20)
- April 30 - Sophie Libkind's talk (27 messages, latest: Jul 30 2020 at 20:00)
- July 23: Evan Patterson's talk (15 messages, latest: Jul 23 2020 at 21:32)
- General discussion (6 messages, latest: Jul 14 2020 at 20:00)
- June 25: Remy Tuyeras' talk (6 messages, latest: Jun 26 2020 at 04:26)
- June 18: Christian Williams' talk (7 messages, latest: Jun 18 2020 at 21:08)
- June 4 - Carmen Constantin's talk (23 messages, latest: Jun 08 2020 at 20:30)
- May 28: David Spivak's talk (51 messages, latest: Jun 01 2020 at 09:04)
- May 7 - Bob Coecke's talk (24 messages, latest: May 08 2020 at 09:38)
- April 23 - Joe Moeller's talk (34 messages, latest: Apr 24 2020 at 09:45)
- April 16 - Joachim Kock's talk (25 messages, latest: Apr 17 2020 at 00:33)
- April 9 - John Baez's talk (81 messages, latest: Apr 14 2020 at 05:29)
- technology choices (9 messages, latest: Apr 03 2020 at 13:14)
- scheduling (3 messages, latest: Apr 01 2020 at 23:43)
- March 26 - David Myers' talk (40 messages, latest: Mar 27 2020 at 18:11)
- March 19 - Pilot talk (1 message, latest: Mar 24 2020 at 20:49)
