Homotopy Type Theory

1–30 of 996

Discussion of Homotopy Type Theory and Univalent Foundations

0 selected

Dan Christensen

Jul 23

HoTTEST Event for Junior Researchers, Fall 2022

Call for speakers: HoTTEST Event for Young Researchers October to December, 2022 (precise dates will

unread,

HoTTEST Event for Junior Researchers, Fall 2022

Call for speakers: HoTTEST Event for Young Researchers October to December, 2022 (precise dates will

Jul 23

Elena Di Lavore

Jul 21

SYCO 9 - 2nd call for submissions - Deadline 1st August

----------------------------------------- CALL FOR SUBMISSIONS NINTH SYMPOSIUM ON COMPOSITIONAL

unread,

SYCO 9 - 2nd call for submissions - Deadline 1st August

----------------------------------------- CALL FOR SUBMISSIONS NINTH SYMPOSIUM ON COMPOSITIONAL

Jul 21

Elena Di Lavore

Jul 1

SYCO 9 -Call for submissions - Deadline 1 August

----------------------------------------- CALL FOR SUBMISSIONS NINTH SYMPOSIUM ON COMPOSITIONAL

unread,

SYCO 9 -Call for submissions - Deadline 1 August

----------------------------------------- CALL FOR SUBMISSIONS NINTH SYMPOSIUM ON COMPOSITIONAL

Jul 1

Jun 26

Call for STSMs, deadline 1 July 2022

COST Action CA20111 EuroProofNet Open call for Short-Term Scientific Missions (STSMs) Dear Action

unread,

Call for STSMs, deadline 1 July 2022

COST Action CA20111 EuroProofNet Open call for Short-Term Scientific Missions (STSMs) Dear Action

Jun 26

Fredrik Nordvall Forsberg

Jun 7

Applied Category Theory 2022: Call for Participation

CALL FOR PARTICIPATION 5th Annual International Conference on Applied Category Theory (ACT2022) July

unread,

Applied Category Theory 2022: Call for Participation

CALL FOR PARTICIPATION 5th Annual International Conference on Applied Category Theory (ACT2022) July

Jun 7

May 27

Autumn school on Proof and Computation

Autumn school "Proof and Computation", 26th September to 1st October 2022 https://www.

unread,

Autumn school on Proof and Computation

Autumn school "Proof and Computation", 26th September to 1st October 2022 https://www.

May 27

Anders Mortberg

May 25

Workshop in honour of Thierry Coquand's 60th birthday

Thierry Coquand, professor at the University of Gothenburg in Sweden, had his 60th birthday on 18

unread,

Workshop in honour of Thierry Coquand's 60th birthday

Thierry Coquand, professor at the University of Gothenburg in Sweden, had his 60th birthday on 18

May 25

Anders Mortberg, … Nicolai Kraus6

May 24

The Brunerie number is -2

This was before Cubical Agda was invented Oops, I meant to say that this was around the time Andrea

unread,

The Brunerie number is -2

This was before Cubical Agda was invented Oops, I meant to say that this was around the time Andrea

May 24

May 11

Extended Deadline for HoTT/UF 2022: 15 May

We have extended the submission deadline for HoTT/UF abstracts to 15 May. Note that we will support

unread,

Extended Deadline for HoTT/UF 2022: 15 May

We have extended the submission deadline for HoTT/UF abstracts to 15 May. Note that we will support

May 11

May 11

CMU HoTT Seminar Online: Shulman (part III)

Reminder: Part III, May 12 ~~~~~~~~ CMU HoTT Seminar Online ~~~~~~~~ Mike Shulman (University of San

unread,

CMU HoTT Seminar Online: Shulman (part III)

Reminder: Part III, May 12 ~~~~~~~~ CMU HoTT Seminar Online ~~~~~~~~ Mike Shulman (University of San

May 11

Anders Mortberg

May 10

Final call for participation (Deadline Friday 13 May): Workshop on Syntax and Semantics of Type Theories in Stockholm, Sweden, May 20-21, 2022

As previously announced, we are organizing an in-person workshop on Syntax and Semantics of Type

unread,

Final call for participation (Deadline Friday 13 May): Workshop on Syntax and Semantics of Type Theories in Stockholm, Sweden, May 20-21, 2022

As previously announced, we are organizing an in-person workshop on Syntax and Semantics of Type

May 10

May 9

Communicating Mathematics Conference, August 8-11

* Communicating Mathematics is a 4-day workshop for mathematicians at all career stages who are

unread,

Communicating Mathematics Conference, August 8-11

* Communicating Mathematics is a 4-day workshop for mathematicians at all career stages who are

May 9

Fredrik Nordvall Forsberg

May 6

Applied Category Theory 2022: Final Call for Papers (deadline extended to Wed 11 May)

FINAL CALL FOR PAPERS WITH DEADLINE EXTENSION [By popular demand, we have extended the deadline for

unread,

Applied Category Theory 2022: Final Call for Papers (deadline extended to Wed 11 May)

FINAL CALL FOR PAPERS WITH DEADLINE EXTENSION [By popular demand, we have extended the deadline for

May 6

May 5

HoTT/UF 2022: Second Call for Contributions

========================================================== SECOND CALL FOR CONTRIBUTIONS AND

unread,

HoTT/UF 2022: Second Call for Contributions

========================================================== SECOND CALL FOR CONTRIBUTIONS AND

May 5

May 4

CMU HoTT Seminar Online: M. Shulman, Towards Third-Generation HOTT, May 5 & 12

Reminder: Part II, May 5. ~~~~~~~~ CMU HoTT Seminar Online ~~~~~~~~ Mike Shulman (University of San

unread,

CMU HoTT Seminar Online: M. Shulman, Towards Third-Generation HOTT, May 5 & 12

Reminder: Part II, May 5. ~~~~~~~~ CMU HoTT Seminar Online ~~~~~~~~ Mike Shulman (University of San

May 4

Apr 27

announcing the HoTTEST summer school (save the dates)

We're delighted to announce the HoTTEST Summer School, which will take place online everywhere in

unread,

announcing the HoTTEST summer school (save the dates)

We're delighted to announce the HoTTEST Summer School, which will take place online everywhere in

Apr 27

Chris Kapulkin, … Andrej Bauer22

Apr 27

M. Shulman, Towards Third-Generation HOTT, April 14, 21, and 28 - HoTTEST Distinguished Lecture Series

This mailing list is a community service. The present discussion has run its course and is not

unread,locked,

M. Shulman, Towards Third-Generation HOTT, April 14, 21, and 28 - HoTTEST Distinguished Lecture Series

This mailing list is a community service. The present discussion has run its course and is not

Apr 27

Apr 22

CORRECTION: CMU HoTT Seminar Online: M. Shulman, Towards Third-Generation HOTT, April 28, May 5 & 12

~*~*~*~*~*~*~*~* CMU HoTT Seminar Online *~*~*~*~*~*~*~*~ Mike Shulman (University of San Diego).

unread,

CORRECTION: CMU HoTT Seminar Online: M. Shulman, Towards Third-Generation HOTT, April 28, May 5 & 12

~*~*~*~*~*~*~*~* CMU HoTT Seminar Online *~*~*~*~*~*~*~*~ Mike Shulman (University of San Diego).

Apr 22

Apr 22

CMU HoTT Seminar Online: M. Shulman, Towards Third-Generation HOTT, April 28, May 5 & 12

~*~*~*~*~*~*~*~* CMU HoTT Seminar Online *~*~*~*~*~*~*~*~ Mike Shulman (University of San Diego).

unread,

CMU HoTT Seminar Online: M. Shulman, Towards Third-Generation HOTT, April 28, May 5 & 12

~*~*~*~*~*~*~*~* CMU HoTT Seminar Online *~*~*~*~*~*~*~*~ Mike Shulman (University of San Diego).

Apr 22

Fredrik Nordvall Forsberg

Apr 22

Applied Category Theory 2022: Second Call for Papers

SECOND CALL FOR PAPERS 5th Annual International Conference on Applied Category Theory (ACT2022) July

unread,

Applied Category Theory 2022: Second Call for Papers

SECOND CALL FOR PAPERS 5th Annual International Conference on Applied Category Theory (ACT2022) July

Apr 22

Peter LeFanu Lumsdaine

Apr 19

Reminder: PhD positions in Stockholm, deadline this Friday, 22 April

Dear all, A reminder for all interested in the PhD openings here that the deadline is *this Friday*,

unread,

Reminder: PhD positions in Stockholm, deadline this Friday, 22 April

Dear all, A reminder for all interested in the PhD openings here that the deadline is *this Friday*,

Apr 19

Steve Awodey, Marc Bezem2

Apr 17

On the recent events

Thanks Steve, I fully support your point of view and you say it much better than I ever could. In

unread,

On the recent events

Thanks Steve, I fully support your point of view and you say it much better than I ever could. In

Apr 17

Anders Mortberg

Apr 8

Reminder: Workshop on Syntax and Semantics of Type Theories in Stockholm, Sweden, May 20-21 (contributed talk and funding deadline Monday 11 April)

Reminder: the deadline to contribute a talk and applying for funding to participate in the workshop

unread,

Reminder: Workshop on Syntax and Semantics of Type Theories in Stockholm, Sweden, May 20-21 (contributed talk and funding deadline Monday 11 April)

Reminder: the deadline to contribute a talk and applying for funding to participate in the workshop

Apr 8

Mar 30

School on Univalent Mathematics, Cortona (Italy), July 17-23: Application deadline 15 April

We are pleased to announce the School on Univalent Mathematics 2022, to be held at the Palazzone di

unread,

School on Univalent Mathematics, Cortona (Italy), July 17-23: Application deadline 15 April

We are pleased to announce the School on Univalent Mathematics 2022, to be held at the Palazzone di

Mar 30

Mar 28

Bicategories, Categorification and Quantum Theory (BCQT2022): pre-registration open

[Apologies for multiple postings] Dear all, We are pleased to announce that pre-registration for the

unread,

Bicategories, Categorification and Quantum Theory (BCQT2022): pre-registration open

[Apologies for multiple postings] Dear all, We are pleased to announce that pre-registration for the

Mar 28

Anders Mortberg

Mar 27

Workshop on Syntax and Semantics of Type Theories in Stockholm, Sweden, on May 20-21, 2022

We are organizing a workshop on Syntax and Semantics of Type Theories in Stockholm, Sweden, on May 20

unread,

Workshop on Syntax and Semantics of Type Theories in Stockholm, Sweden, on May 20-21, 2022

We are organizing a workshop on Syntax and Semantics of Type Theories in Stockholm, Sweden, on May 20

Mar 27

Mar 24

Call for STSMs, deadline 3 April 2022

COST Action CA20111 EuroProofNet Open call for Short-Term Scientific Missions (STSMs) Dear Action

unread,

Call for STSMs, deadline 3 April 2022

COST Action CA20111 EuroProofNet Open call for Short-Term Scientific Missions (STSMs) Dear Action

Mar 24

Benno van den Berg

Mar 21

PhD position in Homotopy Type Theory

Dear all, At the University of Amsterdam we are looking for a PhD student who wants to work on

unread,

PhD position in Homotopy Type Theory

Dear all, At the University of Amsterdam we are looking for a PhD student who wants to work on

Mar 21

Steve Awodey, Daniel R. Grayson2

Mar 17

Congratulations, Andrej!

unread,

Congratulations, Andrej!

Mar 17

Mar 14

Midlands Graduate School: Accommodation and second (final) call for participation

Dear all, I'm aware that some people interested in our spring school found that the on-campus

unread,

Midlands Graduate School: Accommodation and second (final) call for participation

Dear all, I'm aware that some people interested in our spring school found that the on-campus

Mar 14

Search

Clear search

Close search

Google apps

Main menu