TYPES 2027, the 33rd International Conference on Types for Proofs and Programs, will be held in Udine, Italy, from 7 to 11 June 2027, hosted by the University of Udine.
The TYPES meetings are a forum to present new and ongoing work in all aspects of type theory and its applications, especially in formalised and computer assisted reasoning and computer programming. The meetings from 1990 to 2008 were annual workshops of a sequence of five EU-funded networking projects. Since 2009, TYPES has been run as an independent conference series. Participation is open to everybody working on or interested in type theory, whether or not they present a contribution.
Call for contributions How to submit
Important dates
| Event | Date |
|---|---|
| Abstract submission deadline | |
| Author notification | |
| Early registration deadline | |
| Camera-ready version deadline | |
| Late registration deadline | |
| TYPES 2027 conference |
All deadlines are anywhere on Earth (AoE).
At a glance
-
Format
Five days of contributed talks and invited lectures, with ample time for discussion. Contributions are selected on the basis of a two-page abstract.
-
Post-proceedings
As in previous editions, we intend to publish post-proceedings in the Leibniz International Proceedings in Informatics (LIPIcs) series. to be confirmed
-
Where
Udine, in Friuli-Venezia Giulia, north-east Italy — a compact city between the Alps and the Adriatic, an hour from Trieste and ninety minutes from Venice. Practical information
Topics
Presentations are welcome on all topics related to type theory and its applications, including but not limited to:
- foundations of type theory and constructive mathematics;
- 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;
- formalising mathematics using type theory;
- homotopy type theory and univalent foundations.
Stay informed
Announcements are circulated on the usual community mailing lists and will be collected on this website. For any question, write to types2027@uniud.it.
Sponsors
to be announced
Organisations wishing to support TYPES 2027 are welcome to get in touch.