HoTT 2019 Last Call

Last call for submissions

INTERNATIONAL CONFERENCE AND SUMMER SCHOOL

ON HOMOTOPY TYPE THEORY

12-17 August 2019
Carnegie Mellon University, Pittsburgh USA

https://hott.github.io/HoTT-2019

Submission of talks and registration are open for the International
Homotopy Type Theory conference (HoTT 2019), to be held August 12-17,
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 EasyChair here:

https://easychair.org/conferences/?conf=hott2019

The submission deadline is 1 June 2019; we expect to
notify accepted submissions by 15 June.  This conference is run on the
“mathematics model”: full papers will not be submitted, submissions
will not be refereed, and submission is not a publication.  Please
email hott2019conference@gmail.com with any questions.

STUDENT PAPER AWARD

A prize of $500 (and distinguished billing in the conference program)
will be awarded to the best paper submitted by a student (or recently
graduated student). To be eligible, you must include in your
submission (or send separately to hott2019conference@gmail.com) a link
to a preprint of your paper (e.g. on arXiv or a private web space).

REGISTRATION, ACCOMODATION, AND TRAVEL

Registration for the conference and the summer school is now open at
https://hott.github.io/HoTT-2019/registration/.  A limited amount of
financial support is available for students and postdoctoral
researchers; application instructions are available at the web site,
as is information about accomodation and travel options.

INVITED SPEAKERS

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)

IMPORTANT DATES

Submission deadline: 1 June
Notification Date: 15 June
Final abstracts due: 1 July
Early Registration deadline: 1 July (reduced fee)
Late Registration deadline: 1 August (increased fee)
Conference: 12-17 August 2019

SUMMER SCHOOL

There will 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)

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

We look forward to seeing you in Pittsburgh!

This entry was posted in Meeting, Uncategorized. Bookmark the permalink.

1 Response to HoTT 2019 Last Call

  1. Steve Awodey says:

    Submissions are now open for a special issue of Mathematical Structures in Computer Science on the proceedings of the HoTT 2019 conference, edited by Dan Licata and Peter LeFanu Lumsdaine.

    Submission deadline: 15 November, 2019

    Papers on work presented at the HoTT19 conference are particularly encouraged, but the special issue is open to any work on homotopy type theory and related research areas.

    Specific topics include but are 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; and new type theories based on higher-dimensional ideas.

    To submit a paper, please follow the general MSCS submission procedure at https://www.cambridge.org/core/journals/mathematical-structures-in-computer-science . When giving the submission details, select “Homotopy Type Theory 2019” for the field “Special Issue”.

    More information at:
    https://www.cambridge.org/core/news/homotopy-type-theory
    https://www.cambridge.org/core/journals/mathematical-structures-in-computer-science
    https://hott.github.io/HoTT-2019/

    Best,
    Dan and Peter.

    Dan Licata, Wesleyan University, USA, dlicata@wesleyan.edu
    Peter LeFanu Lumsdaine Stockholm University, Sweden, p.l.lumsdaine@math.su.se

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s