Topics:
- The Second Virtual Workshop on Double Categories (12 messages, latest: Nov 04 2024 at 08:14)
- Adjoint School 2025 (4 messages, latest: Oct 31 2024 at 05:12)
- Category Theory Octoberfest 2024 (5 messages, latest: Oct 30 2024 at 23:27)
- PSSL 109 (1 message, latest: Oct 23 2024 at 21:52)
- ItaCa Fest 2024 (14 messages, latest: Oct 21 2024 at 08:22)
- Categorical Logic and Higher Categories (1 message, latest: Oct 10 2024 at 10:43)
- CT 2025 (1 message, latest: Sep 28 2024 at 18:22)
- ACT 2025 (23 messages, latest: Sep 25 2024 at 19:07)
- Topos Institute colloquium (11 messages, latest: Sep 23 2024 at 21:39)
- Stellenbosch University Category Theory Seminar (15 messages, latest: Sep 09 2024 at 13:31)
- ACT 2024 (185 messages, latest: Jul 25 2024 at 07:25)
- Prospects of Formal mathematics (5 messages, latest: Jul 12 2024 at 07:56)
- MFPS 2024 (4 messages, latest: Jul 05 2024 at 15:56)
- Prospects of Formal Mathematics Hausdorff Institute of Math (1 message, latest: Jun 10 2024 at 12:55)
- YaMCATS 35 (3 messages, latest: Jun 10 2024 at 08:33)
- Abstract Methods in Multivariate Algorithmics (AMMA 2024) (20 messages, latest: Jun 04 2024 at 13:32)
- CT 2024 (4 messages, latest: May 30 2024 at 07:35)
- Toposes in Mondovì (1 message, latest: May 27 2024 at 20:31)
- HuMaIn at KI2024 (9 messages, latest: May 17 2024 at 13:51)
- GETCO 2024 (1 message, latest: May 15 2024 at 19:49)
- TLLA 2024 (2 messages, latest: May 14 2024 at 09:26)
- School on Univalent Mathematics, Minneapolis, July 29-Aug 02 (1 message, latest: Apr 22 2024 at 15:36)
- ICALP LiCS FSCD (21 messages, latest: Apr 17 2024 at 15:57)
- William W. Tait (1929--2024) (1 message, latest: Apr 13 2024 at 13:25)
- Structure meets Power 2024 CFP (1 message, latest: Apr 03 2024 at 11:23)
- Category Theory in Context study group (1 message, latest: Mar 25 2024 at 07:39)
- Call for Participation: DiλLL 2024 (Marseille, France) (1 message, latest: Mar 11 2024 at 10:53)
- Binary Operation (101 messages, latest: Mar 05 2024 at 22:21)
- MFPS 2024 with ACT 2024 in Oxford (1 message, latest: Mar 05 2024 at 16:45)
- HoTT/UF 2024 (5 messages, latest: Mar 04 2024 at 10:03)
- SYCO 12, Birmingham (1 message, latest: Feb 14 2024 at 11:16)
- Workshop on Category Theory and Computer Security in Tallinn (1 message, latest: Feb 13 2024 at 13:11)
- MGS'2024 (Midlands Graduate School) (1 message, latest: Feb 12 2024 at 15:18)
- School of Formalized Mathematics LAST CALL: deadline Jan 31 (2 messages, latest: Feb 02 2024 at 02:13)
- Call for Workshops: Diagrams 2024 (7 messages, latest: Jan 22 2024 at 12:52)
- Adjoint School 2024 (7 messages, latest: Jan 12 2024 at 22:52)
- CT 2023 (8 messages, latest: Jan 03 2024 at 15:52)
- CMU Summer School in LFE (1 message, latest: Dec 15 2023 at 16:58)
- This Week's Finds seminar (213 messages, latest: Dec 01 2023 at 13:14)
- CMCS 2024 (1 message, latest: Nov 25 2023 at 07:28)
- 48 theorems in homotopy for Lean 4 (1 message, latest: Nov 21 2023 at 00:22)
- Mathematics for Humanity Learning Seminar (4 messages, latest: Nov 03 2023 at 11:49)
- Workshop on Fixed Points in Computer Science (1 message, latest: Nov 01 2023 at 08:19)
- stream events (7 messages, latest: Oct 31 2023 at 10:55)
- Announcing the (virtual) 9th Mexican Workshop on Applied ... (1 message, latest: Oct 31 2023 at 07:51)
- FMCS 2024: 8th -- 13th July (1 message, latest: Oct 26 2023 at 08:35)
- CTLM 2023 -- Call for Participation (1 message, latest: Oct 26 2023 at 08:34)
- Prospects of formal mathematics (9 messages, latest: Oct 22 2023 at 01:42)
- Category Theory Octoberfest 2023 (9 messages, latest: Oct 18 2023 at 00:50)
- 4th ItaCa Workshop (1 message, latest: Oct 12 2023 at 17:15)
- Edinburgh Category Theory Seminar (10 messages, latest: Oct 02 2023 at 10:55)
- PROBPROG/LAFI (1 message, latest: Sep 26 2023 at 20:36)
- Logic in Computer Science conference (49 messages, latest: Sep 22 2023 at 18:09)
- Seminars at LIPN (4 messages, latest: Sep 21 2023 at 07:23)
- ICFP 2023 (1 message, latest: Sep 06 2023 at 23:39)
- YaMCATS 32 (2 messages, latest: Sep 02 2023 at 10:12)
- Dafny Workshop at POPL 24 (1 message, latest: Aug 30 2023 at 12:37)
- Interdisciplinary Summer School 2023 (11 messages, latest: Jul 24 2023 at 21:31)
- ACT 2023 (1 message, latest: Jul 22 2023 at 17:08)
- QPL < > EthCC roundtable (1 message, latest: Jul 18 2023 at 06:19)
- Visions in Math: Grothendieck (5 messages, latest: Jul 08 2023 at 06:52)
- PSSL108 (1 message, latest: Jun 21 2023 at 08:46)
- CALCO/MFPS 2023 (1 message, latest: Jun 20 2023 at 02:21)
- CATNIP (18 messages, latest: Jun 15 2023 at 11:07)
- ItaCa Fest 2023 (6 messages, latest: Jun 14 2023 at 06:59)
- Seminar on Applied Category Theory (7 messages, latest: Jun 09 2023 at 18:28)
- Enriched Categories and Topology (2 messages, latest: Jun 06 2023 at 19:09)
- Joy of Abstraction Book Study Group (2 messages, latest: Jun 03 2023 at 14:47)
- Reading Lawvere from Colombia (2 messages, latest: May 12 2023 at 18:20)
- Symmetric spaces and the tenfold way (3 messages, latest: May 09 2023 at 19:39)
- SYCO 11 (6 messages, latest: May 04 2023 at 14:33)
- Experiment with kids on quantum picturalism (3 messages, latest: Apr 27 2023 at 09:42)
- Workshop on Doctrines and Fibrations 2023 (1 message, latest: Apr 20 2023 at 18:47)
- Structure meets Power Workshop, CFP (3 messages, latest: Apr 14 2023 at 12:20)
- Algebra, Categories and Logic in Computing (ACLiC) 2023 (1 message, latest: Apr 12 2023 at 17:42)
- HoTT 2023 Registration is open (1 message, latest: Apr 07 2023 at 16:29)
- Developing new scholarly institutions (142 messages, latest: Mar 29 2023 at 21:39)
- Cheng interview (3 messages, latest: Mar 23 2023 at 23:30)
- Category Theory study group for the book Joy of Abstraction (1 message, latest: Mar 18 2023 at 00:08)
- Topos Institute events (1 message, latest: Mar 09 2023 at 05:39)
- Book club for "The Joy of Abstraction" (3 messages, latest: Feb 09 2023 at 00:58)
- Studying category theory? Ask questions here! (3 messages, latest: Feb 06 2023 at 22:30)
- HoTT 2023 (2 messages, latest: Feb 06 2023 at 10:09)
- FOSDEM 2023 (1 message, latest: Feb 02 2023 at 20:29)
- Mathematics for Humanity (3 messages, latest: Jan 26 2023 at 22:24)
- HoTT/UF 2023 (1 message, latest: Jan 10 2023 at 16:37)
- MFPS 2023 (1 message, latest: Jan 10 2023 at 12:51)
- Brazilian Meeting in Category (1 message, latest: Dec 29 2022 at 16:23)
- ItaCa Fest 2022 (14 messages, latest: Dec 21 2022 at 08:33)
- Adjoint School 2023 (5 messages, latest: Dec 16 2022 at 10:33)
- Virtual Double Categories Workshop (8 messages, latest: Dec 05 2022 at 13:30)
- SYCO 10, Edinburgh (3 messages, latest: Nov 22 2022 at 17:12)
- New Developments in Tensor Networks and Quantum Computation (1 message, latest: Oct 29 2022 at 10:50)
- Bénabou Colloquium (1 message, latest: Oct 27 2022 at 10:34)
- Octoberfest (5 messages, latest: Oct 24 2022 at 17:35)
- Compositional Structures for Systems Engineering and Design (1 message, latest: Oct 18 2022 at 17:50)
- Thorsten Altenkirch 60 celebration (2 messages, latest: Sep 08 2022 at 12:05)
- SYCO 9, Como (19 messages, latest: Sep 08 2022 at 09:57)
- 2023 Joint Mathematical Meeting (31 messages, latest: Aug 31 2022 at 17:46)
- Categories and Companions 2022 (4 messages, latest: Aug 12 2022 at 19:16)
- BIRS workshop on formalization of cohomology theories (1 message, latest: Aug 11 2022 at 14:51)
- BLAST 2022 (8 messages, latest: Aug 10 2022 at 14:36)
- DEVCON VI (3 messages, latest: Jul 28 2022 at 14:37)
- ACT 2022 (19 messages, latest: Jul 20 2022 at 00:40)
- Intercats (38 messages, latest: Jun 28 2022 at 15:49)
- Geometric cobordism hypothesis course (2 messages, latest: Jun 23 2022 at 10:43)
- Grothendieck conference (21 messages, latest: Jun 22 2022 at 13:54)
- Shannon entropy from category theory (4 messages, latest: Jun 15 2022 at 04:35)
- GReTA seminar (3 messages, latest: Jun 15 2022 at 04:21)
- ICRA 2022 Workshop on Compositional Robotics (7 messages, latest: May 28 2022 at 15:39)
- Categorical Semantics of Entropy (5 messages, latest: May 12 2022 at 18:39)
- CMU HoTT Seminar Online: Shulman (6 messages, latest: May 11 2022 at 11:31)
- CatTh for Cog Sci Workshop (2 messages, latest: May 06 2022 at 17:07)
- AMS school on applied category theory (62 messages, latest: Apr 29 2022 at 16:40)
- HoTTEST Summer School July–August 2022 (1 message, latest: Apr 28 2022 at 07:57)
- NY Categories Seminar (14 messages, latest: Apr 27 2022 at 18:30)
- QPL 2022 (1 message, latest: Apr 18 2022 at 10:25)
- MGS 2022 (2 messages, latest: Apr 15 2022 at 22:25)
- School on Univalent Mathematics: Application deadline 15 Apr (1 message, latest: Apr 10 2022 at 07:25)
- BCQT2022 (1 message, latest: Mar 21 2022 at 14:48)
- Workshop on Polynomial Functors 2022 (13 messages, latest: Mar 18 2022 at 14:40)
- ACT 2022: First Call For Papers (2 messages, latest: Feb 25 2022 at 10:33)
- Mathematics of Collective Intelligence (6 messages, latest: Feb 15 2022 at 22:27)
- Adjoint School 2022 (42 messages, latest: Feb 13 2022 at 16:43)
- 9th Indian School on Logic and its Applications (Part -I) (1 message, latest: Feb 12 2022 at 07:41)
- Autonomy Talks - Jules Hedges (6 messages, latest: Feb 09 2022 at 10:15)
- Calcutta Logic Circle 21st Annual Meet (2 messages, latest: Jan 13 2022 at 07:53)
- CMCS 2022 - Call for papers (1 message, latest: Jan 05 2022 at 16:04)
- Lafforgue on Grothendieck on "scientism" (4 messages, latest: Dec 19 2021 at 04:25)
- Grothendieck's path from Topology to Arithmetic (4 messages, latest: Dec 15 2021 at 00:13)
- SYCO 8, Tallinn (3 messages, latest: Dec 11 2021 at 12:56)
- ItaCa Fest 2021 (14 messages, latest: Nov 18 2021 at 13:34)
- Em-Cats (16 messages, latest: Nov 15 2021 at 19:01)
- Novemberfest (9 messages, latest: Nov 14 2021 at 21:35)
- Open House on Category Theory 2021 (3 messages, latest: Nov 02 2021 at 01:53)
- talk: Relative topos theory via stacks (1 message, latest: Nov 01 2021 at 20:10)
- talk: executable applied ct (1 message, latest: Nov 01 2021 at 10:07)
- CT2022 - cancelled? (5 messages, latest: Oct 07 2021 at 10:11)
- NWPT '21, Reykjavik (1 message, latest: Oct 04 2021 at 18:23)
- ETAPS 2022 last call for papers (1 message, latest: Oct 04 2021 at 17:45)
- Unifying Themes in Geometry (4 messages, latest: Sep 27 2021 at 07:36)
- School on Univalent Mathematics, Cortona (Italy), July 17... (2 messages, latest: Sep 17 2021 at 21:01)
- a crash course on NCG (4 messages, latest: Sep 08 2021 at 19:29)
- CT20->21 (8 messages, latest: Aug 29 2021 at 15:45)
- Applied Category Theory 2021 (58 messages, latest: Aug 09 2021 at 19:42)
- structured vs decorated cospans (10 messages, latest: Jul 30 2021 at 21:05)
- Poly Course (1 message, latest: Jul 09 2021 at 22:04)
- submitting to CT2021 (77 messages, latest: Jun 29 2021 at 21:39)
- workshop on type theory and machine learning (2 messages, latest: Jun 28 2021 at 16:01)
- Toposes online (8 messages, latest: Jun 24 2021 at 08:20)
- data visualization bootcamp (9 messages, latest: Jun 19 2021 at 17:28)
- thermodynamics in biology (4 messages, latest: Jun 16 2021 at 16:46)
- Categories and Companions Symposium 2021 (3 messages, latest: Jun 07 2021 at 10:34)
- Cambridge Category Theory Seminar (10 messages, latest: Jun 02 2021 at 18:32)
- Compositional Robotics: Mathematics and Tools Workshop (20 messages, latest: Jun 01 2021 at 09:19)
- Bohemian L&P Cafe': Shulman (5 messages, latest: May 04 2021 at 21:02)
- Nobel Prize Summit (2 messages, latest: Apr 26 2021 at 13:15)
- Numerous Numerosity Conference (1 message, latest: Apr 22 2021 at 15:13)
- ItaCa Fest — Season 2 (1 message, latest: Apr 19 2021 at 11:26)
- Logic Webinar@IITK (9 messages, latest: Apr 19 2021 at 06:25)
- Jeremy Avigad (1 message, latest: Apr 17 2021 at 14:15)
- Category Theory Meets Computational Irreducibility (15 messages, latest: Apr 13 2021 at 09:27)
- Workshop on Polynomial Functors (10 messages, latest: Mar 15 2021 at 14:12)
- Mathematics in the 21st century (3 messages, latest: Mar 14 2021 at 19:37)
- ICLA 2021 (4 messages, latest: Mar 14 2021 at 15:00)
- Clubhouse Category Theory (23 messages, latest: Mar 08 2021 at 16:27)
- Categories for quantum codes (3 messages, latest: Mar 07 2021 at 20:06)
- ACT2021 Adjoint School (19 messages, latest: Mar 02 2021 at 18:30)
- category-theoretic language for human flourishing (1 message, latest: Mar 02 2021 at 18:25)
- Bohemian L&P Cafe: Rosicky (1 message, latest: Mar 02 2021 at 15:33)
- Theoretical physics in the 21st century (1 message, latest: Mar 01 2021 at 22:48)
- UNAM category seminar (20 messages, latest: Feb 24 2021 at 23:48)
- Bohemian L&P Cafe: Makkai (5 messages, latest: Feb 23 2021 at 15:04)
- Higher Structures @CRM (4 messages, latest: Feb 23 2021 at 07:42)
- Online Category Theory Seminar at Brandon University (1 message, latest: Feb 18 2021 at 07:45)
- AMS Sectional Meetings (8 messages, latest: Feb 15 2021 at 18:36)
- Australian Category Seminar (22 messages, latest: Feb 14 2021 at 17:53)
- Witten on Langlands (7 messages, latest: Feb 11 2021 at 19:54)
- NYC Category Theory Seminar (30 messages, latest: Feb 09 2021 at 17:06)
- ACT4E guest lecture (1 message, latest: Feb 04 2021 at 10:02)
- BLPC Talk: Makkai (2 messages, latest: Jan 26 2021 at 15:43)
- World Logic Day (8 messages, latest: Jan 14 2021 at 19:41)
- QPL 2021 (1 message, latest: Jan 13 2021 at 14:20)
- course on coalgebraic methods (1 message, latest: Jan 03 2021 at 23:21)
- Bohemian Logical & Philosophical Café (2 messages, latest: Dec 30 2020 at 16:01)
- Universal Logic Project Webinar (1 message, latest: Dec 12 2020 at 13:23)
- Applied Compositional Thinking for Engineers (4 messages, latest: Dec 07 2020 at 21:31)
- plannng for a career in software? (2 messages, latest: Dec 05 2020 at 01:37)
- Graph Transformation Theory and Applications (4 messages, latest: Dec 04 2020 at 21:44)
- Palmgren memorial conference (3 messages, latest: Nov 18 2020 at 20:08)
- Topos theory minicourse (4 messages, latest: Oct 27 2020 at 01:06)
- LMS Category Theory and Its Applications (1 message, latest: Oct 23 2020 at 20:52)
- Category theory for cryptography (6 messages, latest: Oct 22 2020 at 16:36)
- Petri nets: probabilities vs. amplitudes (2 messages, latest: Oct 07 2020 at 15:37)
- Computational Logic and Applications 2020 (14 messages, latest: Oct 06 2020 at 16:35)
- breakout rooms (3 messages, latest: Sep 23 2020 at 19:19)
- NixCon 2020 (1 message, latest: Sep 23 2020 at 01:21)
- Johns Hopkins Category Theory Seminar (2 messages, latest: Sep 04 2020 at 08:46)
- operad pop-up (2 messages, latest: Aug 04 2020 at 17:08)
- Topological Orders and Higher Structures (1 message, latest: Jul 24 2020 at 01:45)
- Categorifications in Representation Theory (1 message, latest: Jul 20 2020 at 20:54)
- ItacaFest June '20 (3 messages, latest: Jul 11 2020 at 08:53)
- CT2020 cancelled (1 message, latest: Jul 01 2020 at 21:26)
- Graph Transformations 2020 (10 messages, latest: Jun 26 2020 at 23:05)
- MUNI Algebra Seminar (1 message, latest: Jun 19 2020 at 05:10)
- ACT 2020 (3 messages, latest: Jun 19 2020 at 02:11)
- HoTTEST (2 messages, latest: Jun 16 2020 at 14:32)
- Motives and What Not (1 message, latest: Jun 04 2020 at 16:23)
- OWLS (17 messages, latest: Jun 02 2020 at 19:00)
- May 18th: TWiMLAI Q&A with Emily Bender about NLP (2 messages, latest: May 21 2020 at 12:42)
- MFPS 2020 (1 message, latest: May 20 2020 at 15:41)
- virtual seminars (53 messages, latest: May 15 2020 at 21:57)
- QPL2020 (2 messages, latest: May 15 2020 at 20:14)
- Quantum Conversations By the Bay (1 message, latest: May 15 2020 at 10:08)
- Mathematics research online: hosting virtual events (1 message, latest: May 14 2020 at 06:28)
- MIT ACT (1 message, latest: May 07 2020 at 17:28)
- UMD ACT (2 messages, latest: May 06 2020 at 16:59)
- ACT 2020 template (13 messages, latest: May 04 2020 at 18:01)
- Paul-André Melliès on game semantics (16 messages, latest: Apr 26 2020 at 23:39)
- Mathematics of COVID Seminar (1 message, latest: Apr 26 2020 at 17:56)
- list with all seminars? (9 messages, latest: Apr 17 2020 at 20:28)
- Caramello: course on topos theory (2 messages, latest: Apr 09 2020 at 17:57)
- mathematical physics seminar (2 messages, latest: Apr 09 2020 at 17:51)
- Issues with Zoom / alternatives? (7 messages, latest: Apr 09 2020 at 09:14)
- ACT@UCR: Quantifiers as Adjoints (2 messages, latest: Apr 09 2020 at 02:37)
- community calendar (182 messages, latest: Apr 05 2020 at 18:23)
- April 2nd: MIT (1 message, latest: Mar 27 2020 at 00:02)
- April 1st: ACT@UCR (3 messages, latest: Mar 26 2020 at 23:58)
- Google Sites problem (4 messages, latest: Mar 25 2020 at 04:29)
