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