E-mail: This email address is being protected from spambots. You need JavaScript enabled to view it.
Sidebar
Login Form
22nd International Conference on Types for Proofs and Programs, TYPES 2016
Novi Sad, Serbia, 23-26 May 2016
Important Dates
- submission of title + abstract:
29 February 2016
- notification of acceptance:
4 April 2016
- camera-ready version of abstracts:
11 April 2016
Invited speakers
- Simona Ronchi Della Rocca
(Università di Torino) - Dale Miller
(INRIA Sacalay & LIX - École polytechnique) - Simon Gay
(University of Glasgow)