TYPES 2021: TYPES 2021 (27th International Conference on Types for Proofs and Programs) Leiden University - LIACS Leiden, Netherlands, June 14-19, 2021 |
Conference website | https://types21.liacs.nl/ |
Submission link | https://easychair.org/conferences/?conf=types2021 |
Submission deadline | April 16, 2021 |
The TYPES meetings are a forum to present new and on-going work in all aspects of type theory and its applications, especially in formalized and computer assisted reasoning and computer programming.
Submission Guidelines
TYPES solicits contributed talks to stimulate discussions. The contributed talks are selected on the base of extended abstracts/short papers of 2 pages (excluding bibliography) formatted with the LaTeX EasyChair3.5 style. An abstract can be based on existing, submitted or novel work, and is not in conflict with any other forms of publication.
Upon submission, authors have to select the category of their contribution: presentation-only talks and talks with the intent to contribute to the post-proceedings. Presentation-only talks will consist of a 5 minutes recorded video that is shown during the conference in combination with 5 minutes live discussion. The purpose of recording the talk beforehand is to avoid technical issues. Talks with the intent for post-proceedings submission get a slot for a 10 minutes live talk plus 5 minutes discussion during the conference. The idea is that in this case, an interactive discussion with more in-depth feedback will help to submit to the post-proceedings.
Note that the selection at this stage only expresses an intent to submit to the post-proceedings, and that you are neither obliged to submit your work nor are you excluded from the submission to the post-proceedings should you not submit an intent at this stage. The idea is only to help you with more feedback during the conference. Please be, however, fair in selecting this category because the time in a virtual conference is very limited and should be given to those authors who really need it.
List of Topics
The TYPES areas of interest include, but are not limited to:
- Foundations of type theory and constructive mathematics;
- Homotopy type theory;
- Applications of type theory;
- Dependently typed programming;
- Industrial uses of type theory technology;
- Meta-theoretic studies of type systems;
- Proof assistants and proof technology;
- Automation in computer-assisted reasoning;
- Links between type theory and functional programming;
- Formalizing mathematics using type theory;
- Type theory in linguistics.
We encourage talks proposing new ways of applying type theory. In the spirit of workshops, talks may be based on newly published papers, work submitted for publication, but also work in progress.
Committees
Program Committee
- Henning Basold (LIACS — Leiden University) (chair)
- Stefano Berardi (Università di Torino)
- Marc Bezem (University of Bergen)
- Frédéric Blanqui (INRIA — ENS Paris-Saclay)
- Sandrine Blazy (INRIA — University of Rennes)
- Ana Bove (Chalmers / U. of Gothenburg)
- Paolo Caprotti (TU Darmstadt)
- Jesper Cockx (TU Delft)
- José Espírito Santo (University of Minho)
- Herman Geuvers (Radboud University Nijmegen)
- Silvia Ghilezan (University of Novi Sad)
- Nicolai Kraus (U. of Nottingham)
- Sergueï Lenglet (Univ. de Lorraine)
- Assia Mahboubi (INRIA — Nantes and VU Amsterdam)
- Ralph Matthes (IRIT — CNRS and University of Toulouse)
- Keiko Nakata (Kyoto University)
- Fredrik Nordvall Forsberg (University of Strathclyde)
- Jorge A. Pérez (University of Groningen)
- Gabriel Scherer (INRIA Saclay)
- Aleksy Schubert (University of Warsaw)
- Niccolò Veltri (Tallin UT)
- Stephanie Weirich (U. of Pennsylvania)
Organizing committee
- Henning Basold (LIACS — Leiden University)
Venue
This year’s TYPES will be held virtually (online), possibly in combination with a physical meeting in Leiden in the Netherlands if the political situation permits that. That the conference is held virtually constraints the time of talks, and complicates exchange and collaboration. TYPES 2021 will therefore not only consist of presentations, but also a setup of working groups that get together throughout the week. Every day will be split into a session of talks and tutorials, and a collaboration session during which the working groups will get together. The hope is that we can retain at least some of the exchange and chatter that is the heart of the TYPES conference series.
Contact
All contact information can be found on the website.