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
CATNIP meeting, Univ of Aberdeen 19 Nov 2024
2024-10-22 9:47 UTC
SmallCats.info
2024-10-21 6:55 UTC (2+ messages)
Octoberfest is a week away
2024-10-20 15:20 UTC
The topology of critical processes, II
2024-10-20 9:27 UTC
ItaCa Fest, October 22nd
2024-10-16 13:04 UTC
RHPL@FSTTCS 2024: Call for submissions and participation
2024-10-16 4:34 UTC
Final announcement: The Second Virtual Workshop on Double Categories
2024-10-14 15:56 UTC
Chaire de la Vallée Poussin 2024
2024-10-14 14:45 UTC
Octoberfest 2024
2024-10-13 19:36 UTC
PUBLICATION OF VOLUME LXV-4 OF CAHIERS
2024-10-12 18:22 UTC
Congratulations Steve!
2024-10-11 11:45 UTC
My new email address
2024-10-11 7:12 UTC
Congratulations Steve!
2024-10-10 8:47 UTC (7+ messages)
` R: "
Eugenia Cheng awarded AMS prize!
2024-10-09 20:39 UTC (2+ messages)
postdoc on higher category theory in Gothenburg
2024-10-09 8:17 UTC
Monoidal Category Theory textbook
2024-10-09 4:33 UTC
Workshop Categorical Logic and Higher Categories: registration
2024-09-30 13:05 UTC
Soliciting talks and posters in PL and Verification to RHPL@FSTTCS 2024
2024-09-29 5:14 UTC
Octoberfest 2024 Second Announcement
2024-09-28 21:47 UTC
Types post-proceedings: Call for papers
2024-09-28 12:19 UTC
LICS 2025 Call for Papers and Call for Workshops
2024-09-27 16:06 UTC
Good digital version of Marmolejo’s PhD thesis?
2024-09-27 13:55 UTC (2+ messages)
First announcement: The Second Virtual Workshop on Double Categories
2024-09-27 7:38 UTC
5th ItaCa Workshop Announcement
2024-09-26 7:51 UTC
Collection honouring Robert Paré for his 80th birthday
2024-09-25 15:25 UTC (2+ messages)
Category Theory Researcher - Job Opportunity
2024-09-24 18:53 UTC
CT2025 - First announcement
2024-09-24 16:04 UTC
Choice of terminology "bound" in the context of Grothendieck toposes
2024-09-24 13:56 UTC (3+ messages)
ItaCa Fest, September 25th
2024-09-23 7:19 UTC
New email address
2024-09-22 2:05 UTC
[CfP] 109th Peripatetic Seminar on Sheaves and Logic, Leiden, the Netherlands, November 15th-17th
2024-09-11 10:51 UTC
Grothendieck
2024-09-06 5:43 UTC (2+ messages)
Grothendieck in the Guardian
2024-09-06 5:35 UTC (27+ messages)
Was Grothendieck betrayed?
2024-09-04 19:06 UTC
Was Grothendieck betrayed?
2024-09-04 3:55 UTC (3+ messages)
Two post-doc positions at Topos Research UK
2024-08-31 23:02 UTC
Grothendieck story in the Guardian
2024-08-31 14:31 UTC
CATNIP, Edinburgh, 1 October
2024-08-30 21:24 UTC
2 year postdoc in Tallinn - application deadline 15 September
2024-08-27 14:38 UTC
ICLA 2025: Final Call for Papers
2024-08-26 15:51 UTC
PSSL?
2024-08-22 18:55 UTC
Octoberfest 2024 First Announcement
2024-08-17 14:58 UTC
British Logic Colloquium 2024 -- Final call for participation
2024-08-15 15:57 UTC
"Toposes in Mondovì" - second announcement
2024-07-25 2:00 UTC
Postdoc positions at UCL on Categorical Probability Theory
2024-07-24 14:09 UTC
ICLA 2025: Second Call for Papers
2024-07-24 7:00 UTC
3-Year Postdoc in Structures and Homotopy in Optimisation
2024-07-23 12:02 UTC
First announcement: Workshop Categorical Logic and Higher Categories
2024-07-16 11:21 UTC
Online resources/Introducing Category Theory
2024-07-13 13:32 UTC
SAT 2024: Early bird registration deadline extended to July 26 AoE
2024-07-13 9:22 UTC
*** Category Theory and Categorical Algebra - Milan 2024 *** Third Announcement ***
2024-07-10 5:24 UTC
Publication of Volume LXV-3 of the Cahiers
2024-07-08 16:59 UTC
SAT 2024: Early bird registration ends in 10 days
2024-07-05 9:13 UTC
ICLA 2025: First Call for Papers
2024-07-02 7:08 UTC
Free online participation in MSFP, 8th July 2024
2024-07-01 17:04 UTC
Third announcement of ECCL 24 - a celebration of Pino Rosolini's 70th birthday
2024-06-28 16:15 UTC
Second CfProposals: ESSLLI 2025, July 28 - August 8, 2025, Bochum (Germany)
2024-06-28 13:15 UTC
Postdoc in Birmingham
2024-06-28 3:23 UTC
British Logic Colloquium 2024 -- Call for abstracts
2024-06-24 22:21 UTC
SAT 2024: First Call for Participation
2024-06-21 9:08 UTC
Lawvere's 1989 preprint on "Intrinsic boundary"
2024-06-17 17:24 UTC (2+ messages)
` adequate and coadequate subcategories
Postdoc position in Higher Category Theory
2024-06-17 9:06 UTC
Notion of colimit irreducibility
2024-06-13 7:57 UTC (4+ messages)
Early intimations of categories
2024-06-12 20:39 UTC (4+ messages)
Ulam on Category Theory?
2024-06-12 13:50 UTC (6+ messages)
Special Volume of MSCS In Honor Of Phil Scott
2024-06-10 20:59 UTC
BRITISH LOGIC COLLOQUIUM 2024 -- Call for abstracts
2024-06-07 16:12 UTC
TAC issue celebrating Marta Bunge's work completed
2024-06-07 3:42 UTC
Alonzo Church Award
2024-06-05 21:38 UTC
Special Volume of MSCS in honor of Marek Zawadowski
2024-06-04 12:01 UTC
Need Makkai & Pare pp 117-118
2024-05-29 0:31 UTC (2+ messages)
ItaCa Fest, June 5th
2024-05-28 15:49 UTC
*** Category Theory and Categorical Algebra - Milan 2024 *** Second Announcement ***
2024-05-27 13:04 UTC
"Toposes in Mondovì" - first announcement
2024-05-27 1:25 UTC
Category Theory / Machine Learning / Software Engineering research posts at Symbolica
2024-05-25 12:26 UTC
ACT and MFPS 2024 Call for Participation
2024-05-24 8:43 UTC
YaMCATS 35, University of Manchester, 20 June 2024
2024-05-20 8:32 UTC
TLLA 2024 -- Call for Papers
2024-05-14 9:22 UTC (2+ messages)
` TLLA 2024 -- Deadline Extension
MSFP 2024 deadline extension: Tuesday 28th May
2024-05-12 13:12 UTC
Logic/Semantics/PL/Verification posts at the University of Southampton
2024-05-10 10:27 UTC
Deadline for registration - 15th of May
2024-05-09 17:35 UTC
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
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 (7+ 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
page: next (older)
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).