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
Postdoctoral Research Position, University of Birmingham
2025-05-19 14:57 UTC
CT2025 Registration Deadline Reminder
2025-05-19 13:13 UTC
CALCO/MFPS 2025: Call for Participation
2025-05-09 9:19 UTC
TACT 2025 - Call for Participation
2025-05-09 8:50 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
2nd CfParticipation: ESSLLI 2025, July 28 - August 8, 2025, Bochum (Germany)
2025-05-08 11:35 UTC
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
Thomas Streicher Colloquium in memoriam (04/23)
2025-04-21 21:16 UTC
coconcept = concept
2025-04-20 12:25 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
BCTCS 2025 Education Track
2025-02-26 17:01 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
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
DisCoTec 2025, Deadline Extension and Booking Heads Up: 20th International Federated Conference on Distributed Computing Techniques
2025-02-04 14:24 UTC
Workshop "Advances in Interactive and Quantitative Semantics", 26-28 mai 2025, CIRM
2025-01-31 13:58 UTC
Research Engineer (12-Month Contract) - Huawei Canada
2025-01-30 15:51 UTC
Heyting Day 2025 — Intuitionism and computability: symposium in honour of Jaap van Oosten, 14 March, Amsterdam
2025-01-27 10:34 UTC
Professor F. William Lawvere Archives launched
2025-01-25 17:34 UTC
On why addition of ultrafilters over N is not commutative
2025-01-25 11:26 UTC
subobject as monomorphism
2025-01-25 8:51 UTC
Proof Assistants Special Session @ North American ASL Meeting (May 15 & 16, 2025, Las Cruces, NM)
2025-01-24 12:05 UTC
exponentiating by a small presheaf
2025-01-21 21:51 UTC (5+ messages)
ACT 2025 Second Call for Papers
2025-01-19 21:41 UTC
Final CfP for HoTT/UF 2025
2025-01-15 19:07 UTC
DisCoTec 2025, 2nd CfP: 20th International Federated Conference on Distributed Computing Techniques
2025-01-15 12:23 UTC
World Logic Day 2025 celebrations by ALI
2025-01-15 4:45 UTC
Thomas Streicher
2025-01-14 10:34 UTC (37+ messages)
` [External] "
Publication of Volume LXVI-1 (1st quarter 2025 of the Cahiers
2025-01-10 11:32 UTC
Hopf25: last call for contributions - deadline 31 January 2025
2025-01-09 19:55 UTC
Thomas Streicher
2025-01-03 18:52 UTC
Death of Ronnie Brown
2024-12-21 23:59 UTC (13+ messages)
PSSL 110 / Tallinn - first announcement
2024-12-21 10:45 UTC
CALCO 2025: Call for Papers
2024-12-20 13:41 UTC
Heyting Day 2025 — Intuitionism and computability: symposium in honour of Jaap van Oosten
2024-12-19 15:04 UTC
To Ronnie Brown
2024-12-18 12:07 UTC (2+ messages)
Postdoc in Topology at Oxford
2024-12-16 16:28 UTC (2+ messages)
Workshop on Homotopy Type Theory and Univalent Foundations
2024-12-16 10:44 UTC
ICLA 2025: Call for Participation
2024-12-13 5:18 UTC
FMCS 2025
2024-12-13 3:00 UTC
TYPES 2025: First Call for Contributions
2024-12-11 11:00 UTC
Hopf25: second announcement and call for contributions
2024-12-10 21:31 UTC
CICM 2024 Call for Papers
2024-12-10 18:06 UTC
PhD Studentship in Proof-theoretic Semantics for Non-classical and Modal Logics (Leverhulme ECUMENICAL Project)
2024-12-01 20:55 UTC
ACT 2025 Call for Papers
2024-12-01 20:13 UTC
(Senior) Lecturer Position @ Strathclyde (assist/assoc professor) in Mathematically Structured Programming (logic/category theory/type theory/formal and mechanised maths)
2024-11-29 16:36 UTC
Tenure-Track position at the university of Ottawa
2024-11-27 14:22 UTC
Recommend "a category of causal-nets" and call for comments and suggestions
2024-11-26 11:46 UTC
Postdoctoral positions (1-3 yrs) at Chapman U
2024-11-25 23:05 UTC
PhD opportunities at the University of Birmingham
2024-11-24 23:15 UTC (2+ messages)
Doctoral positions in math/philosophy/physics at Chapman U
2024-11-22 22:33 UTC
Adjoint School 2025 - Second Announcement and Updated Project List
2024-11-21 21:39 UTC
ItaCa Fest, November 20th
2024-11-18 21:14 UTC
PhD and postdoc positions in type theory (start: Oct 2025; location: Nottingham, UK)
2024-11-15 17:32 UTC
Workshop on Homotopy Type Theory and Univalent Foundations
2024-11-14 17:10 UTC
A new book on category theory
2024-11-14 4:31 UTC
[CfP] new proof assistant for schemes — The topology of critical processes, II
2024-11-13 9:37 UTC
CATNIP meeting update
2024-11-11 13:20 UTC
Homage to A. Grothendieck for the 10th anniversary of his death - online conference, 16 November 2024
2024-11-11 1:36 UTC
Second Virtual Workshop on Double Categories - Slides and Recordings
2024-11-04 8:13 UTC
Adjoint School 2025 Announcement
2024-11-03 15:43 UTC
5th ItaCa WORKSHOP (DEADLINE EXTENSION)
2024-11-02 16:15 UTC
Octoberfest website is now avaialble
2024-10-31 21:18 UTC
Postdoc in Type Theory/Logic, Stockholm Univ. (deadline 4 Nov)
2024-10-25 11:18 UTC
[CfP] Final announcement: 109th Peripatetic Seminar on Sheaves and Logic, 15th-17th November, Leiden, NL
2024-10-24 13:25 UTC
A Note on the Smash Product and Regular Associativity
2024-10-23 8:14 UTC
page: next (older) | prev (newer) | latest
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).