Homotopy Type Theory

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

Dear colleagues, I am looking for a PhD student to work on a project in the semantics of Homotopy

Hi, I'm writing to announce a 2-year postdoctoral position currently being advertised to work

Dear all, I would like to invite applications for two postdoctoral positions in homotopy type theory

Dear all, We are pleased to announce a conference on Homotopy Theory, K-theory, and Topological Data

EXTENDED DEADLINE: 6TH JULY 2025 On Thursday, May 29, 2025 at 8:47:01 PM UTC Valentin Herrmann wrote:

Dear all, The 38th meeting of the Yorkshire and Midlands Category Theory seminar (YaMCATS) will take

[Apologies for multiple postings] Dear colleagues and friends, The Peter Aczel Memorial Conference

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

[Apologies for multiple postings.] Final Call for Participation TYPES 2025 31st International

-----------------------------------------------------------------------------------------------------

Call for Participation TYPES 2025 31st International Conference on Types for Proofs and Programs

Dear friends and colleagues, I am writing to let you know that The University of Manchester will be

Dear HoTT Community, I want to make you aware of a recent change in publishing: the editorial board

--------------------------------------------------------------------------------------------------

========================================================== * Registration deadline: Friday 28 March *

Dear all, We are hiring PhD students in Computational Mathematics and Mathematics at Stockholm

Dear all, I am writing to let you know that the next meetings of the Yorkshire and Midlands Category

We are pleased to announce the first international workshop: Transactions in Category Theory hosted

16th International Conference on Interactive Theorem Proving - ITP'25 Reykjavik, Iceland, 27

-----------------------------------------------------------------------------------------------------

[The TYPES 2025 submission deadline has been extended a week until 10 March Anywhere On Earth.] Final