22nd International Conference on Types for Proofs and Programs, TYPES 2016

Novi Sad, Serbia, 23-26 May 2016

The conference will be held at the University of Novi Sad, University Central Building, Dr Zorana Đinđića 1 (GPS 45.247485 N,  19.853974 E).

 

 

CampusMapTYPES

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

 

Satellite events

9th Workshop Computational Logic and Applications - CLA 2016

EUTYPES COST meeting, May 25 - 26