Groups
Conversations
All groups and messages
Send feedback to Google
Help
Training
Sign in
Groups
Homotopy Type Theory
Conversations
About
Groups keyboard shortcuts have been updated
Dismiss
See shortcuts
Homotopy Type Theory
Contact owners and managers
1–30 of 1144
Discussion of Homotopy Type Theory and Univalent Foundations
Mark all as read
Report group
0 selected
weinberge...@gmail.com
Feb 11
2nd CfC: Proof Assistants Special Session @ North American ASL Meeting (May 15 & 16, 2025, Las Cruces, NM)
======================================== 2nd Call for Participation and Contributions North American
unread,
2nd CfC: Proof Assistants Special Session @ North American ASL Meeting (May 15 & 16, 2025, Las Cruces, NM)
======================================== 2nd Call for Participation and Contributions North American
Feb 11
Fredrik Nordvall Forsberg
Feb 10
TYPES 2025: Second Call for Contributions
[The TYPES 2025 submission deadline is less than a month away.] Second Call for Contributions TYPES
unread,
TYPES 2025: Second Call for Contributions
[The TYPES 2025 submission deadline is less than a month away.] Second Call for Contributions TYPES
Feb 10
Daniel R. Grayson
Feb 6
Re: [HoTT] Abridged summary of homotopytypetheory@googlegroups.com - 1 update in 1 topic
Thanks! On Tue, Jan 14, 2025, 7:09 PM <homotopyt...@googlegroups.com> wrote:
unread,
Re: [HoTT] Abridged summary of homotopytypetheory@googlegroups.com - 1 update in 1 topic
Thanks! On Tue, Jan 14, 2025, 7:09 PM <homotopyt...@googlegroups.com> wrote:
Feb 6
Ambrus Kaposi
Jan 29
Postdoc positions in type theory (start: May 2025; location: Budapest, Hungary)
Dear all, I have two postdoc positions available in Budapest on Higher Observational Type Theory
unread,
Postdoc positions in type theory (start: May 2025; location: Budapest, Hungary)
Dear all, I have two postdoc positions available in Budapest on Higher Observational Type Theory
Jan 29
weinberge...@gmail.com
Jan 24
Proof Assistants Special Session @ North American ASL Meeting (May 15 & 16, 2025, Las Cruces, NM)
======================================== Call for Participation and Contributions North American ASL
unread,
Proof Assistants Special Session @ North American ASL Meeting (May 15 & 16, 2025, Las Cruces, NM)
======================================== Call for Participation and Contributions North American ASL
Jan 24
Daniel Gratzer
Jan 15
Final CfP for HoTT/UF 2025
Apologies for any duplicated messages. ==========================================================
unread,
Final CfP for HoTT/UF 2025
Apologies for any duplicated messages. ==========================================================
Jan 15
Jacopo Emmenegger
Jan 14
1st Call for Contributions and Participation - 4th meeting of Working Group 6 of the EuroProofNet COST Action - Genoa, Italy, 17-18 April 2025
--------------------------------------------------------------------------------------------------
unread,
1st Call for Contributions and Participation - 4th meeting of Working Group 6 of the EuroProofNet COST Action - Genoa, Italy, 17-18 April 2025
--------------------------------------------------------------------------------------------------
Jan 14
Daniel Gratzer
12/19/24
Call for Contributions: Workshop on Homotopy Type Theory and Univalent Foundations
Apologies for any duplicated messages. ========================================================== 2ND
unread,
Call for Contributions: Workshop on Homotopy Type Theory and Univalent Foundations
Apologies for any duplicated messages. ========================================================== 2ND
12/19/24
Fredrik Nordvall Forsberg
12/10/24
TYPES 2025: First Call for Contributions
Call for Contributions TYPES 2025 31st International Conference on Types for Proofs and Programs
unread,
TYPES 2025: First Call for Contributions
Call for Contributions TYPES 2025 31st International Conference on Types for Proofs and Programs
12/10/24
Sarah Constantin
12/5/24
AI for Math Fund announcement
The AI for Math Fund, sponsored by Renaissance Philanthropy and XTX Markets, is a grant opportunity
unread,
AI for Math Fund announcement
The AI for Math Fund, sponsored by Renaissance Philanthropy and XTX Markets, is a grant opportunity
12/5/24
Thorsten Altenkirch
12/3/24
PhD positions at Nottingham
We have several PhD positions at Nottingham which includes the FP lab specializing in functional
unread,
PhD positions at Nottingham
We have several PhD positions at Nottingham which includes the FP lab specializing in functional
12/3/24
JS PL
12/1/24
ACT 2025 Call for Papers
The Eighth International Conference on Applied Category Theory (https://easychair.org/cfp/ACT2025)
unread,
ACT 2025 Call for Papers
The Eighth International Conference on Applied Category Theory (https://easychair.org/cfp/ACT2025)
12/1/24
Andrew Zayine
11/30/24
Fwd: Critical Security Flaws in Educational Software & DFIR Stream Call for Participation
- Call for Participation: DFIR Stream 0xD "Cybersecurity & Open Source Policy" by
unread,
Fwd: Critical Security Flaws in Educational Software & DFIR Stream Call for Participation
- Call for Participation: DFIR Stream 0xD "Cybersecurity & Open Source Policy" by
11/30/24
Fredrik Nordvall Forsberg
11/29/24
Permanent lecturer/senior lecturer position at the University of Strathclyde
Dear all, The Mathematically Structured Programming research group at the University of Strathclyde
unread,
Permanent lecturer/senior lecturer position at the University of Strathclyde
Dear all, The Mathematically Structured Programming research group at the University of Strathclyde
11/29/24
Jonathan Weinberger
11/25/24
Postdoctoral positions (1-3 yrs) at Chapman U
Chapman University's Grand Challenges Initative (GCI) is offering postdoctoral fellow positions.
unread,
Postdoctoral positions (1-3 yrs) at Chapman U
Chapman University's Grand Challenges Initative (GCI) is offering postdoctoral fellow positions.
11/25/24
weinberge...@gmail.com
11/22/24
Doctoral positions in math/philosophy/physics at Chapman U
Chapman University in Orange, California, USA, has launched a call for applications for the graduate
unread,
Doctoral positions in math/philosophy/physics at Chapman U
Chapman University in Orange, California, USA, has launched a call for applications for the graduate
11/22/24
Nicolai Kraus
11/15/24
PhD and postdoc positions in type theory (start: Oct 2025; location: Nottingham, UK)
Dear all, I have two PhD and two postdoc positions available. The default starting date would be Oct
unread,
PhD and postdoc positions in type theory (start: Oct 2025; location: Nottingham, UK)
Dear all, I have two PhD and two postdoc positions available. The default starting date would be Oct
11/15/24
Fredrik Nordvall Forsberg
11/4/24
PhD studentships at the University of Strathclyde
Dear all, The Department of Computer and Information Sciences at the University of Strathclyde is
unread,
PhD studentships at the University of Strathclyde
Dear all, The Department of Computer and Information Sciences at the University of Strathclyde is
11/4/24
simo...@uns.ac.rs
10/28/24
Call for STSMs and ITC conference grants, deadline 24 November 2024
COST Action CA20111 EuroProofNet Open call for Short-Term Scientific Missions (STSMs) and Inclusive
unread,
Call for STSMs and ITC conference grants, deadline 24 November 2024
COST Action CA20111 EuroProofNet Open call for Short-Term Scientific Missions (STSMs) and Inclusive
10/28/24
Peter LeFanu Lumsdaine
10/25/24
Postdoc in Type Theory/Logic, Stockholm Univ. (deadline 4 Nov)
Dear all, We have a postdoc position open in type theory and mathematical logic, for a 2-year post,
unread,
Postdoc in Type Theory/Logic, Stockholm Univ. (deadline 4 Nov)
Dear all, We have a postdoc position open in type theory and mathematical logic, for a 2-year post,
10/25/24
Giacomo Tendas
9/30/24
Workshop Categorical Logic and Higher Categories: registration
*** Workshop Categorical Logic and Higher Categories *** University of Manchester (UK), Monday 16th
unread,
Workshop Categorical Logic and Higher Categories: registration
*** Workshop Categorical Logic and Higher Categories *** University of Manchester (UK), Monday 16th
9/30/24
Rasmus Møgelberg
9/26/24
Types post-proceedings call for papers
TYPES is a major forum for the presentation of research on all aspects of type theory and its
unread,
Types post-proceedings call for papers
TYPES is a major forum for the presentation of research on all aspects of type theory and its
9/26/24
Chris Kapulkin
8/20/24
Fall 2024 HoTTEST lineup
Hi y'all, We are delighted to announce the Fall 2024 lineup of the HoTT Electronic Seminar Talks.
unread,
Fall 2024 HoTTEST lineup
Hi y'all, We are delighted to announce the Fall 2024 lineup of the HoTT Electronic Seminar Talks.
8/20/24
Giacomo Tendas
7/16/24
First announcement: Workshop Categorical Logic and Higher Categories
*** Workshop Categorical Logic and Higher Categories *** University of Manchester (UK) *** Monday
unread,
First announcement: Workshop Categorical Logic and Higher Categories
*** Workshop Categorical Logic and Higher Categories *** University of Manchester (UK) *** Monday
7/16/24
Favonia
7/1/24
Free online participation in MSFP, 8th July 2024
I'm delighted to announce that there is free best-effort online participation in the Tenth
unread,
Free online participation in MSFP, 8th July 2024
I'm delighted to announce that there is free best-effort online participation in the Tenth
7/1/24
Steve Awodey
7/1/24
CfA: Associate Senior Lecturer in Logic, Gothenburg (Sweden)
Begin forwarded message: From: Bahareh Afshari <bahar...@gmail.com> Date: July 1, 2024 at 11
unread,
CfA: Associate Senior Lecturer in Logic, Gothenburg (Sweden)
Begin forwarded message: From: Bahareh Afshari <bahar...@gmail.com> Date: July 1, 2024 at 11
7/1/24
admin
6/25/24
Re: new arxiv calendar overlay — [Coq-Club] Postdoc Machine Learning
Salut Ciryl [updated]: https://github.com/1337777/cartier/blob/master/cartierSolution15.lp Indeed
unread,
Re: new arxiv calendar overlay — [Coq-Club] Postdoc Machine Learning
Salut Ciryl [updated]: https://github.com/1337777/cartier/blob/master/cartierSolution15.lp Indeed
6/25/24
Nicola Gambino
6/17/24
Postdoc position in Higher Category Theory
Dear all, I am writing to invite applications for 10-month postdoctoral position in Higher Category
unread,
Postdoc position in Higher Category Theory
Dear all, I am writing to invite applications for 10-month postdoctoral position in Higher Category
6/17/24
Chuangjie Xu
2
5/27/24
Autumn school "Proof and Computation", Fischbachau (Germany), 15-21 Sep 2024
Dear all, the application deadline is approaching soon. I hope to see more of you at the autumn
unread,
Autumn school "Proof and Computation", Fischbachau (Germany), 15-21 Sep 2024
Dear all, the application deadline is approaching soon. I hope to see more of you at the autumn
5/27/24
Nicola Gambino
5/20/24
YaMCATS 35, University of Manchester, 20 June 2024
*** Yorkshire and Midlands Category Theory Seminar *** Thursday, 20th June 2024 *** The University of
unread,
YaMCATS 35, University of Manchester, 20 June 2024
*** Yorkshire and Midlands Category Theory Seminar *** Thursday, 20th June 2024 *** The University of
5/20/24