Topics:
- stream events (4 messages, latest: Oct 31 2023 at 11:26)
- July 6: Tobias Fritz et al.'s talk (14 messages, latest: Nov 17 2020 at 14:37)
- July 7: Georgios Bakirtzis et al.'s talk (15 messages, latest: Oct 19 2020 at 00:53)
- Linear logic and Petri nets (13 messages, latest: Aug 02 2020 at 01:32)
- Feedback/reflection on ACT2020 (22 messages, latest: Jul 23 2020 at 20:17)
- Tutorial: Yoneda Lemma and Matrices (Emily Riehl) (10 messages, latest: Jul 17 2020 at 01:41)
- July 7: David Spivak's talk (17 messages, latest: Jul 15 2020 at 17:24)
- July 8: Jules Hedges et al.'s talk (46 messages, latest: Jul 15 2020 at 01:14)
- July 10: Marco Benini et al.'s talk (9 messages, latest: Jul 13 2020 at 11:33)
- July 10: Vladimir Zamdzhiev's talk (8 messages, latest: Jul 13 2020 at 11:15)
- Jitsi rooms (10 messages, latest: Jul 11 2020 at 18:54)
- general information (17 messages, latest: Jul 10 2020 at 22:57)
- July 9: ACT Community Values Meeting (11 messages, latest: Jul 10 2020 at 22:42)
- July 10: Richard Statman's talk (5 messages, latest: Jul 10 2020 at 22:16)
- July 10: Luigi Santocanale's talk (4 messages, latest: Jul 10 2020 at 22:11)
- July 10: Andre Kornell et al.'s talk (3 messages, latest: Jul 10 2020 at 21:12)
- gathertown (4 messages, latest: Jul 10 2020 at 19:07)
- July 10: Giovanni de Felice et al.'s talk (11 messages, latest: Jul 10 2020 at 16:20)
- Systems and Cybernetics (13 messages, latest: Jul 10 2020 at 15:54)
- July 10: Bob Coecke et al.'s talk (10 messages, latest: Jul 10 2020 at 15:41)
- July 10: Martha Lewis' talk (7 messages, latest: Jul 10 2020 at 15:07)
- July 9: Paul Wilson et al.'s talk (17 messages, latest: Jul 10 2020 at 14:26)
- July 9: Brendan Fong et al.'s talk (18 messages, latest: Jul 10 2020 at 13:27)
- July 9: Geoff Cruttwell et al.'s talk (10 messages, latest: Jul 10 2020 at 12:29)
- July 9: Rocco Gangle et al.'s talk (4 messages, latest: Jul 10 2020 at 10:22)
- July 9: ACT Business Meeting (183 messages, latest: Jul 10 2020 at 09:32)
- July 9: Henry Adams et al.'s talk (3 messages, latest: Jul 10 2020 at 01:40)
- July 7: John Baez et al.'s talk (45 messages, latest: Jul 10 2020 at 00:09)
- July 8: Poster Session (16 messages, latest: Jul 09 2020 at 21:07)
- July 8: Industry Showcase (10 messages, latest: Jul 09 2020 at 21:05)
- Tech support (91 messages, latest: Jul 09 2020 at 20:04)
- July 9: Tarmo Uustalu et al.'s talk (26 messages, latest: Jul 09 2020 at 17:27)
- July 9: Christine Tasson et al.'s talk (8 messages, latest: Jul 09 2020 at 15:14)
- July 9: Nicolas Blanco et al.'s talk (6 messages, latest: Jul 09 2020 at 15:05)
- July 8: Bob Coecke et al.'s talk (30 messages, latest: Jul 09 2020 at 12:50)
- July 8: Lachlan McPheat et al.'s talk (6 messages, latest: Jul 09 2020 at 10:11)
- July 8: Micah Halter et al.'s talk (48 messages, latest: Jul 08 2020 at 23:14)
- July 7: Toby Smithe's talk (11 messages, latest: Jul 08 2020 at 18:29)
- July 7: David Myers' talk (19 messages, latest: Jul 08 2020 at 18:22)
- July 6: Joe Moeller et al.'s talk (38 messages, latest: Jul 08 2020 at 17:03)
- July 8: Robert Atkey et al.'s talk (4 messages, latest: Jul 08 2020 at 16:47)
- July 7: Daniel Cicala's talk (6 messages, latest: Jul 08 2020 at 02:57)
- program (34 messages, latest: Jul 08 2020 at 02:12)
- July 7: Joseph Razavi et al.'s talk (6 messages, latest: Jul 07 2020 at 23:05)
- July 7: Gioele Zardini et al.'s talk (18 messages, latest: Jul 07 2020 at 22:41)
- July 7: Mario Román's talk (26 messages, latest: Jul 07 2020 at 22:07)
- July 7: Michael Johnson et al.'s talk (8 messages, latest: Jul 07 2020 at 20:36)
- July 7: Bryce Clarke's talk (5 messages, latest: Jul 07 2020 at 19:44)
- July 6: John Nolan et al.'s talk (13 messages, latest: Jul 07 2020 at 18:10)
- July 7: Bartosz Milewski et al.'s talk (9 messages, latest: Jul 07 2020 at 17:58)
- July 6: Dmitry Vagner et al.'s talk (10 messages, latest: Jul 07 2020 at 17:52)
- Tutorial: String Diagrams (Fabrizio Genovese) (81 messages, latest: Jul 07 2020 at 15:05)
- July 6: Callum Reader's talk (9 messages, latest: Jul 07 2020 at 12:07)
- July 6: Dan Shiebler's talk (3 messages, latest: Jul 07 2020 at 10:33)
- July 6: Swaraj Dash et al.'s talk (6 messages, latest: Jul 07 2020 at 10:28)
- July 6: Matthew Wilson et al.'s talk (16 messages, latest: Jul 06 2020 at 21:50)
- July 6: Jade Master et al.'s talk (16 messages, latest: Jul 06 2020 at 21:05)
- July 6: Jules Hedges' talk (16 messages, latest: Jul 06 2020 at 20:56)
- July 6: Joachim Kock's talk (12 messages, latest: Jul 06 2020 at 20:30)
- Tutorial: Monads and Comonads (Paolo Perrone) (14 messages, latest: Jul 06 2020 at 08:41)
- Tutorial: Intro to ACT (David Spivak) (9 messages, latest: Jul 06 2020 at 00:29)
