Discussion of Homotopy Type Theory and Univalent Foundations
 help / color / mirror / Atom feed
* [HoTT] CALL FOR SUBMISSIONS: International Conference on Homotopy Type Theory 2019
@ 2019-01-29 17:36 Michael Shulman
  0 siblings, 0 replies; only message in thread
From: Michael Shulman @ 2019-01-29 17:36 UTC (permalink / raw)
  To: HomotopyTypeTheory@googlegroups.com

First Call for Submissions


12-17 August 2019
Carnegie Mellon University
Pittsburgh USA



Submissions of talks are now open for the International Homotopy Type
Theory conference (HoTT 2019), to be held from August 12th to 17th,
2019, at Carnegie Mellon University in Pittsburgh, USA.  Contributions
are welcome in all areas related to homotopy type theory, including
but not limited to:

* Homotopical and higher-categorical semantics of type theory
* Synthetic homotopy theory
* Applications of univalence and higher inductive types
* Cubical type theories and cubical models
* Formalization of mathematics and computer science in homotopy type
theory / univalent foundations

Please submit 1-paragraph abstracts through the EasyChair
conference system here:


The submission deadline is 1 APRIL 2019; we expect to notify accepted
submissions by 1 May.  If you need an earlier decision for some reason
(e.g. to apply for funding), please submit your abstract by 15 MARCH
and send an email to hott2019conference@gmail.com notifying us that
you need an early decision.

This conference is run on the "mathematics model" rather than the
"computer science model": full papers will not be submitted,
submissions will not be refereed, and submission is not a publication
(although a proceedings volume might be organized afterwards).  More
information, including registration, accomodation options, and travel,
will be available as the conference approaches at the web site
https://hott.github.io/HoTT-2019/ .

Please email hott2019conference@gmail.com with any questions.


Ulrik Buchholtz (TU Darmstadt, Germany)
Dan Licata (Wesleyan University, USA)
Andrew Pitts (University of Cambridge, UK)
Emily Riehl (Johns Hopkins University, USA)
Christian Sattler (University of Gothenburg, Sweden)
Karol Szumilo (University of Leeds, UK)


Submission deadline: 1 April (or 15 March for early notification)
Registration Opens: 1 April
Regular Notification Date: 1 May
Final abstracts due: 15 June
Early Registration deadline: 1 July (reduced fee)
Late Registration deadline: 1 August (increased fee)
Conference: 12-17 August 2019


There will also be an associated Homotopy Type Theory Summer School in
the preceding week, August 7th to 10th.  The instructors and topics
will be:

Cubical methods: Anders Mortberg (Carnegie Mellon University, USA)
Formalization in Agda: Guillaume Brunerie (Stockholm University, Sweden)
Formalization in Coq: Kristina Sojakova (Cornell University, USA)
Higher topos theory: Mathieu Anel (Carnegie Mellon University, USA)
Semantics of type theory: Jonas Frey (Carnegie Mellon University, USA)
Synthetic homotopy theory: Egbert Rijke (University of Illinois, USA)

Registration for the summer school will open on April 1, 2019.


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

We look forward to seeing you in Pittsburgh!

You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an email to HomotopyTypeTheory+unsubscribe@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2019-01-29 17:36 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2019-01-29 17:36 [HoTT] CALL FOR SUBMISSIONS: International Conference on Homotopy Type Theory 2019 Michael Shulman

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).