categories - Category Theory list
 help / color / mirror / Atom feed
Parts and telling apart
 2021-09-26  8:59 UTC 

Reminder: 2 year position on HoTT and related topics in Stockholm, deadline Friday next week
 2021-09-25  9:04 UTC  (2+ messages)
  ` [HoTT] "

Parts and telling apart
 2021-09-25  2:41 UTC 

ETAPS 2022 2nd joint call for papers
 2021-09-25  0:56 UTC 

Reminder: 2 year position on HoTT and related topics in Stockholm, deadline Friday next week
 2021-09-24 11:19 UTC 

Oct. Scientific American
 2021-09-23 15:43 UTC 

The Rosebrugh Festschrift
 2021-09-23  6:04 UTC 

"Unifying Themes in Geometry" - second announcement
 2021-09-21 23:31 UTC 

ITRS Call for Post-Proceedings
 2021-09-21  9:31 UTC 

ITRS Call for Post-Proceedings
 2021-09-21  9:31 UTC 

FW: Invitation: GReTA online seminar (hosted at IRIF), Friday September 24, 2021, 15:00 CEST
 2021-09-20  8:08 UTC 

FSCD 2022: Final Call for Workshops (deadline: September 27, 2021)
 2021-09-17 14:01 UTC 

[LICS] Call for Workshop Proposals affiliated to LICS at FLOC'22
 2021-09-17 11:09 UTC 

Research Position on IRIS project at Queen Mary University of London
 2021-09-15 19:52 UTC 

Conference Logic and Higher Structures
 2021-09-15 13:37 UTC 

Job advertisement at Aberdeen
 2021-09-14 12:32 UTC 

NExt ItaCa seminar
 2021-09-14  9:53 UTC 

Two PhD scholarships at Tallinn University of Technology
 2021-09-13 13:59 UTC 

School on Univalent Mathematics, Cortona (Italy), July 17-23, 2022
 2021-09-07 19:33 UTC 

YaMCATS 25 schedule etc
 2021-09-07 11:09 UTC 

Postdoctoral position in homotopy type theory and related topics at Stockholm University
 2021-09-06 11:43 UTC 

Postdoctoral position in homotopy type theory and related topics at Stockholm University
 2021-09-06 11:43 UTC 

"Unifying Themes in Geometry" - first announcement
 2021-09-04  2:32 UTC 

CfP: Logic and Interaction, Marseille, 24 Jan-25 Feb 2022
 2021-09-03 21:02 UTC 

ITRS Call for Post-Proceedings
 2021-09-01 19:34 UTC 

RAMiCS 2021 - Call for participation (onsite/online)
 2021-09-01 13:11 UTC 

Special online YaMCATS, 14 September 2021
 2021-08-26 12:47 UTC 

Novemberfest
 2021-08-24 14:49 UTC 

Em-Cats seminar series announcement
 2021-08-20 19:33 UTC 

Looking for contact address for Yves Diers
 2021-08-16 20:44 UTC 

Unity of Mathematics
 2021-08-09 19:44 UTC 

PhD position on coalgebra and semantics at Radboud University
 2021-07-29 11:48 UTC 

ITRS 2021 Call for Post-Proceedings
 2021-07-27 11:23 UTC 

Nico Pumplün
 2021-07-22  5:03 UTC  (2+ messages)
` categories: "

CT20->21 Fourth Announcement
 2021-07-19 15:54 UTC 

Postdoctoral position at Masaryk University
 2021-07-19  9:06 UTC 

FW: Invitation: GReTA online seminar, July 16 at 15:00 CEST
 2021-07-13 21:04 UTC 

Publication of Volume LXII-3 of the Cahiers
 2021-07-11 17:20 UTC 

ETAPS 2022 1st joint call for papers
 2021-07-09 15:04 UTC 

polynomials and dynamical systems mini-course
 2021-07-09  0:23 UTC 

