Call for participation: DiλLL 2024 - Differential λ-Calculus and Differential Linear Logic - 20 Years Later, 13 - 17 May 2024, Marseille (France)
2024-01-07 15:09 UTC
A curious history
2024-01-07 0:21 UTC
History: The Eilenberg-Mac Lane collaboration
2024-01-05 19:43 UTC (5+ messages)
Announcement: Lloyd Roeling Conference in Algebraic Topology, March 15–17, 2024
2024-01-02 20:33 UTC
Phil Scott
2023-12-26 20:22 UTC (29+ messages)
` [EXT] "
` [External] "
Category Theory as an educational tool in The Guardian / Observer
2023-12-26 10:24 UTC (3+ messages)
` [EXT] "
LICS 2024 Second Call for Papers
2023-12-22 20:03 UTC
Phil Scott
2023-12-21 15:12 UTC
Applied Category Theory (ACT) and Mathematical Foundations of Programming Semantics (MFPS) 2024: Preliminary call for papers
2023-12-21 10:12 UTC
Modification of what I said
2023-12-21 3:08 UTC (10+ messages)
17th International Workshop on Coalgebraic Methods in Computer Science (CMCS'24): Second Call for Papers
2023-12-20 12:50 UTC
Phil Scott
2023-12-19 17:52 UTC
Looking for Jean-Louis Loday's slides on "Combinads"
2023-12-19 3:45 UTC (2+ messages)
HoTT/UF 2024: Second Call for Contributions and Participation
2023-12-19 2:45 UTC
Visiting/postdoc researcher in Logic, Semantics, Concurrency - University of Groningen (NL)
2023-12-18 11:54 UTC
CMU Summer School in LFE
2023-12-15 17:00 UTC
Conference on (oo, n)-Categories and Their Applications in Utrecht, April 15-19 (2024)
2023-12-15 13:44 UTC
Point-free real analysis - new paper
2023-12-11 18:11 UTC
Announcement: Homotopy Theory and Category Theory in Interaction
2023-12-06 17:38 UTC
Fully funded PhD studentship in categorical semantics
2023-12-06 8:26 UTC
AMS MRC 2024 on Homotopical Combinatorics (June 30 - July 6, 2024)
2023-12-05 18:15 UTC
postdoc and ongoing teaching positions at Western University
2023-12-04 15:27 UTC
The Adjoint School 2024 announcement
2023-12-02 14:12 UTC
YaMCATS 33 announcement
2023-11-30 8:50 UTC
CiE 2024: Call for papers
2023-11-27 14:39 UTC
CATNIP meeting 4 Dec 2023 University of Strathclyde
2023-11-23 22:32 UTC
Topology, Representation Theory and Higher Structures
2023-11-23 13:09 UTC
HoTT/UF 2024: First Call for Contributions and Participation
2023-11-22 17:06 UTC
ItaCa Fest, November 23
2023-11-21 12:07 UTC
Postdoc opening in categorical semantics
2023-11-17 17:25 UTC
Lectureships available at Sussex University
2023-11-15 12:29 UTC
The game of the name: Standard constructions, triples, monads, fundamental constructions
2023-11-15 3:09 UTC (23+ messages)
17th International Workshop on Coalgebraic Methods in Computer Science (CMCS'24): First Call for Papers
2023-11-14 16:43 UTC
Archiving Catlist
2023-11-10 8:41 UTC
Triples vs Monads
2023-11-09 17:36 UTC
ICALP-LICS-FSCD joint call for workshops
2023-11-08 21:14 UTC
Octoberfest 2023
2023-11-07 14:58 UTC
PhD opportunities at the University of Birmingham
2023-11-07 10:51 UTC
Thanks for this
2023-11-07 7:52 UTC (5+ messages)
Bob Rosebrugh & TAC
2023-11-03 14:50 UTC
Defining composition via colimit
2023-11-03 10:29 UTC
Signing off
2023-11-02 23:23 UTC (22+ messages)
` [EXT] "
` Defining composition via colimit
Six Fully-funded PhD Positions in Theoretical Computer Science at University of Sheffield
2023-11-01 17:19 UTC
Postdoc in categorical semantics at Cambridge
2023-11-01 10:34 UTC
Workshop on Fixed Points in Computer Science -- Call for Contributions
2023-10-31 20:19 UTC
Call for papers and deadline extension for: TYPES 2023 post-proceedings
2023-10-31 15:40 UTC
Announcing the (virtual) 9th Mexican Workshop on Applied Geometry and Topology
2023-10-31 3:28 UTC
Welcome to the new Categories mailing list
2023-10-30 10:40 UTC (17+ messages)
` Categories vis-a-vis Naturality
` [EXT] "
Rosanna Cruciani
2023-10-30 10:36 UTC (3+ messages)
Higgs object
2023-10-30 10:31 UTC (3+ messages)
Octoberfest Final Announcement. It's tomorrow
2023-10-27 13:01 UTC
Fully funded PhD Studentship in Proof-theoretic Semantics at UCL
2023-10-27 11:05 UTC
4th ItaCa Workshop - Second call for Contributions
2023-10-27 7:30 UTC
Marta's web site
2023-10-25 22:07 UTC
Postdoc in quantum computation at Dalhousie
2023-10-25 19:30 UTC
It worked!
2023-10-25 16:05 UTC
[Categories]: book on categorical computability
2023-10-24 5:16 UTC
[Categories]: Call for papers: TYPES 2023 post-proceedings
2023-10-24 5:15 UTC
[Categories]: Publication of Volume LXIV-4 of the Cahiers
2023-10-24 5:13 UTC
[Categories]: CTLM 2023 -- Call for Participation
2023-10-24 5:11 UTC
[Categories]: PhD or postdoc position at FAU
2023-10-24 5:09 UTC
2023 Category Theory Octoberfest 2nd Announcement. It's this weekend!
2023-10-23 22:52 UTC
FMCS 2024: 8th -- 13th July
2023-10-23 21:43 UTC
ItaCa Fest 25 October
2023-10-23 17:37 UTC
Marc Mircevski (O365 Admin) added you to the Categories mailing list group
2023-10-23 5:55 UTC
categories: Assist
2023-09-29 17:08 UTC
categories: MSCS Special Issue on Differential Structures: Deadline Extension
2023-09-28 20:57 UTC
categories: Research position in category theory at Masaryk University
2023-09-20 10:08 UTC
categories: Lectureship in Pure Mathematics - University of Manchester
2023-09-19 11:06 UTC
categories: XIV Portuguese Category Seminar and A Day on Pointfree Topology
2023-09-14 14:17 UTC
categories: CT2024 - First announcement
2023-09-12 18:59 UTC
categories: Advances in Homotopy type theory - MSCS special issue
2023-09-12 8:44 UTC
categories: concepts & categories
2023-09-10 9:13 UTC
categories: The topology of critical processes
2023-09-07 8:20 UTC
categories: The New York City Category Theory Seminar Fall 2023 line up of speakers
2023-09-05 22:15 UTC
categories: Change of Website
2023-09-05 9:58 UTC
categories: Reminder for Special Issue on "Differential Structures in Computer Science and Mathematics"
2023-09-04 21:29 UTC
categories: 2023 Category Theory Octoberfest
2023-09-02 14:17 UTC
categories: YAMCATS 32 - Thursday 14th September, Cambridge
2023-09-01 15:01 UTC
categories: PhD position in automata learning at Radboud University
2023-08-31 13:56 UTC
categories: Three postdoc positions on Quantum Programming in Edinburgh
2023-08-28 10:54 UTC
categories: Four fully funded PhD positions
2023-08-26 7:20 UTC
categories: Hopf Days in Brussels 2023 - final update
2023-08-23 10:50 UTC
categories: PhD Position in Abstract Techniques for Programming Languages and Secure Compilation at FAU
2023-08-16 7:48 UTC
categories: PhD position on Knowledge Engineering for Smart Diagnostics
2023-08-15 13:10 UTC
categories: Postdoc position, Logic and Semantics Group in Tallinn
2023-08-11 9:50 UTC
categories: Re: Peter Aczel
2023-08-03 8:46 UTC
categories: Chaire de la Vallee Poussin 2023
2023-07-28 14:20 UTC
categories: Research Fellow in Quantum Tech and NLP in UCL
2023-07-28 9:30 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).