Groups

Homotopy Type Theory

1–30 of 1189

Discussion of Homotopy Type Theory and Univalent Foundations

0 selected

5:03 AM

MFPS XLII: Final call for papers

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

unread,

MFPS XLII: Final call for papers

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

5:03 AM

Valentin G. J. Herrmann

Feb 15

Autumn school "Proof and Computation", Fischbachau (Germany), 13-19 Sep 2026

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

unread,

Autumn school "Proof and Computation", Fischbachau (Germany), 13-19 Sep 2026

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

Feb 15

Frédéric Blanqui

Feb 11

TCS special issue on Universality in Logics and Physics --- Tribute to Gilles Dowek

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

unread,

TCS special issue on Universality in Logics and Physics --- Tribute to Gilles Dowek

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

Feb 11

Christian Sattler

Feb 10

TYPES 2026: Call for Participation

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

unread,

TYPES 2026: Call for Participation

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

Feb 10

Jan 26

MFPS XLII: Second call for papers

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

unread,

MFPS XLII: Second call for papers

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

Jan 26

Jan 23

HoTT/UF 2026 First CfC

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

unread,

HoTT/UF 2026 First CfC

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

Jan 23

Jan 22

PSSL 112 - Last CfC

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

unread,

PSSL 112 - Last CfC

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

Jan 22

Thorsten Altenkirch (staff)

Jan 12

aboutlogic podcasts

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

unread,

aboutlogic podcasts

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

Jan 12

Christian Sattler

Jan 8

TYPES 2026: Deadline Extension and Final Call for Contributions

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

unread,

TYPES 2026: Deadline Extension and Final Call for Contributions

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

Jan 8

Jonathan Weinberger

Jan 5

(Post-)Doctoral positions at Chapman U 2026

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

unread,

(Post-)Doctoral positions at Chapman U 2026

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

Jan 5

12/23/25

abstract submissions for CT2026; due January 20th, 2026

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

unread,

abstract submissions for CT2026; due January 20th, 2026

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

12/23/25

12/12/25

PSSL 112 — 2nd call for contributions

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

unread,

PSSL 112 — 2nd call for contributions

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

12/12/25

Fredrik Nordvall Forsberg

12/4/25

Funded PhD positions at the University of Strathclyde

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

unread,

Funded PhD positions at the University of Strathclyde

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

12/4/25

Fredrik Nordvall Forsberg

11/17/25

TYPES 2025: Post-proceedings Final Call for Papers

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

unread,

TYPES 2025: Post-proceedings Final Call for Papers

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

11/17/25

Fredrik Nordvall Forsberg

11/7/25

TYPES 2025: Post-proceedings 2nd Call for Papers

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

unread,

TYPES 2025: Post-proceedings 2nd Call for Papers

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

11/7/25

10/24/25

Workshop for Martín Escardó's 60th, Birmingham, 17-18 Dec

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

unread,

Workshop for Martín Escardó's 60th, Birmingham, 17-18 Dec

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

10/24/25

10/23/25

PSSL 112 — 1st Call for Contributions

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

unread,

PSSL 112 — 1st Call for Contributions

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

10/23/25

Christian Sattler

10/20/25

TYPES 2026 Call for Contributions

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

unread,

TYPES 2026 Call for Contributions

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

10/20/25

10/20/25

CT2026 + DV60, July 2026, Baltimore

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

unread,

CT2026 + DV60, July 2026, Baltimore

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

10/20/25

Fredrik Nordvall Forsberg

10/6/25

TYPES 2025: Post-proceedings Call for Papers

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

unread,

TYPES 2025: Post-proceedings Call for Papers

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

10/6/25

Martín Hötzel Escardó

9/5/25

Assistant/Associate Professor at University of Birmingham UK (apply by 30 September)

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

unread,

Assistant/Associate Professor at University of Birmingham UK (apply by 30 September)

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

9/5/25

Benno van den Berg

9/3/25

PhD position in the Semantics of Homotopy Type Theory at the University of Amsterdam

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

unread,

PhD position in the Semantics of Homotopy Type Theory at the University of Amsterdam

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

9/3/25

8/21/25

Postdoctoral position in logical methods and machine learning (2 years)

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

unread,

Postdoctoral position in logical methods and machine learning (2 years)

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

8/21/25

7/7/25

Postdoc positions in type theory, closing date: 25 July

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

unread,

Postdoc positions in type theory, closing date: 25 July

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

7/7/25

7/5/25

Save the date: Homotopy theory, K-theory, and topological data analysis - a conference in honour of Rick Jardine at Western University, June 8-12, 2026

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

unread,

Save the date: Homotopy theory, K-theory, and topological data analysis - a conference in honour of Rick Jardine at Western University, June 8-12, 2026

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

7/5/25

Valentin Herrmann2

6/26/25

Autumn school "Proof and Computation", Herrsching (Germany), 14-20 Sep 2025

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

unread,

Autumn school "Proof and Computation", Herrsching (Germany), 14-20 Sep 2025

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

6/26/25

6/12/25

YaMCATS 38: 23rd June 2025, The University of Manchester (UK)

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

unread,

YaMCATS 38: 23rd June 2025, The University of Manchester (UK)

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

6/12/25

6/9/25

Aczel memorial conference & BLC 2025 meeting: registration open

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

unread,

Aczel memorial conference & BLC 2025 meeting: registration open

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

6/9/25

Nils Anders Danielsson

5/22/25

Postdoc, compilation of cubical type theory

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

unread,

Postdoc, compilation of cubical type theory

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

5/22/25

Fredrik Nordvall Forsberg

5/21/25

TYPES 2025: Final Call for Participation

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

unread,

TYPES 2025: Final Call for Participation

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

5/21/25

Search

Clear search

Close search

Google apps

Main menu