Homotopy Type Theory

Dear all, In celebration of Marcelo Fiore's 60th birthday this summer – and in recognition of his

Hi, The University of Gothenburg is looking to hire a postdoc for work on compilation of cubical type

Dear all, We are pleased to announce that a one-year postdoctoral position for early career

Dear all, This is a reminder CfP and deadline extension for the 3rd workshop on Syntax and Semantics

================================================== = FINAL CALL FOR CONTRIBUTIONS AND PARTICIPATION =

We anticipate being able to offer limited financial support for some participants to attend CT2026

Dear all, This is the second call for contributions to the 3rd workshop on Syntax and Semantics of

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