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
postdoc position at UEA (Norwich, UK)
2022-07-08 9:14 UTC
SYCO 9 - Call for submissions - deadline 1 August
2022-07-01 16:23 UTC
Categories and Companions Symposium 2022 (CaCS2022)
2022-06-30 2:30 UTC
STACS 2023 - first call for papers
2022-06-27 13:19 UTC
ItaCa Fest - Bonchi and Blechschmidt - 28 June
2022-06-27 0:18 UTC
Antipode workshop, 2nd announcement
2022-06-22 16:21 UTC
Open PhD and postdoc position in categorical probability
2022-06-21 13:22 UTC
Pursuing Stacks
2022-06-17 16:25 UTC
Chaire de la Vallee Poussin 2022
2022-06-17 13:32 UTC
Certified Programs and Proofs (CPP) 2023 Call for Papers
2022-06-14 19:40 UTC
PLanQC 2022: Final call for submissions and student travel support
2022-06-13 9:29 UTC
ICLP 2022: Call for Participation
2022-06-10 15:43 UTC
RAMiCS 2023 - First call for papers
2022-06-07 17:30 UTC
ICFP 2022: Call for Tutorials, Panels, and Discussions
2022-06-07 8:34 UTC
ACT 2022: Call for Participation
2022-06-06 12:41 UTC
Job at the University of Manchester
2022-06-05 11:06 UTC
Post-doc Opening in Kyoto, Japan: Programming Abstraction towards Secure IoT
2022-06-02 0:25 UTC
Pieter Hofstra
2022-06-01 10:38 UTC
Conference in Almeria
2022-05-27 11:21 UTC
Announcement of Higher structures and homotopical algebra Session at the AMS Sectional Meeting this fall
2022-05-26 0:50 UTC
In search of papers on monads and algebraic theories
2022-05-25 11:01 UTC
Second ANTIPODE workshop
2022-05-20 17:39 UTC
CCC2022 -September 19-23, 2022- call for contributions
2022-05-18 7:21 UTC
ItaCa Fest - Coraglia and Kock - 19 May
2022-05-16 10:30 UTC
special volume of TAC in honour of Marta Bunge
2022-05-13 19:50 UTC
Postdoc in Proof Theory - University of Birmingham, UK
2022-05-12 16:31 UTC
Advertising UT Austin Summer Minicourses
2022-05-12 1:54 UTC
Pieter Hofstra
2022-05-11 15:57 UTC
CMU HoTT Seminar Online: Shulman (part III)
2022-05-11 11:34 UTC
SPLV 2022 - Call for Participation
2022-05-10 7:52 UTC
PLanQC 2022: First call for submissions
2022-05-09 20:18 UTC
Women in Logic 2022 - Call for Contributions
2022-05-09 12:04 UTC
Pieter Hofstra
2022-05-05 16:10 UTC
CMU HoTT Seminar Online: M. Shulman, Towards Third-Generation HOTT, May 5 & 12
2022-05-05 2:04 UTC
Pieter Hofstra
2022-05-04 21:11 UTC (3+ messages)
Pieter Hofstra
2022-05-04 19:59 UTC
Pieter Hofstra
2022-05-04 17:49 UTC
Pieter Hofstra
2022-05-04 16:57 UTC (2+ messages)
Yet more self-publicity
2022-05-02 22:23 UTC
announcing the HoTTEST Summer School (save the dates)
2022-05-02 1:45 UTC
BCS-FACS evening seminar, 24 June 2022: Alan Turing at 110 - and at Oxford!
2022-05-01 22:29 UTC
Applied Category Theory 2022: Second Call for Papers
2022-04-27 9:48 UTC
CMU HoTT Seminar Online: M. Shulman, Towards Third-Generation HOTT, April 28, May 5 & 12
2022-04-23 18:15 UTC
TCS assistant professorship at VU Amsterdam
2022-04-21 19:45 UTC
Reminder: PhD positions in Stockholm, deadline this Friday, 22 April
2022-04-19 9:55 UTC
Reminder: PhD positions in Stockholm, deadline this Friday, 22 April
2022-04-19 9:55 UTC
Postdoc position in Tokyo: model checking and optimization metaheuristics
2022-04-18 15:27 UTC
Postdoc position in Tokyo: model checking and optimization metaheuristics
2022-04-18 15:27 UTC
Reminder ItaCa Fest 2022
2022-04-18 7:29 UTC
FTfJP 2022 - Call for Papers - Deadline Extended!
2022-04-13 16:00 UTC
Publication of Volume LXIII-2 of the "Cahiers"
2022-04-13 15:59 UTC
M. Shulman, Towards Third-Generation HOTT, April 14, 21, and 28 - HoTTEST Distinguished Lecture Series
2022-04-11 13:32 UTC
ItaCa Fest 2022
2022-04-06 7:04 UTC
Lecturer Positions in Computer Science at Sussex
2022-04-01 15:06 UTC
Lecturer Positions in Computer Science at Sussex
2022-04-01 15:06 UTC
CFP: 13th International Workshop on Graph Computation Models (GCM 2022)
2022-03-31 7:34 UTC
2 Lecturer posts in Computing at Leicester
2022-03-31 7:29 UTC
Structure meets Power workshop 2022
2022-03-30 14:58 UTC
School on Univalent Mathematics, Cortona (Italy), July 17-23: Application deadline 15 April
2022-03-30 12:42 UTC
PLP 2022 - Call for Papers
2022-03-29 7:26 UTC
TACL 2022: Abstract submission deadline/ Registration is open
2022-03-28 17:10 UTC
PSSL106 - Second announcement
2022-03-28 7:51 UTC
post-doc & programmer positions in Tokyo, Japan
2022-03-25 11:15 UTC
CMCS 2022: Call for Participation
2022-03-24 10:23 UTC
Foundational Methods in ComputerScience (FMCS) 21st -> 26th June 2022
2022-03-23 22:51 UTC
PhD student position on proof theory and verification of legal software, Barcelona
2022-03-21 21:24 UTC
Bicategories, categorification and quantum theory: pre-registration open
2022-03-21 14:44 UTC
PhD position in Homotopy Type Theory
2022-03-21 11:00 UTC
Permanent positions at University of Birmingham
2022-03-21 10:50 UTC
MFCS 2022 - Second Call for Papers
2022-03-18 14:21 UTC
FSCD 2024: Call for Location
2022-03-15 13:48 UTC
Midlands Graduate School: Accommodation and second (final) call for participation
2022-03-14 14:40 UTC
Midlands Graduate School: Accommodation and second (final) call for participation
2022-03-14 14:40 UTC
ICLP DC 2022 - 18th Doctoral Consortium (DC) on Logic Programming
2022-03-14 8:42 UTC
10 PhD positions within the Research Training Group 2475 "Cybercrime and Forensic Computing"
2022-03-14 8:15 UTC
Chaire de la Vallée Poussin 2022
2022-03-12 8:44 UTC
VAP position at CWRU
2022-03-11 14:04 UTC
PhD position at the University of Amsterdam
2022-03-08 12:27 UTC
22nd Midlands Graduate School, 10-14 April 2022: Call for Participation
2022-03-06 21:23 UTC
22nd Midlands Graduate School, 10-14 April 2022: Call for Participation
2022-03-06 21:23 UTC
Topos is hiring
2022-03-06 7:31 UTC
PhD Position in Number Theory and Formalization
2022-03-03 19:07 UTC
Postdoc and PhD position in homotopy type theory
2022-03-03 14:32 UTC
TACL 2022: Abstract submission deadline extension
2022-03-03 9:30 UTC
Postdoc positions at IMAG (Mathematics Institute of the University of Granada,Spain)
2022-03-01 17:34 UTC
CT20->21 Video of the talks
2022-03-01 8:14 UTC
PolyFun 2022
2022-02-28 4:14 UTC
Professor André Joyal to Receive 2022 CMS Jeffery-Williams PrizeThread-Topic: categories: Professor André Joyal to Receive 2022 CMS Jeffery-Williams Prize
2022-02-27 11:09 UTC
Zero Project online Petition
2022-02-27 8:10 UTC
TACL 2022 second announcement
2022-02-24 7:32 UTC
Professor André Joyal to Receive 2022 CMS Jeffery-Williams PrizeThread-Topic: categories: Professor André Joyal to Receive 2022 CMS Jeffery-Williams Prize
2022-02-23 23:05 UTC
categories: Professor André Joyal to Receive 2022 CMS Jeffery-Williams Prize
2022-02-23 22:36 UTC
Fwd: [all-members] Professor André Joyal to Receive 2022 CMS Jeffery-Williams Prize | Professeur André Joyal recevra le prix Jeffery-Williams 2022 de la SMC
2022-02-23 19:22 UTC
Two postdoc positions at LIS (Aix-Marseille University) and LIX (Ecole Polytechnique)
2022-02-23 17:00 UTC
DaLí 2022 - Call for Papers
2022-02-21 22:46 UTC
Research position in category theory at Masaryk University
2022-02-21 15:46 UTC
ICGT 2022: Second Call for Papers
2022-02-21 15:14 UTC
Call for Papers: PACMPL issue ICFP 2022
2022-02-21 6:09 UTC
MFCS 2022 - First Call for Papers
2022-02-16 9:53 UTC
Applied Category Theory 2022: First Call for Papers
2022-02-16 8:38 UTC
ETAPS 2022 call for participation
2022-02-15 11:40 UTC
Jean Benabou
2022-02-14 16:42 UTC
PSSL106 - First Announcement
2022-02-14 13:27 UTC
Jean Benabou
2022-02-14 10:22 UTC
benabou
2022-02-14 4:21 UTC
big loss - Jean Benabou died last Friday
2022-02-13 22:25 UTC
Jean Benabou
2022-02-13 20:23 UTC
Final Call--Applications to AMS Workshop in ACT
2022-02-11 13:27 UTC
2022 colloquium — Topos Institute
2022-02-10 21:35 UTC
[CfP] ICLP 2022 - Call for Recently Published Research Papers
2022-02-09 16:51 UTC
Announcement. 5th Workshop on Categorical Algebra: recent developments and future perspectives
2022-02-06 11:22 UTC
First CFP: MFPS 2022: Conference on Mathematical Foundations of Programming Semantics
2022-02-04 20:40 UTC
PhD Opportunities at University of Birmingham
2022-02-02 15:40 UTC
March workshop on polynomial functors
2022-01-26 19:57 UTC
CMCS 2022: Deadline extension
2022-01-25 21:39 UTC
A new book: Theoretical Computer Science for the Working Category Theorist
2022-01-25 19:41 UTC
Higher Category Lecture Series: A friendly introduction to ∞-categories by Yuki Maehara (Kyushu U)
2022-01-24 8:31 UTC
New Journal in Philosophy of Mathematics
2022-01-23 19:24 UTC
CMCS 2022: Final Call for Papers
2022-01-21 16:40 UTC
AMS Mathematical Research Communities (MRC) in Cat Theory
2022-01-21 14:20 UTC
ETAPS Test of Time Award 2022, 2nd call for nominations
2022-01-18 20:38 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).