Homotopy Type Theory

Dear all, I have an open postdoc position available in Budapest on Higher Observational Type Theory.

COLLOQUIUM LOGICUM 2026 https://www.mathematik.uni-wuerzburg.de/schools/colloquium-logicum-2026/ *21-

The American Mathematical Society has a newly created/resurrected Milestone Prize in Formal

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

Dear all, I have a funded PhD position in the Mathematically Structured Programming (MSP) Group at

Dear colleagues and friends, We are happy to share that the aboutlogic podcast has completed its

Dear All, This is to let you know that the call for applications has now been published: https://www.

===================================================================== CALL FOR PARTICIPATION: MFPS

We have two temporary positions as lecturer/associate professor/universtietslektor (1 year) in

Call For Participation: HoTT/UF 2026 ========================================================== *

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,