CALL FOR PARTICIPATION -- APPLIED CATEGORY THEORY 2021, CAMBRIDGE UK, JULY 12-16 -- HYBRID CONFERENCE
 2021-07-08 16:34 UTC 

CALL FOR PARTICIPATION -- APPLIED CATEGORY THEORY 2021, CAMBRIDGE UK, JULY 12-16 -- HYBRID CONFERENCE
 2021-07-08 16:34 UTC 

More self-publicity
 2021-07-08 15:53 UTC 

Call for Participation: HoTT/UF 2021 - July 17-18
 2021-07-08 12:50 UTC 

Call for Participation: HoTT/UF 2021 - July 17-18
 2021-07-08 12:50 UTC 

Second Call for Papers (Deadline Extension): Formal Methods Teaching Workshop and Tutorial (FMTea 2021)
 2021-07-02 10:03 UTC 

Looking for the thesis of Michel Thiébaud
 2021-07-01 16:07 UTC 

Call for Workshops: FLoC 2022 -- The 2022 Federated Logic Conference
 2021-07-01 15:14 UTC 

"Toposes online" - second announcement
 2021-06-17 17:25 UTC 

FSCD 2021: Call for (Online) Participation
 2021-06-14 12:36 UTC 

CT20->21 Third Announcement
 2021-06-14  7:53 UTC 

Call for Papers: Fifth Workshop on Formal Mathematics for Mathematicians (FMM 2021)
 2021-06-14  7:30 UTC 

Leicester
 2021-06-11 13:04 UTC  (2+ messages)

PhD positions at Leicester, UK
 2021-06-11  9:30 UTC  (6+ messages)

Next webinar of ItaCa Fest 2021
 2021-06-10 14:24 UTC 

Workshop on “Higher structures and operadic calculus” (hybrid format, CRM (Barcelona), June 21 -25, 2021)
 2021-06-10  6:26 UTC 

[LICS] LICS 2021 Call for Participation
 2021-06-10  5:20 UTC 

PhD positions at Leicester, UK
 2021-06-07  8:42 UTC 

CGASA
 2021-06-07  7:31 UTC 

category theory and actuarial science
 2021-06-05  9:33 UTC 

TYPES 2021: Call for Participation
 2021-06-04 19:27 UTC 

MFPS 2021: Deadline Extension and Invited Speakers
 2021-06-03 17:23 UTC 

Two PhD positions and Two Postdoc positions in Logic (Groningen, Netherlands), deadline: 15 June 2021
 2021-06-03 15:03 UTC 

Call for Tutorial, Panel, and Discussion Proposals: ICFP 2021
 2021-06-02 19:11 UTC 

FW: Invitation: GReTA online seminar, June 4 at 15:00 CET
 2021-06-02  9:06 UTC 

CSL 2022 - call for papers
 2021-06-02  6:49 UTC 

Logic and Interactions 2022 (Marseille, France) -- Early announcement
 2021-06-01  7:49 UTC 

Categories and Companions Symposium 2021 — Final announcement
 2021-05-31  4:19 UTC 

CALCO 2021: Deadline extension and invited speakers
 2021-05-29 14:31 UTC 

PhD position at the University of Amsterdam
 2021-05-28  9:41 UTC 

PhD position in HoTT/UF at TU Delft
 2021-05-26 18:46 UTC 

PhD position on the formalization of logical calculi in Saarbrücken
 2021-05-26 13:13 UTC 

PhD position on the formalization of logical calculi in Saarbrücken
 2021-05-26 13:13 UTC 

[Deadlines in 1 month] CFP: 15th European Conference on Software Architecture (ECSA 2021)
 2021-05-25 19:35 UTC 

One-day conference "Advances in Hopf Algebroids"
 2021-05-24  6:17 UTC 

ICALP 2021 Call for Student Volunteers
 2021-05-21 12:29 UTC 

Next ItaCa seminar
 2021-05-17  7:06 UTC 

ICALP 2021 Call for Participation
 2021-05-14 11:02 UTC 

Seminar talk on Mathematical Structures in Dependent Type Theory
 2021-05-12 16:53 UTC 

