categories - Category Theory list
 help / color / mirror / Atom feed
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 

FSCD 2022: Second Call for Papers
 2022-01-18 20:24 UTC 

Publication of Volume LXIII-1 of the "Cahiers"
 2022-01-18  9:15 UTC 

A new book
 2022-01-17 16:21 UTC 

Scott Johnson case
 2022-01-17  0:56 UTC 

2 post-doc openings in Kyoto & Tokyo, Japan
 2022-01-14 15:37 UTC 

fully funded graduate positions in Math at Western University
 2022-01-13  2:18 UTC 

fully funded graduate positions in Math at Western University
 2022-01-13  2:18 UTC 

A book on Algebraic Topology
 2022-01-10 17:27 UTC 

CMCS 2022: Second Call for Papers
 2022-01-10 11:15 UTC 

6 Postdoc positions in topological quantum science at NYU AD
 2022-01-09 14:39 UTC 

Applied Category Theory 2022 Adjoint School
 2022-01-04 16:20 UTC 

LMS Research School "Bicategories, categorification and quantum theory": first announcement
 2022-01-04 11:56 UTC 

Research positions
 2022-01-04 11:27 UTC 

Intercats: Seminar on Categorical Interaction
 2022-01-03 19:05 UTC 

Intercats: Seminar on Categorical Interaction
 2022-01-03 19:05 UTC 

Francois Lamarche's new email address
 2021-12-31 19:56 UTC 

ETAPS Test of Time Award 2022, call for nominations
 2021-12-28 19:28 UTC 

IJCAR 2022 - Call for Papers
 2021-12-17 11:49 UTC 

Topos Colloquium 2021 Retrospective and 2022 Prospective
 2021-12-17  7:03 UTC 

ICGT 2022: Call for Papers
 2021-12-10 13:38 UTC 

Certified Programs and Proofs (CPP) 2022: Call for Participation
 2021-12-09  0:19 UTC 

FW: CANCELLED: GReTA-ExACT online workgroup, Friday December 10
 2021-12-08 10:58 UTC 

Teaching tutorial this Friday Dec 10, at 9 am CET: Software Verification with Whiley, David Pearce
 2021-12-08  8:39 UTC 

FW: Invitation: GReTA-ExACT online workgroup, Friday December 10, 2021, 15:00 CET
 2021-12-06 10:54 UTC 

Post-doc position in RECIPROG project (located in Lyon, Nantes or Paris)
 2021-12-03 16:27 UTC 

Post-doc position in RECIPROG project (located in Lyon, Nantes or Paris)
 2021-12-03 16:27 UTC 

SYCO 8 - Final Call for Participation
 2021-12-02 15:21 UTC 

FW: Invitation: GReTA online seminar, Friday December 3, 2021, 15:00 CET
 2021-11-29  9:26 UTC 

Subject/From correction
 2021-11-24  1:44 UTC 

BOUNCE categories@mta.ca: Approval required: Non-member submission from [Bob Rosebrugh <rrosebru@mta.ca>] (fwd)
 2021-11-24  1:38 UTC 

MSFP 2022 - First Call for Papers
 2021-11-22 20:28 UTC 

FW: Invitation: GReTA-ExACT online workgroup, Friday November 26, 2021, 15:00 CET
 2021-11-22 15:20 UTC 

2nd ItaCa Workshop - Speakers
 2021-11-21 10:34 UTC 

Master in Pure and Applied Logic - Announcement
 2021-11-20 19:38 UTC 

TYPES 2021 post-proceedings: Second call for papers (Deadline extension)
 2021-11-19 22:02 UTC 

Novemberfest website
 2021-11-19  1:34 UTC 

An article of Francois Foltz
 2021-11-18 12:57 UTC 

CMCS 2022: First Call for Papers
 2021-11-15 18:04 UTC 

Next ItaCa Seminar
 2021-11-11 16:56 UTC 

Tenure Track Position at U. Ottawa
 2021-11-10  1:07 UTC 

Novemberfest Final Announcement With Links
 2021-11-10  1:04 UTC 

Postdoc in quantum computation at Dalhousie
 2021-11-08 19:46 UTC 

First Call for Papers - MPC 2022
 2021-11-08 15:43 UTC 

SYCO 8 - Call for Participation
 2021-11-08  9:42 UTC 

Novemberfest 3rd Announcement
 2021-11-03 20:43 UTC 

2nd ItaCa Workshop - Second Call for Contributions
 2021-11-03  0:25 UTC 

Congratulations to John and Emily
 2021-11-02 18:23 UTC 

FW: Invitation: GReTA online seminar, Friday November 5, 2021, 15:00 CET
 2021-11-02 15:46 UTC 

Open House on Category Theory 2021. Second announcement
 2021-11-01 13:37 UTC 

AMS-MRC Applied Category Theory 2022
 2021-10-29 21:16 UTC 

Pursuing Stacks
 2021-10-27  2:03 UTC 

[LICS] LICS 2022 Call for Papers
 2021-10-22 12:39 UTC 

Publication of Volume LXII-4 of the Cahiers
 2021-10-21  7:49 UTC 

TACL 2022: First announcement
 2021-10-20 17:37 UTC 

TYPES 2021 post-proceedings: Open call for papers
 2021-10-19 19:01 UTC 

composite qualities (extensive x intensive)
 2021-10-19  1:55 UTC 

page:  |  | 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).