Серија престижних међународних конференција Типови за доказе и програме (TYPES) већ дуги низ година представља место на коме се излажу нове идеје и актуелна истраживања из свих области теорије типова и њених примена, а посебно у области формализованог и рачунарски-подржаног резоновања и програмирања.  У периоду од 1990. до 2008. године TYPES конференције су представљале и годишње окупљање учесника низа од пет узастопних европских научних пројеката, а од 2009. године се одржавају као независне конференције.

Претходна издања TYPES конференција су била одржана на следећим локацијама: Antibes (1990), Edinburgh (1991), Bastad (1992), Nijmegen (1993), Bastad (1994), Torino (1995), Aussois (1996), Kloster Irsee (1998), Lökeberg (1999), Durham (2000), Berg en Dal близу Нијмеген (2002), Торино (2003), Jouy-en-Josas близу Париза (2004), Nottingham (2006), Cividale del Friuli (2007), Torino (2008), Aussois (2009), Warsaw (2010), Bergen (2011), Toulouse (2013), Paris (2014), Tallinn (2015).

Универзитет у Новом Саду и Факултет техничких наука су добили признање, част и привилегију да буду организатори овог скупа у 2016. години у периоду од 23. до 26. маја 2016. године.

На конференцији ће бити три еминентна пленарна предавача: Simona Ronchi Della Rocca (Universita di Torino, Италија), Dale Miller (INRIA и Ecole Polytechnique Paris, Француска) и Simon Gay (University of Glasgow, Велика Британија).

Сви пристигли радови су прошли најмање по три рецензије, након чега је програмски комитет  прихватио за презентацију на конференцији 46 радова од 91 аутора из 20 земаља које укљуцују 17 европских држава, Бразил, Јапан и САД.

За више информација посетите сајт конференције http://www.types2016.uns.ac.rs/