[TYPES/announce] TYPES 23 - Call for Participation

[Eduardo Hermo Reyes]

CALL FOR PARTICIPATION

29th International Conference on Types for Proofs and Programs, TYPES 2023

12-17th June 2023, ETSInf, Universitat Politècnica de València, Spain

https://urldefense.com/v3/__https://types2023.webs.upv.es/__;!!IBzWLUs!QoV4DvLiS_9dyQ5O3iqgjDSgU3_1fZ1YBjXGFpyR9QQc9JkNTftM6vd3QRIOXyWI-Ee2WbQtP0QQlglb4LX2yh2bN4PBLZVqK2-Z$ 

Early registration deadline: **May, 21st 2023**
Registration: https://urldefense.com/v3/__https://types2023.webs.upv.es/Registration.html__;!!IBzWLUs!QoV4DvLiS_9dyQ5O3iqgjDSgU3_1fZ1YBjXGFpyR9QQc9JkNTftM6vd3QRIOXyWI-Ee2WbQtP0QQlglb4LX2yh2bN4PBLWYxQJB6$ 

INVITED SPEAKERS

Simona Ronchi della Rocca - Università di Torino
Marie Kerjean - CNRS
Andrej Bauer - University of Ljubljana
Yannick Foster - INRIA Nantes

PROGRAMME & ACCEPTED PAPERS

https://urldefense.com/v3/__https://types2023.webs.upv.es/Programme.html__;!!IBzWLUs!QoV4DvLiS_9dyQ5O3iqgjDSgU3_1fZ1YBjXGFpyR9QQc9JkNTftM6vd3QRIOXyWI-Ee2WbQtP0QQlglb4LX2yh2bN4PBLSooJP7t$ 

REGISTRATION FEES

To facilitate their attendance, TYPES'23 offers a reduced rate for
students, available in the registration form. In addition, all
registrations performed before May, 21st will be offered a discount.

BACKGROUND

The TYPES meetings are a forum to present new and on-going work in all
aspects of type theory and its applications, especially in formalised
and computer assisted reasoning and computer programming.

The TYPES areas of interest include, but are 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;
* formalizing mathematics using type theory.

CONTACT

Email: types2023 AT upv.es

ORGANIZERS

Alicia Villanueva (VRAIN-UPV, Spain)
Mireia González Bedmar (Formal Vindications, Spain)