Seminar talk on Mathematical Structures in Dependent Type Theory
 2021-05-12 16:53 UTC 

RAMiCS 2021 - Deadline Extension
 2021-05-12 14:57 UTC 

FMCS 2021 and BIRS workshop
 2021-05-11 18:32 UTC 

"Toposes online" - first announcement
 2021-05-09 20:27 UTC 

CALCO 2021: Second call for papers
 2021-05-08 20:07 UTC 

** DEADLINE EXTENSION ** FINAL CALL FOR PAPERS -- APPLIED CATEGORY THEORY 2021, CAMBRIDGE UK, JULY 12-16 -- HYBRID CONFERENCE
 2021-05-08 19:34 UTC 

** DEADLINE EXTENSION ** FINAL CALL FOR PAPERS -- APPLIED CATEGORY THEORY 2021, CAMBRIDGE UK, JULY 12-16 -- HYBRID CONFERENCE
 2021-05-08 19:34 UTC 

2nd Call for Contributions: (Virtual) Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF'21) on July 17-18, 2021
 2021-05-03 12:12 UTC 

2nd Call for Contributions: (Virtual) Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF'21) on July 17-18, 2021
 2021-05-03 12:12 UTC 

Time correction for Bohemian L&P Café: Michael Shulman, May 4
 2021-04-30 14:28 UTC 

Bohemian L&P Café: Michael Shulman, May 4
 2021-04-29  2:23 UTC 

PPDP 2021 Second Call for Papers
 2021-04-28 20:47 UTC 

PhD Student Opportunity in the Granule Project
 2021-04-28 15:03 UTC 

A seminar talk on Logical Relations As Types
 2021-04-27 20:43 UTC 

A seminar talk on Logical Relations As Types
 2021-04-27 20:43 UTC 

FW: Invitation: GReTA Special Event, featuring Stephen Wolfram, April 28 at 18:00 CET
 2021-04-26 11:15 UTC 

Second Announcement: Em-Cats Virtual Seminar
 2021-04-23  3:42 UTC 

Interdisciplinary Conference on Foundations of Mathematics, Mathematical Cognition and Fundamental Science
 2021-04-22 22:24 UTC 

Seminar Talk on Higher-Order Crypto
 2021-04-22 16:57 UTC 

Seminar Talk on Higher-Order Crypto
 2021-04-22 16:57 UTC 

YaMCATS 24 - April 29th, 2021
 2021-04-21 16:28 UTC 

Categories and Companions Symposium 2021 — Second announcement and call for talks from research students
 2021-04-21  4:28 UTC 

RAMiCS 2021 - Third CFP
 2021-04-20 18:51 UTC 

CT20->21 SECOND ANNOUNCEMENT
 2021-04-20 16:25 UTC 

Call for Contributions: Structure meets Power Workshop 2021
 2021-04-20 12:46 UTC 

Call for papers: Compositional Robotics Workshop
 2021-04-20 12:39 UTC 

ITRS 21 - Final CfP
 2021-04-20  8:00 UTC 

ITRS 21 - Final CfP
 2021-04-20  8:00 UTC 

Grothendieck's strange fact
 2021-04-20  5:40 UTC 

FW: Invitation: GReTA online seminar, April 23 at 15:00 CET
 2021-04-19  7:43 UTC 

Website collecting Grothendieck's works, and translation/transcription projects
 2021-04-17  3:35 UTC 

TYPES 2021: Call for Contributions (speakers and deadline extension)
 2021-04-16 15:49 UTC 

SECOND CALL FOR PAPERS -- APPLIED CATEGORY THEORY 2021, CAMBRIDGE UK, JULY 12-16 -- HYBRID CONFERENCE
 2021-04-16 11:41 UTC 

SECOND CALL FOR PAPERS -- APPLIED CATEGORY THEORY 2021, CAMBRIDGE UK, JULY 12-16 -- HYBRID CONFERENCE
 2021-04-16 11:41 UTC 

