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