22. Међународна конференција Types for Proofs and Programs - TYPES 2016,  са пратећим радионицама, биће одржана од 23. до 28. маја 2016. године на Универзитету у Новом Саду, у организацији Факултета техничких наука, Математичког института САНУ и Универзитета у Новом Саду.

TYPES конференције од 1990. године окупљају светске стручњаке из области теорије типова и примена, посебно у домену програмирања и рачунарски подржаног закључивања.

Више информација о конференцији доступно је на страници:

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