Michael Boardman
 2021-04-15 19:30 UTC 

Seminar Talk on the Quantitative Tauberian theorems
 2021-04-14 18:34 UTC 

ItaCa Fest - first
 2021-04-14 10:04 UTC 

Volume LXII-2 of the "Cahiers de Top. et Géo. Dif. Categ."
 2021-04-09 10:20 UTC 

ITRS 21 CfP (Extended Deadline)
 2021-04-09  9:31 UTC 

ITRS 21 CfP (Extended Deadline)
 2021-04-09  9:31 UTC 

Reminder: 2-year position in HoTT at Stockholm, deadline this Friday
 2021-04-05 10:31 UTC 

Reminder: 2-year position in HoTT at Stockholm, deadline this Friday
 2021-04-05 10:31 UTC 

Category Theory and Applications: A textbook for beginners, Second Edition
 2021-04-04 19:37 UTC 

Categories and Companions Symposium 2021 — First announcement and call for talks from research students
 2021-03-31 10:35 UTC 

FW: Invitation: GReTA online seminar, April 9 at 15:00 CEST
 2021-03-29 19:46 UTC 

Call for Nominations: EiC of ACM TOCL journal
 2021-03-29 14:48 UTC 

Call for Nominations: EiC of ACM TOCL journal
 2021-03-29 14:48 UTC 

CALCO 2021: First Call for Papers
 2021-03-29  9:15 UTC 

Seminar talk on Coinductive Equivalences for Higher-order Coeffectful Languages
 2021-03-27 17:55 UTC 

Seminar talk on Coinductive Equivalences for Higher-order Coeffectful Languages
 2021-03-27 17:55 UTC 

SemSpace 2021 Final CfP and Deadline extension
 2021-03-26 14:26 UTC 

SemSpace 2021 Final CfP and Deadline extension
 2021-03-26 14:26 UTC 

Seminar talk on Extending Homotopy Type Theory with Linear Type Formers
 2021-03-25 15:45 UTC 

Seminar talk on Extending Homotopy Type Theory with Linear Type Formers
 2021-03-25 15:45 UTC 

ITRS 21 CfP
 2021-03-25  9:15 UTC 

ITRS 21 CfP
 2021-03-25  9:15 UTC 

Faculty positions at Birmingham, UK
 2021-03-24 15:03 UTC 

Barry Mitchell
 2021-03-24 12:54 UTC 

Research position at UCL, London
 2021-03-23 14:27 UTC 

Research position at UCL, London
 2021-03-23 14:27 UTC 

Barry Mitchell
 2021-03-22 22:30 UTC 

TYPES 2021: Call for Contributions
 2021-03-22 13:48 UTC 

2-year researcher position in HoTT, Stockholm University; deadline 9 April
 2021-03-22 12:31 UTC 

2-year researcher position in HoTT, Stockholm University; deadline 9 April
 2021-03-22 12:31 UTC 

21st Midlands Graduate School in the Foundations of Computing Science: Final Call for Participation
 2021-03-17 11:27 UTC 

FW: Invitation: GReTA online seminar, March 26 at 15:00 CET
 2021-03-15 10:49 UTC 

Em-Cats: Emerging Researchers in Category Theory Virtual Seminar
 2021-03-12 21:27 UTC 

ItaCa Fest 2021
 2021-03-10 10:05 UTC 

Poly workshop, March 15–19
 2021-03-08 17:01 UTC 

FW: Invitation: GReTA online seminar, March 12 at 15:00 CET
 2021-03-08  8:25 UTC 

New volume of CGASA
 2021-03-05 21:39 UTC 

Postdoctoral position in Higher Category Theory at Johns Hopkins
 2021-03-02 19:53 UTC 

CT20->21 First Announcement
 2021-03-02 16:50 UTC 

CT20->21 First Announcement
 2021-03-02 16:50 UTC 

Bohemian L&P Café: Jiri Rosicky, March 9
 2021-03-02 15:31 UTC 

