Groups

Homotopy Type Theory

1–30 of 1208

Discussion of Homotopy Type Theory and Univalent Foundations

0 selected

Anders Mortberg

Apr 22

1 year lectureships at Stockholm University

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

unread,

1 year lectureships at Stockholm University

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

Apr 22

Valentin G. J. Herrmann

Apr 20

2nd CfP: Autumn School: Proof and Computation 2026 – 13–19 September 2026, Fischbachau (Germany)

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

unread,

2nd CfP: Autumn School: Proof and Computation 2026 – 13–19 September 2026, Fischbachau (Germany)

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

Apr 20

Apr 9

Call for Registration: HoTT/UF 2026

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

unread,

Call for Registration: HoTT/UF 2026

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

Apr 9

Vikraman Choudhury

Apr 7

Call for Participation: Workshop in Celebration of Marcelo Fiore's 60th Birthday

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

unread,

Call for Participation: Workshop in Celebration of Marcelo Fiore's 60th Birthday

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

Apr 7

Nils Anders Danielsson

Apr 2

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

Apr 2

Gabriele Lobbia

Mar 31

1-year postdoctoral position in Logic and Category Theory, University of Milan (Italy)

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

unread,

1-year postdoctoral position in Logic and Category Theory, University of Milan (Italy)

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

Mar 31

Peter LeFanu Lumsdaine

Mar 26

CfP: SSTT Ljubljana, June 4–5 (submissions by Thu 2 April)

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

unread,

CfP: SSTT Ljubljana, June 4–5 (submissions by Thu 2 April)

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

Mar 26

Mar 25

Final CFP: Workshop on HoTT/UF

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

unread,

Final CFP: Workshop on HoTT/UF

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

Mar 25

Mar 21

CT2026 and DV60 travel support applications open

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

unread,

CT2026 and DV60 travel support applications open

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

Mar 21

Anders Mortberg

Mar 19

Syntax and Semantics of Type Theories, Ljubljana, June 4–5 2026: Second call for contributions

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

unread,

Syntax and Semantics of Type Theories, Ljubljana, June 4–5 2026: Second call for contributions

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

Mar 19

Mar 15

CT2026 + DV60 registration & zulip chat

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

unread,

CT2026 + DV60 registration & zulip chat

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

Mar 15

Mar 13

ItaCa Fest 2026

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

unread,

ItaCa Fest 2026

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

Mar 13

Mar 11

Building the Mathematical Library of the Future

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

unread,

Building the Mathematical Library of the Future

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

Mar 11

Mar 9

HoTT/UF 2026 Second CfC

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

unread,

HoTT/UF 2026 Second CfC

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

Mar 9

Fredrik Nordvall Forsberg

Mar 6

Permanent lecturer position at the University of Strathclyde

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

unread,

Permanent lecturer position at the University of Strathclyde

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

Mar 6

Paige Randall North

Mar 6

PhD in categorical foundations of type theory at Utrecht

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

unread,

PhD in categorical foundations of type theory at Utrecht

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

Mar 6

Mar 4

PSSL 112: Program & registration

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

unread,

PSSL 112: Program & registration

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

Mar 4

Benedikt Ahrens

Mar 4

Syntax and Semantics of Type Theories, Ljubljana, June 4–5 2026: Call for participation and contributions

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

unread,

Syntax and Semantics of Type Theories, Ljubljana, June 4–5 2026: Call for participation and contributions

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

Mar 4

Mar 3

MFPS XLII: Deadline Extension

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

unread,

MFPS XLII: Deadline Extension

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

Mar 3

Feb 20

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

Feb 20

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

Search

Clear search

Close search

Google apps

Main menu