Homotopy Type Theory

Registration, for both in-person and online participants, is open for CT2026 and DV60 with an early

Dear all, We are happy to announce that ItaCa Fest is back with its 7th edition. We will begin on the

Dear all, We are excited to announce a month-long mathlib-focussed workshop "Building the

================================================== == 2ND CALL FOR CONTRIBUTIONS AND PARTICIPATION ==

Dear all, The Mathematically Structured Programming research group at the University of Strathclyde

Dear all, I am currently advertising a PhD position on the subject of categorical foundations of type

TL;DR: PSSL 112 program below; please register by March 14th 2026. ==================================

Dear all, This is a first call for participation and contributions for the 3rd workshop on Syntax and

Having received multiple requests to extend the deadline, we are announcing a 1-week extension to the

Final call for papers for MFPS XLII. Submission deadline is March 5! --- # MFPS XLII: Mathematical

== Autumn school "Proof and Computation" Fischbachau, Germany, 13th to 19th September 2026

Dear colleagues, This is to announce the special issue of Theoretical Computer Science, titled “

32nd International Conference on Types for Proofs and Programs, 4-8 May 2026, Gothenburg, Sweden,

Second call for papers for MFPS XLII, with new information on invited speakers. --- # MFPS XLII:

================================================== == 1ST CALL FOR CONTRIBUTIONS AND PARTICIPATION ==

TL;DR: Submit your PSSL 112 abstract by February 6th 2026 to stiephe...@nottingham.ac.uk. ======

Dear all, We're happy to announce the launch of aboutlogic, a new bi-weekly podcast where logic,

Submission of abstracts has been extended until January 20 (AOE): <https://types-hotcrp.paris.

Chapman University in Orange, California, USA, is hiring doctoral students and postdoctoral fellows

The abstract submission portal is now open for contributed talks to CT2026. Participants – both in

TL;DR: Submit your PSSL 112 abstract by February 6th 2026 to stiephe...@nottingham.ac.uk. ======

Dear colleagues, The Mathematically Structured Programming Group at the University of Strathclyde is

Dear all, this is a final invitation to submit to the TYPES 2025 post-proceedings. We have extended

*************************************************** TYPES 2025: Post-proceedings Second Call for

Dear all, In celebration of Martín Escardó's 60th birthday this year, we are pleased to announce

TL;DR: Submit your PSSL 112 abstract by February 6th 2026 to stiephe...@nottingham.ac.uk. ======

TL;DR Submit your TYPES 2026 abstract by 12th January 2026 to <https://types-hotcrp.paris.inria.fr

We are writing to announce two conferences to be held in hybrid fashion at Johns Hopkins University

********************************************* TYPES 2025: Post-proceedings Call for Papers **********

The University of Birmingham is recruiting assistant/associate professors in the School of Computer