categories: SYCO 11 - Second call for papers
2023-02-27 14:20 UTC
categories: HOR 2023: Call for Papers
2023-02-27 10:07 UTC
categories: CALCO 2023: Final Call for Papers
2023-02-23 17:28 UTC
categories: Re: Upcoming permanent position at Macquarie
2023-02-23 4:27 UTC
categories: CT2023 (fourth announcement)
2023-02-22 8:59 UTC
categories: CT2023 (fourth announcement)
2023-02-22 8:59 UTC
categories: [ICTAC 2023] First call for papers – deadline 16 June 2023
2023-02-21 10:35 UTC
categories: QPL 2023 -- Final Call for Papers (with updated deadlines)
2023-02-20 10:39 UTC
categories: Bill Lawvere
2023-02-20 1:56 UTC
categories: 29th WoLLIC 2023 - Final Call for Papers (>>DEADLINE EXTENDED<<)
2023-02-18 17:49 UTC
categories: PSSL 107: final announcement
2023-02-17 9:59 UTC
categories: FMCS (Foundational Methods in Computer Science) 2023 First announcement
2023-02-16 12:40 UTC
categories: Category Theory Outreach Panel
2023-02-13 23:11 UTC
categories: Category Theory for Consciousness Science Workshop, Oxford, April 15-16
2023-02-13 11:23 UTC
categories: TYPES 2023 - Call for Contributions
2023-02-13 6:10 UTC
categories: Bill Lawvere
2023-02-09 4:58 UTC (2+ messages)
` categories: "
categories: Announcing a Category Theory virtual book club
2023-02-09 0:06 UTC
categories: HoTT/UF 2023: 2nd Call for Contributions
2023-02-07 19:31 UTC
categories: SYCO 22 - Call for papers
2023-02-06 14:50 UTC
categories: CfP: 2nd International Conference on Homotopy Type Theory
2023-02-06 10:15 UTC
categories: ACT 2023: first announcement
2023-02-04 14:43 UTC
categories: CALCO 2023: Second Call for Papers
2023-02-03 17:38 UTC
categories: [deadline extended] lecturer in Computational Linguistics in UCL
2023-02-03 9:57 UTC
categories: Obituary for Bill
2023-02-02 19:42 UTC (2+ messages)
` categories: Francis William Lawvere
categories: RAMiCS 2023 - Call for participation
2023-02-02 14:54 UTC
categories: CT2023 (third announcement)
2023-02-02 13:27 UTC
categories: History and Philosophy of Mathematic Reform
2023-02-02 9:35 UTC
categories: Bill Lawvere
2023-02-02 9:12 UTC
Bill Lawvere
2023-02-01 14:51 UTC (4+ messages)
` categories: "
Terminology for point-free topology?
2023-02-01 9:41 UTC (19+ messages)
` categories: "
` categories: complete Galois groups
` categories: "
categories: Re: Sheaves as a localisation of separated presheaves
2023-02-01 7:16 UTC (3+ messages)
categories: Bill Lawvere
2023-02-01 5:40 UTC
categories: FSCD 2023: Extended deadline (Abstract: February 4/ Submission: February 9)
2023-01-31 23:55 UTC
categories: CT Advisory Committee: new Chair
2023-01-31 17:19 UTC
categories: Sheaves as a localisation of separated presheaves
2023-01-30 11:31 UTC
categories: Bill Lawvere
2023-01-30 9:43 UTC
categories: Assistant professor in logic / semantics
2023-01-27 13:04 UTC
categories: Bill Lawvere
2023-01-26 13:58 UTC
categories: lecturer in Computational Linguistics in UCL
2023-01-26 10:00 UTC
categories: The New York City Category Theory Seminar --- Spring 2023 Lineup of speakers
2023-01-26 0:37 UTC
announcement
2023-01-24 22:33 UTC
Bill Lawvere 1937--2023
2023-01-24 15:35 UTC
TbiLLC 2023: First Call for Papers
2023-01-21 14:32 UTC
HoTT 2023: first CfP
2023-01-19 22:01 UTC
Upcoming permanent position at Macquarie
2023-01-19 21:29 UTC
fully funded graduate positions in Math at UWO
2023-01-17 18:26 UTC
Publication of Volume LXIV-1of the Cahiers
2023-01-12 14:58 UTC
PSSL 107: second announcement
2023-01-12 11:39 UTC
CT2023 (second announcement)
2023-01-11 21:49 UTC
ICFP 2023 Call for Papers
2023-01-11 14:48 UTC
Call for papers: Mathematical Foundations of Programming Semantics 2023
2023-01-11 0:29 UTC
Online category theory resources
2023-01-10 19:24 UTC
HoTT/UF 2023: Call for Contributions
2023-01-10 17:19 UTC
HoTT/UF 2023: Call for Contributions
2023-01-09 19:41 UTC
Online category theory resources
2023-01-08 12:02 UTC
Guillaume Brummer
2023-01-06 21:36 UTC
Postdoc at the University of Manchester
2023-01-05 9:05 UTC
A fully funded postdoc position in "Quantitative Verification of Software Families based on Coalgebraic Modal Logic and Games"
2022-12-30 10:16 UTC
(unknown)
2022-12-29 22:47 UTC
Two open positions at ILLC, University of Amsterdam
2022-12-21 18:50 UTC
Postdoc Position on Hardware Verification via Model Learning, Royal Holloway University of London -- Application deadline 20 Jan 2023
2022-12-21 10:17 UTC
2nd Call for Contributions FICS 2023: Workshop on Fixed Points in Computer Science
2022-12-19 19:12 UTC
CALCO 2023: First Call for Papers
2022-12-19 17:53 UTC
Non-cartesian closedness of Met
2022-12-19 8:50 UTC (3+ messages)
` Non-cartesian closedness of Met (ptj@maths.cam.ac.uk)
Non-cartesian closedness of Met
2022-12-18 13:04 UTC
Non-cartesian closedness of Met
2022-12-17 9:20 UTC
Call for applications: Applied Category Theory Adjoint School 2023
2022-12-16 10:30 UTC
Upcoming permanent position at Macquarie
2022-12-16 4:18 UTC
Positions at Birmingham, UK, Computer Science
2022-12-13 18:34 UTC
16th workshop on Computational Logic and Applications: Call for Participation
2022-12-13 13:32 UTC
16th workshop on Computational Logic and Applications: Call for Participation
2022-12-13 13:32 UTC
Virtual Double Categories Workshop - slides and recordings
2022-12-09 7:16 UTC
Certified Programs and Proofs (CPP) 2023: Call for Participation
2022-12-05 22:00 UTC
Joachim Lambek
2022-12-05 19:29 UTC
Obituaries
2022-12-05 17:15 UTC
ICFP 2023: Call for Workshop and Co-Located Event
2022-12-01 8:31 UTC
Cambridge 3-year postdoc position on type theory for higher categories
2022-11-29 14:39 UTC
FSCD-CADE 2023: Call for Workshop Proposals
2022-11-29 12:00 UTC
FSCD 2023: First Call for Papers
2022-11-28 20:16 UTC
Second and final announcement - Virtual Double Categories Workshop
2022-11-24 17:13 UTC
ItaCa Fest November 2022 - ERRATA CORRIGE - wrong date in last announcement!!!
2022-11-18 7:31 UTC
ItaCa Fest November 2022
2022-11-16 8:30 UTC
FICS'23: Call for Contributions - Fixed Points in Computer Science (CSL'23 workshop 17 feb 2023)
2022-11-15 12:41 UTC
FICS'23: Call for Contributions - Fixed Points in Computer Science (CSL'23 workshop 17 feb 2023)
2022-11-15 12:41 UTC
3rd ItaCa Workshop - Last call for contributions
2022-11-14 13:25 UTC
Sam Staton giving this year's LMS/BCS-FACS Evening Seminar (online) -- registration open until this Wednesday at 5PM, UTC
2022-11-14 12:49 UTC
Sam Staton giving this year's LMS/BCS-FACS Evening Seminar (online) -- registration open until this Wednesday at 5PM, UTC
2022-11-14 12:49 UTC
Direct image functors
2022-11-10 11:03 UTC (2+ messages)
Direct image functors
2022-11-08 21:36 UTC
PSSL 107: Athens, April 1st-2nd 2023
2022-11-08 13:40 UTC
Direct image functors
2022-11-08 10:46 UTC (2+ messages)
Fwd: Postdoc positions in Probabilistic Programming, in Singapore
2022-11-07 13:18 UTC
Postdoc positions in Probabilistic Programming, in Singapore
2022-11-07 13:13 UTC
Marta and Bernhard
2022-11-04 15:37 UTC
More hiring at CWRU
2022-11-03 17:53 UTC
Bernhard Banaschewski
2022-11-03 12:20 UTC
Condolences
2022-11-03 9:08 UTC
Octoberfest slides and videos
2022-11-02 21:04 UTC
3rd ItaCa Workshop - Second call for contributions
2022-11-02 15:33 UTC
16th Workshop on Computational Logic and Applications: call for talk proposals
2022-11-01 21:41 UTC
16th Workshop on Computational Logic and Applications: call for talk proposals
2022-11-01 21:41 UTC
First announcement: Virtual Double Categories Workshop
2022-11-01 6:45 UTC
TAC special issue for Marta Bunge: deadline extension
2022-10-31 20:23 UTC
LICS 2023 Call for Papers and Call for Workshop Proposals
2022-10-31 17:20 UTC
LICS 2023 Call for Papers and Call for Workshop Proposals
2022-10-31 17:20 UTC
Postdoc & Scientific Programmer Positions in Tokyo
2022-10-30 6:35 UTC
Postdoc & Scientific Programmer Positions in Tokyo
2022-10-30 6:35 UTC
ICALP 2023 -- first Call for Papers (Submission Deadline: February 11th, 2023)
2022-10-28 15:59 UTC
Octoberfest Final Announcement
2022-10-28 13:05 UTC
Marta Bunge
2022-10-27 20:02 UTC
Marta Bunge
2022-10-27 10:09 UTC
Marta Bunge
2022-10-27 8:07 UTC
SYCO 10 – Second call for submissions
2022-10-27 8:00 UTC
Marta Bunge, 1938-2022
2022-10-26 23:38 UTC
Marta Bunge, 1938-2022
2022-10-26 10:18 UTC
out of the blue?
2022-10-26 9:43 UTC
Marta Bunge, 1938-2022
2022-10-25 21:50 UTC
Bénabou Colloquium on 18 November 2022 (second announcement)
2022-10-24 10:29 UTC
Category Theory Octoberfest 2022 , Second Announcement
2022-10-23 20:40 UTC
Four PhD student positions in Gothenburg
2022-10-17 22:25 UTC
Publication of Volume LXIII-4 of the "Cahiers"
2022-10-16 15:55 UTC
Category Theory Octoberfest 2022
2022-10-14 21:04 UTC
SYCO 10 – Call for submissions
2022-10-13 20:52 UTC
ItaCa Fest - Escardo' and Capucci
2022-10-13 13:17 UTC
Selected Papers of Dana S. Scott
2022-10-11 13:02 UTC
Tenure track position at CWRU
2022-10-10 19:49 UTC
Permanent Chancellor's Fellow positions at the University of Strathclyde (application deadline 23 Oct)
2022-10-10 13:00 UTC
Permanent Chancellor's Fellow positions at the University of Strathclyde (application deadline 23 Oct)
2022-10-10 13:00 UTC
3rd ItaCa Workshop - Call for Contributions
2022-10-08 13:36 UTC
ETAPS Doctoral Dissertation Award 2023
2022-10-07 13:30 UTC
Job in Logical Foundations and Formal Methods at Cambridge
2022-10-06 17:06 UTC
ETAPS 2023 Final joint call for papers
2022-10-06 14:23 UTC
Faculty positions in Oxford
2022-10-02 20:08 UTC
Position at Chapman University
2022-10-01 23:14 UTC
2nd CfP - Software Verification and Testing Track at SAC 2023
2022-09-30 7:18 UTC (2+ messages)
` (PN) "
Bénabou Colloquium on Friday 18 November 2022
2022-09-26 7:10 UTC
Isbell conjugacy
2022-09-25 22:56 UTC
Special Issue Of TAC In Honour Of Pieter Hofstra
2022-09-18 18:10 UTC
Two tenure-track positions at Western University
2022-09-17 17:32 UTC
Two tenure-track positions at Western University
2022-09-17 17:32 UTC
ItaCa Fest - Cigoli & Reggio
2022-09-15 7:00 UTC
RAMiCS 2023 - Third call for papers
2022-09-09 13:59 UTC
Conference announcement: Homotopic Days in Nice
2022-09-09 7:50 UTC
Propositions and the Leibniz rule
2022-09-09 5:50 UTC
Rudger Kieboom
2022-09-06 23:35 UTC (2+ messages)
2022 Octoberfest, Second Announcement
2022-09-04 19:58 UTC
SYCO 9 - Last call for participation
2022-08-31 16:40 UTC
STACS 2023 - second call for papers
2022-08-31 10:45 UTC
ETAPS 2023 2nd joint call for papers
2022-08-31 6:56 UTC
2023 Joint Mathematical Meetings
2022-08-24 23:41 UTC
CFP: FoSSaCS '23: 26th International Conference on Foundations of Software Science and Computation Structures
2022-08-23 13:20 UTC
Vol 17 of CGASA published
2022-08-19 21:06 UTC
Fall lineup of speakers --- New York City Category Theory Seminar
2022-08-18 15:48 UTC
old documents on fibered cats available
2022-08-18 9:55 UTC
SYCO 9 - Call for participation
2022-08-17 12:51 UTC
Workshop on Categories and Topology
2022-08-17 11:49 UTC
Workshop on Categories and Topology
2022-08-17 11:49 UTC
CT2023
2022-08-16 6:55 UTC
Categories and Companions Symposium 2022 — Second announcement and call for talks from research students
2022-08-10 6:14 UTC
Categories and Companions Symposium 2022 — Second announcement and call for talks from research students
2022-08-10 6:14 UTC
Octoberfest 2022
2022-08-06 22:50 UTC
RAMiCS 2023 - Second call for papers
2022-07-29 7:12 UTC
Antipode workshop, last announcement
2022-07-28 7:09 UTC
Publication of Volume LXIII-3 of the "Cahiers"
2022-07-23 16:45 UTC
well founded coalgebras and recursion
2022-07-23 11:00 UTC
CCC2022 -September 19-23, 2022- 2nd call for contributions
2022-07-21 17:21 UTC
SYCO 9 - 2nd call call for submissions - Deadline 1st August
2022-07-21 15:58 UTC
ETAPS 2023 1st joint call for papers
2022-07-13 15:39 UTC
Two PhD opportunities at Swansea University: λ-calculi and automata/dynamical systems and computability
2022-07-08 9:53 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).