Em-Cats 2024 — talk preparation assistance for students speaking at CT2024
2024-05-07 13:11 UTC
ItaCa Fest 24, 7th of May
2024-05-02 21:01 UTC
School on Univalent Mathematics, Minneapolis (MN, USA), July 29-Aug 2, 2024
2024-04-22 15:06 UTC
Category Theory and Categorical Algebra *** 60th birthday of Enrico Vitale
2024-04-21 13:00 UTC
TLLA 2024 -- Call for Papers
2024-04-17 21:32 UTC
Registration open for ECCL 24 - a celebration of Pino Rosolini's 70th birthday
2024-04-16 16:49 UTC
CATNIP meeting updated programme
2024-04-16 12:42 UTC
CATNIP meeting 3 May 2024 University of Aberdeen
2024-04-10 10:18 UTC
Publication of the Cahiers LXV-2
2024-04-08 10:06 UTC
ItaCa Fest 24, 10th of April
2024-04-06 12:35 UTC
FMCS 2024
2024-04-06 1:34 UTC
Structure meets Power workshop 2024
2024-04-03 15:07 UTC
SYCO 12, Second Call for Participation
2024-04-02 10:48 UTC
YaMCATS 34 - 16th April 2024 - University of Sheffield
2024-03-29 10:32 UTC
MFPS 2024: Extended deadline
2024-03-28 21:57 UTC
Chair of Junior Professor in Computer science and Mathematics at Aix-Marseille University
2024-03-26 15:26 UTC
SYCO 12, Call For Participation
2024-03-25 14:00 UTC
Marek Zawadowski
2024-03-23 12:10 UTC
T-algebras in CAT v. categories in T-alg
2024-03-23 8:58 UTC (6+ messages)
T-algebras in CAT v. categories in T-alg
2024-03-22 10:39 UTC (3+ messages)
Second CfP and deadline extension: 14th Panhellenic Logic Symposium
2024-03-21 11:36 UTC
ItaCa Fest 2024
2024-03-21 10:40 UTC
4 fully funded PhD positions in Tallinn
2024-03-20 14:03 UTC
Postdoc positions in Reykjavik
2024-03-16 14:52 UTC
PhD positions in Tallinn (Logic and Semantics)
2024-03-15 10:24 UTC
Springer Lecture Notes --free
2024-03-14 20:13 UTC (2+ messages)
Postdoc position at the University of Strathclyde
2024-03-14 16:08 UTC
Applied Category Theory 2024 Call for Papers
2024-03-14 13:34 UTC
Part-time (0.3) senior researcher position in program logics in Tallinn
2024-03-13 11:59 UTC
Important dates
2024-03-13 8:46 UTC
Marek Zawadowski
2024-03-08 19:17 UTC (11+ messages)
SYCO 12 - Third call for papers
2024-03-08 18:57 UTC
Postdoc in Tallinn - deadline 28 March
2024-03-08 11:16 UTC
Marek
2024-03-07 8:08 UTC (2+ messages)
Midlands Graduate School (MGS): Registration closing soon
2024-03-04 9:45 UTC
Historical notes in Freyd's Abelian Categories
2024-03-03 16:26 UTC (8+ messages)
MFPS 2024: final CFP
2024-02-29 20:00 UTC
Logic Colloquium 2024, Gothenburg, 24-28 June 2024
2024-02-28 12:58 UTC
SYCO 12, Second Call For Papers
2024-02-26 17:20 UTC
Fibrewise opposite fibration
2024-02-26 7:31 UTC (33+ messages)
` Fibrewise opposite fibration + computers
"First" use of 'Category theory' to describe our field
2024-02-23 22:15 UTC (6+ messages)
` Fwd: categories: "
` "
MGS 2024 (Midlands Graduate School)
2024-02-23 22:08 UTC
Strong monoidal functors and Day convolution
2024-02-21 21:56 UTC
Call for Participation and Registration: HoTT/UF 2024
2024-02-21 14:47 UTC
On the etymology of the word "functor"
2024-02-21 12:02 UTC (13+ messages)
Workshop website link
2024-02-13 19:30 UTC
PhD position at the University of Strathclyde
2024-02-13 17:32 UTC
Workshop on Category Theory and Computer Security in Tallinn
2024-02-13 13:07 UTC
SYCO 12 - Call for papers
2024-02-12 9:01 UTC
Applied Category Theory (ACT) and Mathematical Foundations of Programming Semantics (MFPS) 2024: Call for papers
2024-02-11 16:59 UTC
CGASA Vol 20 (dedicated to Professor Themba Dube)
2024-02-10 9:04 UTC
Sorry
2024-02-08 16:36 UTC (8+ messages)
` small global sections vs definability of 1
` **EXTERN** "
Monadicity questions
2024-02-08 10:39 UTC (5+ messages)
Manifesto for transparent mathematical modeling
2024-02-07 12:38 UTC (2+ messages)
14th Panhellenic Logic Symposium
2024-02-06 17:04 UTC
Nothing so far on Bill's notes
2024-02-05 14:24 UTC
CT2024 (Third announcement)
2024-02-02 10:00 UTC
3-Year Postdoc at Macquarie University
2024-02-02 8:30 UTC
SUBJECT: Last Call (deadline Jan 31): School of Formalized Mathematics (May 13 - 17, 2024)
2024-01-30 19:35 UTC
Robin Cockett Doctor Honoris Causa of Tallinn UT
2024-01-29 16:24 UTC (7+ messages)
Hiring at Western Sydney University
2024-01-28 21:45 UTC
categories: Special Issue of TAC in honour of Bill Lawvere
2024-01-28 16:14 UTC (2+ messages)
Isaac Newton Institute Satellite programme on the Isle of Skye
2024-01-26 17:47 UTC
New York City Category Theory Seminar Spring 2024 Lineup of speakers
2024-01-24 16:16 UTC
CiE 2024: Final call for papers
2024-01-24 9:51 UTC
Benabou
2024-01-23 10:06 UTC (5+ messages)
` Bénabou
CT2024 (Second announcement)
2024-01-22 9:56 UTC
Bill's Laval notes
2024-01-20 14:17 UTC (12+ messages)
` Saving old papers on CT
` **EXTERN** "
Lecture notes by Bill Lawvere
2024-01-17 5:42 UTC (3+ messages)
HoTT/UF 2024: Final Call for Contributions and Participation
2024-01-16 14:13 UTC
Two stories about refereeing
2024-01-16 11:30 UTC (3+ messages)
[CFP] Dosen's polynomial functorial programming & AI @UAE NYU 17th Jan — Re: [categories] Outreach Panel
2024-01-15 16:37 UTC
ECCL 2024: first announcement
2024-01-15 8:41 UTC
Publication of Volume LXV-1 of the Cahiers
2024-01-14 16:34 UTC
YaMCATS 33: registration
2024-01-12 15:35 UTC
fully funded graduate positions in Math at UWO
2024-01-11 18:50 UTC
MSCS Special Issue on Homotopy Type Theory: approaching deadline
2024-01-08 8:54 UTC
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 (3+ messages)
` [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
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).