22. Međunarodna konferencija Types for Proofs and Programs - TYPES 2016,  sa pratećim radionicama, biće održana od 23. do 28. maja 2016. godine na Univerzitetu u Novom Sadu, u organizaciji Fakulteta tehničkih nauka, Matematičkog instituta SANU i Univerziteta u Novom Sadu.

TYPES konferencije od 1990. godine okupljaju svetske stručnjake iz oblasti teorije tipova i primena, posebno u domenu programiranja i računarski podržanog zaključivanja.

Više informacija o konferenciji dostupno je na stranici:

http://www.types2016.uns.ac.rs