Homotopy Type Theory 2019
source link: https://hott.github.io/HoTT-2019/
Go to the source link to view the article. You can view the picture content, updated content and better typesetting reading experience. If the link is broken, please click the button below to view the snapshot at that time.
Homotopy Type Theory 2019
The International Conference on Homotopy Type Theory (HoTT 2019) will take place
Monday August 12 to Saturday August 17 (noon)
at Carnegie Mellon University in Pittsburgh, USA.
The associated Homotopy Type Theory Summer School will take place in the preceding week,
Wednesday August 7 to Saturday August 10.
Invited Conference Speakers
There will also be a special Vladimir Voevodsky Memorial Lecture given by
- André Joyal (Université du Québec à Montréal, Canada) – Problems and conjectures on polynomial functors and monads in ∞-toposes
Scientific Committee
- Steve Awodey (Carnegie Mellon University, USA)
- Andrej Bauer (University of Ljubljana, Slovenia)
- Thierry Coquand (University of Gothenburg, Sweden)
- Nicola Gambino (University of Leeds, UK)
- Peter LeFanu Lumsdaine (Stockholm University, Sweden)
- Michael Shulman (University of San Diego, USA), chair
Proceedings
A proceedings volume will be published as a special issue of Mathematical Structures in Computer Science, edited by Dan Licata and Peter LeFanu Lumsdaine. The special issue invites all work on homotopy type theory and related research areas, and is open to work not presented at the conference as well as papers related to talks that were given.
To submit your paper, please follow the general submission procedure for MSCS through ManuscriptCentral. On the page labeled “Step 1: Type, Title, & Abstract” there is a field for “Special Issue”. Please select “Homotopy Type Theory 2019” from the list.
The submission deadline is November 15, 2019.
Local Committee
Sponsors
We also acknowledge generous support from Ilyas Khan.
Poster
Click the image for a full-size jpg file of the conference poster for printing.
Contact: [email protected].
Recommend
-
25
15-819 Homotopy Type Theory Course Information Time: Mon-Wed 10:30-11:50 Room: 4303 GHC Instructor: Robert Har...
-
14
Homotopy Type Theory Erik Palmgren Memorial Conference
-
15
Real-cohesive homotopy type theory Two new papers have recently appeared online: Both of them have fairly chatty introductions, so...
-
11
Homotopy Type Theory should eat itself (but so far, it’s too big to swallow) The title of this post is an homage to a well-known...
-
11
[Submitted on 18 Jan 2012 (v1), last revised 2 May 2012 (this version, v2)] Inductive types in homotopy type theory
-
6
Homotopy Type Theory in Agda This repository contains a development of homotopy type theory and univalent foundations in Agda. The structure of the source code is described below. Setup The code is loosely broken int...
-
10
Erik Palmgren Memorial Conference
-
13
Last call for submissions INTERNATIONAL CONFERENCE AND SUMMER SCHOOL ON HOMOTOPY TYPE THEORY 12-17 August 2019 Carnegie Mellon University, Pittsburgh USA htt...
-
12
Exercise 6.9 of the HoTT book tells us that, and assuming LEM, we can exhibit a function
-
14
The Lean Theorem Prover Lean is a new player in the field of proof assistants for Homotopy Type Theory. It is being developed b...
About Joyk
Aggregate valuable and interesting links.
Joyk means Joy of geeK