22. Међународна конференција Types for Proofs and Programs - TYPES 2016, са пратећим радионицама, одржаће се од 23. до 28. маја 2016. године на Универзитету у Новом Саду, у организацији Факултета техничких наука, Математичког института Српске академије наука и уметности и Универзитета у Новом Саду.
TYPES конференције од 1990. године окупљају светске стручњаке из области теорије типова и примена, посебно у домену програмирања и рачунарски подржаног закључивања.
Више информација о конференцији је доступно на страници http://www.types2016.uns.ac.rs
