CFP

TYPES 2020: 26th International Conference on Types for Proofs and Programs Turin, Italy, March 2-5, 2020 |

Conference website | https://types2020.di.unito.it/ |

Submission link | https://easychair.org/conferences/?conf=types2020 |

Submission deadline | January 10, 2020 |

## Submission Guidelines

We solicit contributed talks. Selection of those will be based on extended abstracts/short papers of 2 pp (not including bibliography) using LIPIcs format.

The following paper categories are welcome:

- 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;
- formalizing mathematics using type theory.

## Committees

### Program Committee

- Stefano Berardi (Università di Torino) (co-chair)
- Ugo de’ Liguoro (Università di Torino) (chair)
- Marino Miculan (Università di Udine)
- Marc Bezem (University of Bergen)
- Gilles Dowek (INRIA – ENS Paris-Saclay)
- Takeshi Tsukada (University of Tokyo)
- José Espírito Santo (University of Minho)
- Herman Geuvers (Radboud University Nijmegen)
- Ralph Matthes (IRIT – CNRS and University of Toulouse)
- Henning Basold (Universiteit Leiden)
- Aleksy Schubert (University of Warsaw)
- Anton Setzer (University of Swansea)
- Thorsten Altenkirch (University of Nottingham)
- Silvia Ghilezan (Univerity of Novi Sad)
- Étienne Miquey INRIA, (University of Nantes)
- Elaine Pimentel (Federal University of Rio Grande do Norte)
- Tarmo Uustalu (Reykjavik University)
- Alexandre Miquel (University of Montevideo)
- Thierry Coquand (Chalmers University of Technology)

### Organizing committee

- Ugo de'Liguoro (University of Turin, chair)
- Stefano Berardi (University of Turin)

## Contact

All questions about submissions should be emailed to: ugo.deliguoro@unito.it