Homotopy Type Theory - Google Groups

Groups

1–30 of 1223

Discussion of Homotopy Type Theory and Univalent Foundations

0 selected

Frédéric Blanqui2

Sep 24

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

Dear colleagues, Theoretical Computer Science has a special issue on “Universality in Logics and

unread,

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

Dear colleagues, Theoretical Computer Science has a special issue on “Universality in Logics and

Sep 24

Christian Sattler

Sep 23

TYPES 2026: Post-proceedings Call for Papers

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

unread,

TYPES 2026: Post-proceedings Call for Papers

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

Sep 23

Egbert Rijke, Steve Awodey2

Sep 14

https://www.ias.edu/video/1213/univalent/0117-DanielGrayson > On Sep 14, 2026, at 2:06 PM, Egbert

unread,

https://www.ias.edu/video/1213/univalent/0117-DanielGrayson > On Sep 14, 2026, at 2:06 PM, Egbert

Sep 14

Fredrik Nordvall Forsberg

Jul 31

TYPES 2025 postproceedings published

Dear all, It is our pleasure to announce that the postproceedings of the 31st International

unread,

TYPES 2025 postproceedings published

Dear all, It is our pleasure to announce that the postproceedings of the 31st International

Jul 31

Jul 28

Higher structures meeting (Aberdeen, 8-10 Sep 2026)

Dear all, The second meeting of the network 'Higher Structures in Category Theory, Homotopy

unread,

Higher structures meeting (Aberdeen, 8-10 Sep 2026)

Dear all, The second meeting of the network 'Higher Structures in Category Theory, Homotopy

Jul 28

Benno van den Berg

Jul 8

First announcement of "Types and Structure 2027" (TS2027) - in memory of Thomas Streicher

[APOLOGIES FOR MULTIPLE POSTINGS] Dear all, This is the first announcement for a workshop on "

unread,

First announcement of "Types and Structure 2027" (TS2027) - in memory of Thomas Streicher

[APOLOGIES FOR MULTIPLE POSTINGS] Dear all, This is the first announcement for a workshop on "

Jul 8

Jul 1

Fwd: Workshop in celebration of Marcelo Fiore's 60th birthday (online attendance)

Begin forwarded message: From: Nathanael Arkor via Categories <categor...@categories.org.au

unread,

Fwd: Workshop in celebration of Marcelo Fiore's 60th birthday (online attendance)

Begin forwarded message: From: Nathanael Arkor via Categories <categor...@categories.org.au

Jul 1

Vikraman Choudhury3

Jun 29

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

Dear all, We are happy to announce that the workshop in celebration of Marcelo Fiore's 60th

unread,

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

Dear all, We are happy to announce that the workshop in celebration of Marcelo Fiore's 60th

Jun 29

Fredrik Nordvall Forsberg

Jun 10

Expressions of Interest for fellowships with the MSP group, University of Strathclyde, Scotland

Dear colleagues, The Mathematically Structured Programming (MSP) group at the University of

unread,

Expressions of Interest for fellowships with the MSP group, University of Strathclyde, Scotland

Dear colleagues, The Mathematically Structured Programming (MSP) group at the University of

Jun 10

Jun 9

Please feel free to write to me for more information about this opening: Post Doc Teaching &

unread,

Please feel free to write to me for more information about this opening: Post Doc Teaching &

Jun 9

May 22

Postdoc position in type theory

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

unread,

Postdoc position in type theory

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

May 22

May 17

Colloquium Logicum 2026, Würzburg, 21-24 September

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

unread,

Colloquium Logicum 2026, Würzburg, 21-24 September

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

May 17

May 16

Milestone Prize in Formal Verification

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

unread,

Milestone Prize in Formal Verification

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

May 16

Valentin G. J. Herrmann2

May 15

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

May 15

Vikraman Choudhury

May 12

Funded PhD position in MSP Strathclyde (UK)

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

unread,

Funded PhD position in MSP Strathclyde (UK)

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

May 12

Thorsten Altenkirch (staff)

May 10

about logic podcast

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

unread,

about logic podcast

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

May 10

Gabriele Lobbia

May 6

CfA: 1-year postdoctoral position in Logic and Category Theory, University of Milan (Italy), deadline: 20 May 2026

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

unread,

CfA: 1-year postdoctoral position in Logic and Category Theory, University of Milan (Italy), deadline: 20 May 2026

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

May 6

Apr 30

MFPS XLII and SSTT 2026: Call for participation

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

unread,

MFPS XLII and SSTT 2026: Call for participation

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

Apr 30

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

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

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

Search

Clear search

Close search

Google apps

Main menu