Groups
Sign in
Groups
Homotopy Type Theory
Conversations
About
Send feedback
Help
Homotopy Type Theory
Contact owners and managers
1–30 of 1120
Discussion of Homotopy Type Theory and Univalent Foundations
Mark all as read
Report group
0 selected
Favonia
Jul 1
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
Jul 1
Steve Awodey
Jul 1
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
Jul 1
admin
Jun 25
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
Jun 25
Nicola Gambino
Jun 17
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
Jun 17
Chuangjie Xu
2
May 27
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
May 27
Nicola Gambino
May 20
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
May 20
Favonia
May 12
MSFP 2024 deadline extension: Tuesday 28th May
We extended the submission deadline to Tuesday 28th May in case you missed it. :-) Jeremy and Favonia
unread,
MSFP 2024 deadline extension: Tuesday 28th May
We extended the submission deadline to Tuesday 28th May in case you missed it. :-) Jeremy and Favonia
May 12
Rasmus Møgelberg
May 7
Types 2024, second call for participation
Call for Participation TYPES 2024 30th International Conference on Types for Proofs and Programs
unread,
Types 2024, second call for participation
Call for Participation TYPES 2024 30th International Conference on Types for Proofs and Programs
May 7
Claudio Sacerdoti Coen
Apr 29
Deadline Extension: Logical Frameworks and Meta Languages: Theory and Practice (LFMTP24)
Notice: due to multiple requests, the deadlines for LFMTP24 have been extended as follow: * abstract
unread,
Deadline Extension: Logical Frameworks and Meta Languages: Theory and Practice (LFMTP24)
Notice: due to multiple requests, the deadlines for LFMTP24 have been extended as follow: * abstract
Apr 29
Favonia
Apr 26
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
Apr 26
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
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