Groups
Sign in
Groups
Homotopy Type Theory
Conversations
About
Send feedback
Help
Homotopy Type Theory
Contact owners and managers
1–30 of 1112
Discussion of Homotopy Type Theory and Univalent Foundations
Mark all as read
Report group
0 selected
Favonia
10:19 AM
Reminder: MSFP 2024 Call for Papers (deadline 30 Apr)
This is a gentle reminder about the upcoming paper submission deadline for MSFP 2024: Tuesday 30th
unread,
Reminder: MSFP 2024 Call for Papers (deadline 30 Apr)
This is a gentle reminder about the upcoming paper submission deadline for MSFP 2024: Tuesday 30th
10:19 AM
Favonia
Apr 22
School on Univalent Mathematics, Minneapolis (MN, USA), July 29-Aug 2, 2024
We are pleased to announce the School on Univalent Mathematics 2024 to be held at the University of
unread,
School on Univalent Mathematics, Minneapolis (MN, USA), July 29-Aug 2, 2024
We are pleased to announce the School on Univalent Mathematics 2024 to be held at the University of
Apr 22
Rasmus Møgelberg
Apr 18
Types 2024, Call for Participation
Call for Participation TYPES 2024 30th International Conference on Types for Proofs and Programs
unread,
Types 2024, Call for Participation
Call for Participation TYPES 2024 30th International Conference on Types for Proofs and Programs
Apr 18
Ansten Mørch Klev
Apr 11
Workshop on inductive definitions
Workshop on inductive definitions An inductively defined domain is a domain whose elements may be
unread,
Workshop on inductive definitions
Workshop on inductive definitions An inductively defined domain is a domain whose elements may be
Apr 11
Kristina Sojakova
Apr 4
PhD Studentship at VU Amsterdam
Dear all, Klaus von Gleissenthall and I are looking for a PhD student to develop effective and
unread,
PhD Studentship at VU Amsterdam
Dear all, Klaus von Gleissenthall and I are looking for a PhD student to develop effective and
Apr 4
Nicola Gambino
Mar 29
YaMCATS 34 - 16th April 2024 - University of Sheffield
*** Yorkshire and Midlands Category Theory Seminar *** Tuesday 16th April 2024 *** University of
unread,
YaMCATS 34 - 16th April 2024 - University of Sheffield
*** Yorkshire and Midlands Category Theory Seminar *** Tuesday 16th April 2024 *** University of
Mar 29
Ambrus Kaposi
Mar 20
Call for ITC conference grants, deadline 1 May 2024
COST Action CA20111 EuroProofNet Open call for Inclusive Target Conference Grants (ITCGs) Dear Action
unread,
Call for ITC conference grants, deadline 1 May 2024
COST Action CA20111 EuroProofNet Open call for Inclusive Target Conference Grants (ITCGs) Dear Action
Mar 20
Fredrik Nordvall Forsberg
Mar 14
Postdoc position at the University of Strathclyde
Dear colleagues, We are looking to recruit a postdoctoral researcher to work with us at the
unread,
Postdoc position at the University of Strathclyde
Dear colleagues, We are looking to recruit a postdoctoral researcher to work with us at the
Mar 14
Chuangjie Xu
Mar 12
Autumn school "Proof and Computation", Fischbachau (Germany), 15-21 Sep 2024
[Apologies for multiple postings.] Autumn school "Proof and Computation" Fischbachau,
unread,
Autumn school "Proof and Computation", Fischbachau (Germany), 15-21 Sep 2024
[Apologies for multiple postings.] Autumn school "Proof and Computation" Fischbachau,
Mar 12
Favonia
Mar 7
MSFP 2024 Call for Papers (short abstracts 26 Apr, papers 30 Apr)
Tenth Workshop on MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING Monday 8th July 2024, Tallinn,
unread,
MSFP 2024 Call for Papers (short abstracts 26 Apr, papers 30 Apr)
Tenth Workshop on MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING Monday 8th July 2024, Tallinn,
Mar 7
Rasmus Møgelberg
Mar 5
Types 2024, deadline extension
Call for Contributions -- Deadline Extension TYPES 2024 30th International Conference on Types for
unread,
Types 2024, deadline extension
Call for Contributions -- Deadline Extension TYPES 2024 30th International Conference on Types for
Mar 5
Tom de Jong
Mar 4
Midlands Graduate School (MGS): Registration closing soon
There are just a few days left now to register for this year's Midlands Graduate School (MGS) in
unread,
Midlands Graduate School (MGS): Registration closing soon
There are just a few days left now to register for this year's Midlands Graduate School (MGS) in
Mar 4
Nils Anders Danielsson
Mar 4
PhD positions at Chalmers
Chalmers University of Technology in Gothenburg, Sweden is hiring up to five PhD students: https://
unread,
PhD positions at Chalmers
Chalmers University of Technology in Gothenburg, Sweden is hiring up to five PhD students: https://
Mar 4
Ambrus Kaposi
Feb 22
Call for STSMs and ITC conference grants, deadline 17 March 2024
COST Action CA20111 EuroProofNet Open call for Short-Term Scientific Missions (STSMs) and Inclusive
unread,
Call for STSMs and ITC conference grants, deadline 17 March 2024
COST Action CA20111 EuroProofNet Open call for Short-Term Scientific Missions (STSMs) and Inclusive
Feb 22
Jonathan Weinberger
Feb 21
Call for Participation and Registration: HoTT/UF 2024
========================================================== REGISTRATION FOR Workshop on Homotopy Type
unread,
Call for Participation and Registration: HoTT/UF 2024
========================================================== REGISTRATION FOR Workshop on Homotopy Type
Feb 21
Chris Kapulkin
Feb 18
HoTT submissions to CJM and CMB
Hi y'all, I'd like to encourage those of you working on mathematical aspects of HoTT to
unread,
HoTT submissions to CJM and CMB
Hi y'all, I'd like to encourage those of you working on mathematical aspects of HoTT to
Feb 18
Nicolai Kraus
Feb 16
PhD positions in Nottingham, UK
Dear all, If you are a student currently looking for a PhD position in the field of HoTT, please see
unread,
PhD positions in Nottingham, UK
Dear all, If you are a student currently looking for a PhD position in the field of HoTT, please see
Feb 16
Fredrik Nordvall Forsberg
Feb 13
PhD position at the University of Strathclyde
****************************************************************** *** PhD Position *** A Correct-by-
unread,
PhD position at the University of Strathclyde
****************************************************************** *** PhD Position *** A Correct-by-
Feb 13
Martin Escardo
Feb 12
MGS'2024 (Midlands Graduate School)
https://www.cs.le.ac.uk/events/mgs2024/ The Midlands Graduate School (MGS) provides an intensive
unread,
MGS'2024 (Midlands Graduate School)
https://www.cs.le.ac.uk/events/mgs2024/ The Midlands Graduate School (MGS) provides an intensive
Feb 12
Sam Staton
Feb 11
Applied Category Theory (ACT) and Mathematical Foundations of Programming Semantics (MFPS) 2024: Call for papers
7th International Conference on Applied Category Theory (ACT) 40th Conference on Mathematical
unread,
Applied Category Theory (ACT) and Mathematical Foundations of Programming Semantics (MFPS) 2024: Call for papers
7th International Conference on Applied Category Theory (ACT) 40th Conference on Mathematical
Feb 11
Thorsten Altenkirch
Feb 9
PhD positions at Nottingham
We are advertising several PhD positions at Nottingham which includes the Functional Programming
unread,
PhD positions at Nottingham
We are advertising several PhD positions at Nottingham which includes the Functional Programming
Feb 9
Claudio Sacerdoti Coen
Feb 8
CfP: Logica Frameworks and Meta Languages: Theory and Practice (LFMTP24)
Logical Frameworks and Meta Languages: Theory and Practice (LFMTP24) https://lfmtp.github.io/lfmtp-
unread,
CfP: Logica Frameworks and Meta Languages: Theory and Practice (LFMTP24)
Logical Frameworks and Meta Languages: Theory and Practice (LFMTP24) https://lfmtp.github.io/lfmtp-
Feb 8
Rasmus Møgelberg
Feb 1
Types 2024 Call for Contributions
Call for Contributions TYPES 2024 30th International Conference on Types for Proofs and Programs
unread,
Types 2024 Call for Contributions
Call for Contributions TYPES 2024 30th International Conference on Types for Proofs and Programs
Feb 1
Benno van den Berg
Jan 24
CiE 2024: Final call for papers
CiE 2024: CALL FOR PAPERS Computability in Europe 2024 Twenty years of theoretical and practical
unread,
CiE 2024: Final call for papers
CiE 2024: CALL FOR PAPERS Computability in Europe 2024 Twenty years of theoretical and practical
Jan 24
Jonathan Weinberger
Jan 16
HoTT/UF 2024: Final Call for Contributions and Participation
========================================================== FINAL CALL FOR CONTRIBUTIONS AND
unread,
HoTT/UF 2024: Final Call for Contributions and Participation
========================================================== FINAL CALL FOR CONTRIBUTIONS AND
Jan 16
Dan Christensen
Jan 11
fully funded graduate positions in Math at UWO
As usual, we have openings for strong graduate applicants in all areas, and I in particular welcome
unread,
fully funded graduate positions in Math at UWO
As usual, we have openings for strong graduate applicants in all areas, and I in particular welcome
Jan 11
Nicola Gambino
Jan 8
MSCS Special Issue on Homotopy Type Theory: approaching deadline
Dear colleagues and friends, [Apologies for multiple postings] This is a kind reminder of the
unread,
MSCS Special Issue on Homotopy Type Theory: approaching deadline
Dear colleagues and friends, [Apologies for multiple postings] This is a kind reminder of the
Jan 8
Kristina Sojakova
, …
Raymond Baker
9
Jan 1
Syllepsis for syllepsis
I stumbled upon this thread a (quite bit) late, so sorry for chiming in out of the blue. But I have a
unread,
Syllepsis for syllepsis
I stumbled upon this thread a (quite bit) late, so sorry for chiming in out of the blue. But I have a
Jan 1
Sam Staton
12/22/23
LICS 2024 Second Call for Papers
SECOND CALL FOR PAPERS Thirty-Ninth Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS)
unread,
LICS 2024 Second Call for Papers
SECOND CALL FOR PAPERS Thirty-Ninth Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS)
12/22/23
Sam Staton
12/21/23
Applied Category Theory (ACT) and Mathematical Foundations of Programming Semantics (MFPS) 2024: Preliminary call for papers
7th International Conference on Applied Category Theory (ACT 2024) 40th Conference on Mathematical
unread,
Applied Category Theory (ACT) and Mathematical Foundations of Programming Semantics (MFPS) 2024: Preliminary call for papers
7th International Conference on Applied Category Theory (ACT 2024) 40th Conference on Mathematical
12/21/23