Groups
Conversations
All groups and messages
Send feedback to Google
Help
Sign in
Groups
Homotopy Type Theory
Conversations
About
Homotopy Type Theory
1–30 of 996
Discussion of Homotopy Type Theory and Univalent Foundations
Mark all as read
Report abusive group
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
Ambrus Kaposi
2
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
Steve Awodey
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 Kraus
6
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
Evan Cavallo
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
Steve Awodey
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
EMILY RIEHL
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
Evan Cavallo
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
Steve Awodey
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
EMILY RIEHL
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 Bauer
22
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
Steve Awodey
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
Steve Awodey
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 Bezem
2
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
Marco Maggesi
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
Nicola Gambino
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
Ambrus Kaposi
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. Grayson
2
Mar 17
Yay Andrej!
Congratulations, Andrej!
unread,
Yay Andrej!
Congratulations, Andrej!
Mar 17
Nicolai Kraus
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