ETAPS 2021 call for participation
 2021-03-01  0:16 UTC 

Special Volume in honor of Bob Rosebrugh
 2021-02-28 16:23 UTC 

ITRS 21 CfP
 2021-02-25 15:25 UTC 

ITRS 21 CfP
 2021-02-25 15:25 UTC 

Call for Papers: 23rd Workshop on Formal Techniques for J(ust-about-any) Program 2021
 2021-02-25 13:18 UTC 

RAMiCS 2021 - 2nd CFP
 2021-02-24 17:15 UTC 

Seminar talk on skew X categories and structural proof theory
 2021-02-23 18:45 UTC 

Seminar talk on skew X categories and structural proof theory
 2021-02-23 18:45 UTC 

Call for Contributions: (Virtual) Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF'21) on July 17-18, 2021
 2021-02-23 16:31 UTC 

Call for Contributions: (Virtual) Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF'21) on July 17-18, 2021
 2021-02-23 16:31 UTC 

(unknown)
 2021-02-19 15:50 UTC 

a book on Manifolds and Local Structures
 2021-02-19 15:50 UTC 

The Online Category Theory Seminar at Brandon University (BU CatS)
 2021-02-17 20:56 UTC 

CALL FOR PAPERS -- APPLIED CATEGORY THEORY 2021, CAMBRIDGE UK, JULY 12-16 -- HYBRID CONFERENCE
 2021-02-16 13:09 UTC 

CALL FOR PAPERS -- APPLIED CATEGORY THEORY 2021, CAMBRIDGE UK, JULY 12-16 -- HYBRID CONFERENCE
 2021-02-16 13:09 UTC 

QPL 2021: Deadline extension
 2021-02-11 19:49 UTC 

FSCD 2021: Extended deadline (Abstract: February 16/ Submission: February 22)
 2021-02-11  9:06 UTC 

21st Midlands Graduate School in the Foundations of Computing Science: Call for Participation
 2021-02-09 17:09 UTC 

21st Midlands Graduate School in the Foundations of Computing Science: Call for Participation
 2021-02-09 17:09 UTC 

Volume LXII-1 of the "Cahiers de Top. et Géo. Dif. Categ.""
 2021-02-08 18:06 UTC 

New York City Category Theory Seminar.... Spring 2021 Lineup
 2021-02-07  1:14 UTC 

[LICS] LICS 2021 Online and Call for Workshops
 2021-02-04 17:19 UTC 

CfP for Workshop on Semantic Spaces at the Intersection of NLP, Physics, and Cognitive Science (SemSpace2021)
 2021-02-04 14:00 UTC 

announcing: March workshop on polynomial functors
 2021-02-03 16:01 UTC 

Leicester Foundations of Computer Science crisis- petition
 2021-02-03 13:54 UTC 

List of Women in Category Theory
 2021-02-02 21:58 UTC 

Postdoc opening in categorical semantics
 2021-01-31 22:26 UTC 

ETAPS Test of Time Award 2021, call for nominations
 2021-01-31 14:54 UTC 

YaMCATS category theory seminars on Zoom next Friday, 5 Feb
 2021-01-30 12:18 UTC 

Leicester Pure Maths crisis- petition
 2021-01-29 19:58 UTC 

Topos Institute Colloquium series
 2021-01-28 16:13 UTC 

Seminar talk on the semantics of bisimilarity
 2021-01-28 16:13 UTC 

FW: Invitation: GReTA online seminar, January 29 at 15:00 CET
 2021-01-28  9:02 UTC 

Bohemian L&P Café: Michael Makkai, Feb. 2
 2021-01-27 17:15 UTC 

Postdoctoral position in homotopy type theory at USD
 2021-01-27 16:42 UTC 

ICALP 2021 Second Call for Workshops
 2021-01-26  7:24 UTC 

Bohemian L&P Café: Michael Makkai, January 26
 2021-01-25 15:33 UTC 

Adjoint School 2021 (applications due Jan 29)
 2021-01-24  7:29 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).