2026-03-16 13:41 Subject: Dedicated to R. H. Street’s 80 2+ messages
2026-03-16 1:53 CfA: Lecturer in Mathematically Structured Programming, University of Strathclyde, Glasgow (UK), deadline: 1 April 2026
2026-03-15 23:36 CT2026 + DV60 registration & zulip chat
2026-03-13 14:30 ItaCa Fest 2026
2026-03-11 22:20 Building the Mathematical Library of the Future
2026-03-11 21:04 DIALOCO: Call for Contributions — Workshop on Diagrams in Logic and Computation
2026-03-11 20:50 (March 16 deadline) Second announcement: session on Computational Category Theory at ICMS
2026-03-11 13:05 2ND CFP: Workshop on Homotopy Type Theory and Univalent Foundations
2026-03-10 12:38 ACT 2026: Second Call for Papers
2026-03-09 16:42 LIQCS 2026: Final Call For Contributions
2026-03-09 8:14 Call for online participation: symposium on differentiation in category theory and program semantics, Kyoto, April 6-8
2026-03-06 10:15 PhD in categorical foundations of type theory at Utrecht
2026-03-04 9:48 PSSL 112 - Program and Registration
2026-03-03 5:32 MFPS XLII: Deadline Extension
2026-03-03 3:12 FLoC 2026 Mentoring Workshop: Call for Scholarship Applications
2026-03-03 2:22 Call for contributions : Twelfth Workshop on MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING, Saturday 18th July 2026, Lisbon
2026-02-26 2:43 CfC: SmP 2026 – Structure meets Power, 18 July, Lisbon (Portugal)
2026-02-25 15:58 CMCS 2026: Call for Short Contributions
2026-02-24 15:27 UCL: Lecturer/ Associate Prof. in Programming Principles, Logic, and Verification (PPLV)
2026-02-24 3:00 Pacific Category Theory Seminar (Online) - Friday, February 27
2026-02-22 21:29 TACL 2026 - dates update
2026-02-20 9:51 MFPS XLII: Final call for papers
2026-02-20 7:23 Final Call for Applications: Teaching Higher Category Theory with Computers, Aug 17 - 21 2026, ICERM
2026-02-16 11:23 TACL 2026 announcement - abstract deadline soon
2026-02-15 15:56 Autumn school "Proof and Computation", Fischbachau (Germany), 13-19 Sep 2026
2026-02-11 19:01 CCC2026: Call For Contributions (Deadline 31st March 2026) 3+ messages
2026-02-11 14:45 LIQCS 2026: First Call For Contributions
2026-02-11 0:55 TYPES 2026: Call for Participation
2026-02-09 23:21 Call for participation: symposium on differentiation in category theory and program semantics, Kyoto, April 6-8
2026-02-09 19:36 FMCS 2026: June 15--19, 2026
2026-02-05 0:13 Announcement: Computational Category Theory at ICMS 2026
2026-02-04 9:36 Call for Participation - FICS Workshop 23 & 24 February 2026
2026-01-30 7:54 RAMiCS'26: Call for Presentations & Tutorials
2026-01-29 22:10 CMCS 2026: Second Call for Papers and Deadline Extension
2026-01-29 3:14 The New York City Category Theory Seminar---Lineup of speakers for the Spring 2026 Semester.
2026-01-26 9:18 MFPS XLII: Second call for papers
2026-01-23 16:10 1ST CFP: Workshop on Homotopy Type Theory and Univalent Foundations
2026-01-21 17:04 PSSL 112 - Last announcement
2026-01-20 9:01 CFP --- International Conference on Graph Transformation (ICGT 2026)
2026-01-20 1:06 Homotopy Theory, K-theory, and Topological Data Analysis, a conference in honour of Rick Jardine, Western University, June 8-12, 2026 - second announcement
2026-01-19 14:44 Call for Participation: 6th Symposium on Proof-theoretic Semantics — 9–11 February 2026, London
2026-01-16 9:22 Re: Algebras of the partial-map classifier monad in 1-toposes 5+ messages
2026-01-16 9:06 Workshop announcement: Making Categorical Model Theory Accessible (3-5 June in Brno)
2026-01-14 0:15 CT2026 abstract due in one week
2026-01-12 16:19 aboutlogic podcasts
2026-01-12 5:42 Pacific Category Theory Seminar (Online) -- Friday, January 16
2026-01-08 18:52 FICS 2026 - final CfP (deadlines extended)
2026-01-08 16:46 TYPES 2026: Deadline Extension and Final Call for Contributions
2026-01-07 14:21 CMCS 2026: Call for Papers
2026-01-06 20:55 2026 Talbot Workshop
2026-01-05 14:30 (Post-)Doctoral positions at Chapman U 2026
2025-12-22 22:30 abstract submissions for CT2026; due January 20th, 2026
2025-12-21 19:27 FLOC 2026 Call for Papers
2025-12-19 8:52 MFPS XLII: First Call for Papers
2025-12-17 19:12 Funded PhD Position – University of Birmingham (UK Home Student Only)
2025-12-15 18:56 Categories of indexed containers
2025-12-15 11:20 Funded PhD positions in Mathematically Structured Programming, Strathclyde (UK), deadline: asap / 22 December 2025
2025-12-12 15:02 PSSL 112 - Second Announcement
2025-12-11 23:05 Adjoint School 2026
2025-12-08 4:11 Pacific Category Theory seminar - Friday, December 12
2025-12-01 16:55 First Call for Contributions - FICS Workshop (submission deadline: 4th January 2026)
2025-11-23 3:13 Octoberfest 2025
2025-11-22 21:24 Re: A Categorical Replacement for Replacement 2+ messages
2025-11-19 17:20 Conference in Santiago de Compostela dedicated to Manuel Ladra
2025-11-19 16:17 Postdoctoral Research Position, University of Birmingham
2025-11-17 12:17 TYPES 2025: Post-proceedings Final Call for Papers
2025-11-17 6:15 RHPL@FSTTCS 2025: Call for Participation
2025-11-14 13:39 ItaCa Fest - 18th of November
2025-11-11 8:41 Deadline Extension & Final Call for Papers - RAMiCS 2026 (Będlewo, Poland, 7–10 April 2026)
2025-11-10 12:20 Postdocs in Edinburgh
2025-11-07 10:21 TYPES 2025: Post-proceedings 2nd Call for Papers
2025-11-06 20:08 Call for Applications: Teaching Higher Category Theory with Computers, Aug 17 - 21 2026, ICERM
2025-11-01 9:17 IWSLA 2025: Call for Participation
2025-11-01 4:26 Re: Lex objects in a 2-category 5+ messages
2025-10-31 14:16 Academic positions at the University of Bath, UK
2025-10-28 14:04 *** 6th ItaCa Workshop *** ** Second Announcement **
2025-10-28 10:49 PhD studentship in logic and information at UCL
2025-10-27 14:08 Applied Category Theory 2026: First Call for Papers
2025-10-27 11:40 Vacancy in "Algebra and combinatorics" at the Université Libre de Bruxelles
2025-10-24 9:11 Workshop for Martín Escardó's 60th, Birmingham, 17-18 Dec
2025-10-24 4:16 Octoberfest 2025 is this weekend!
2025-10-23 7:32 Full professorship at FAU Erlangen-Nürnberg
2025-10-22 23:06 Re: Workshop on higher structures, 19 Nov, Nottingham 2+ messages
2025-10-22 15:03 PSSL 112 - First Announcement
2025-10-22 6:57 Asst., Assoc., Full professor openings at Aarhus University, Denmark
2025-10-21 16:17 Re: Monadicity of extensions of essentially algebraic theories 8+ messages
2025-10-20 20:47 New Issue of the Cahiers (4th quarter 2025)
2025-10-20 15:09 TYPES 2026 Call for Contributions
2025-10-20 11:54 CT2026 + DV60, July 2026, Baltimore
2025-10-16 19:25 ItaCa Fest - 21st of October
2025-10-15 0:52 Octoberfest 2025
2025-10-14 18:48 2nd Call for Papers - RAMiCS 2026 (Będlewo, Poland, 7–10 April 2026)
2025-10-13 12:02 PhD positions in Mathematical Foundations of Computation Group at Bath
2025-10-06 9:53 TYPES 2025: Post-proceedings Call for Papers
2025-10-02 14:00 Octoberfest second announcement
2025-09-24 14:49 CATNIP meeting Aberdeen 17 October
2025-09-23 8:42 With Roger Penrose and Yvette Fuentes trying to save 100.000 hours of lectures, tons of CT, going back to early 70's
2025-09-22 11:37 CATNIP, Edinburgh, 3 October (final announcement)
2025-09-19 15:47 ItaCa Fest - 23rd o September
2025-09-19 15:45 ICMS Workshop "Geometry, Higher Structures, and Physics"
2025-09-18 20:50 LICS 2026 Call for Workshops and First Call for Papers
2025-09-18 13:08 RHPL@FSTTCS 2025: Deadline Extension
2025-09-12 5:49 RHPL@FSTTCS 2025: Third Call for Talk and Poster Proposals | Deadline: September 18
2025-09-09 19:49 2025 Category Theory Octoberfest
2025-09-03 18:14 PhD position in the Semantics of Homotopy Type Theory at the University of Amsterdam
2025-09-02 13:48 Assistant/Associate Professor at University of Birmingham UK (apply by 30 September)
2025-09-02 7:24 *** ItaCa Workshop - First Announcement
2025-08-29 9:34 CATNIP, Edinburgh, October 3
2025-08-27 13:01 Final announcement - Collection honouring Robert Paré for his 80th birthday
2025-08-21 8:46 Postdoctoral position in category theory and machine learning (2 years)
2025-08-20 5:28 RHPL@FSTTCS 2025: Second Call for Talk and Poster Proposals
2025-08-17 20:45 PSSL111 - Second Announcement
2025-08-13 7:22 XV Portuguese Category Seminar (second announcement)
2025-08-03 23:11 Re: Gilles Dowek (1966-2025) 2+ messages
2025-07-18 5:24 Second announcement of the hybrid workshop "Spectrums in Representation Theory of Algebras and Related Topics"
2025-07-11 23:32 Re: Online resources/Introducing Category Theory
2025-07-06 16:51 Re: Looking for volunteers to help with typesetting Bird's 1984 thesis
2025-06-29 5:06 Harold Schellinx 1956-2025
2025-06-24 7:23 Paul Blain Levy wins the 2025 the Alonzo Church Award!
2025-06-23 22:25 Emily Riehl talk in Birmingham
2025-06-23 10:06 Re: Lawvere's characterization of adjunctions 2+ messages
2025-06-03 19:25 FMCS
2025-05-27 12:30 Proof Society Summer School and Workshop, Ghent (Belgium), 1-5 September 2025
2025-05-21 13:55 TYPES 2025: Final Call for Participation
2025-05-19 14:57 Postdoctoral Research Position, University of Birmingham
2025-05-19 13:13 CT2025 Registration Deadline Reminder
2025-05-09 9:19 CALCO/MFPS 2025: Call for Participation
2025-05-09 8:50 TACT 2025 - Call for Participation
2025-05-08 13:42 Digital Data Processing 2025 IEEE 2+ messages
2025-05-08 11:35 2nd CfParticipation: ESSLLI 2025, July 28 - August 8, 2025, Bochum (Germany)
2025-04-30 5:15 CICM2025
2025-04-29 22:55 FMCS 2025 accomodations
2025-04-28 7:33 Applied Category Theory 2025 - Call for Participation
2025-04-24 15:37 The topology of critical processes, Part IV
2025-04-24 12:09 FW: Final CFS Workshop on Logical and Mathematical Diagrams (LoMaDi)
2025-04-23 14:46 TYPES 2025: Call for Participation
2025-04-21 21:16 Thomas Streicher Colloquium in memoriam (04/23)
2025-04-20 12:25 coconcept = concept
2025-04-17 18:07 DisCoTec 2025 Call for Participation
2025-04-17 11:39 Postdoctoral position in Athens
2025-04-17 6:58 Six PhD positions on "Cyclic Structures in Programs and Proofs" (The Netherlands)
2025-04-15 13:58 Aczel Memorial Conference / BLC 2025 meeting: first announcement
2025-04-14 13:10 ItaCa Fest 2025, first episode 15 of April
2025-04-08 9:59 French Spring School in Theoretical Computer Science EPIT 2025 --- last days before regoistration deadline
2025-04-07 22:06 FMCS Info
2025-04-07 19:31 Re: MLQ -> ZML 2+ messages
2025-04-07 17:29 New Issue of the Cahiers (2nd quarter 2025)
2025-04-07 7:50 SYCO 13 - Call for Participation
2025-04-01 22:10 Deadline extension for special volume of MSCS in honor of Phil Scott
2025-03-28 9:34 MFPS FInal Call for Papers (extended deadlines)
2025-03-27 7:37 CFS Workshop on Logical and Mathematical Diagrams (LoMaDi)
2025-03-22 16:51 HoTT/UF 2025: Registration
2025-03-21 16:04 Correction: postdoc position in Brussels 2+ messages
2025-03-18 10:42 PhD position at the University of Sussex, starting Sept 2025
2025-03-17 15:16 Reminder: Collection honouring Robert Paré for his 80th birthday
2025-03-17 2:41 Re: Special Volume of MSCS in honor of Marek Zawadowski 2+ messages
2025-03-16 18:14 ItaCa Fest 2025
2025-03-14 15:48 YaMCATS #37 and #38
2025-03-14 15:38 PhD positions in DFG RTG "Cybercrime and Forensic Computing", FAU Erlangen-Nürnberg
2025-03-13 9:30 Transactions in Category Theory 2025
2025-03-12 18:16 CfParticipation: ESSLLI 2025, July 28 - August 8, 2025, Bochum (Germany)
2025-03-07 20:34 FMCS 2025, website now available
2025-03-07 10:46 SYCO 13 - Deadline Extension
2025-03-06 10:10 PhD Position in Programming Semantics and Category Theory at Utrecht University
2025-03-05 21:11 Hopf25: final announcement
2025-03-05 17:05 BCTCS Travel Funding Support
2025-03-04 19:34 CALCO 2025: Deadline Extension
2025-02-27 15:15 TYPES 2025: Deadline Extension and Final Call for Contributions
2025-02-27 8:11 SYCO 13 - Call for Submissions
2025-02-26 17:01 BCTCS 2025 Education Track
2025-02-26 13:28 MFPS 2025: Second Call for Papers
2025-02-26 13:21 CALCO 2025: Final Call for Papers
2025-02-25 23:52 FMCS-Grad students requesting funding
2025-02-23 13:14 Asst. Prof. in Math. Logic at Stockholm, deadline April 15
2025-02-19 10:55 PSSL 110 in Tallinn - second announcement
2025-02-18 9:21 Re: Category theorists in AI 3+ messages
2025-02-14 15:46 41st British Colloquium for Theoretical Computer Science - Reminder 2+ messages
2025-02-13 21:36 CT2025 - Second announcement
2025-02-13 20:22 ACT 2025 Final Call for Papers
2025-02-12 8:36 CATNIP meeting 28 Feb Univ of Strathclyde
2025-02-11 19:18 FMCS 2025
2025-02-11 4:48 2nd CfC: Proof Assistants Special Session @ North American ASL Meeting (May 15 & 16, 2025, Las Cruces, NM)
2025-02-10 11:12 TYPES 2025: Second Call for Contributions
2025-02-05 23:12 CALCO 2025: Second Call for Papers
2025-02-04 14:24 DisCoTec 2025, Deadline Extension and Booking Heads Up: 20th International Federated Conference on Distributed Computing Techniques
2025-01-31 13:58 Workshop "Advances in Interactive and Quantitative Semantics", 26-28 mai 2025, CIRM
2025-01-30 15:51 Research Engineer (12-Month Contract) - Huawei Canada
2025-01-27 10:34 Heyting Day 2025 — Intuitionism and computability: symposium in honour of Jaap van Oosten, 14 March, Amsterdam
2025-01-25 17:34 Professor F. William Lawvere Archives launched
2025-01-25 11:26 On why addition of ultrafilters over N is not commutative
2025-01-25 8:51 subobject as monomorphism
2025-01-24 12:05 Proof Assistants Special Session @ North American ASL Meeting (May 15 & 16, 2025, Las Cruces, NM)
2025-01-21 21:51 Re: exponentiating by a small presheaf 5+ messages
2025-01-19 21:41 ACT 2025 Second Call for Papers
2025-01-15 19:07 Final CfP for HoTT/UF 2025
2025-01-15 12:23 DisCoTec 2025, 2nd CfP: 20th International Federated Conference on Distributed Computing Techniques
2025-01-15 4:45 World Logic Day 2025 celebrations by ALI
2025-01-14 10:34 Re: Thomas Streicher 37+ messages
2025-01-10 11:32 Publication of Volume LXVI-1 (1st quarter 2025 of the Cahiers
2025-01-09 19:55 Hopf25: last call for contributions - deadline 31 January 2025
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).