Serija prestižnih međunarodnih konferencija Tipovi za dokaze i programe (TYPES) već dugi niz godina predstavlja mesto na kome se izlažu nove ideje i aktuelna istraživanja iz svih oblasti teorije tipova i njenih primena, a posebno u oblasti formalizovanog i računarski-podržanog rezonovanja i programiranja.  U periodu od 1990. do 2008. godine TYPES konferencije su predstavljale i godišnje okupljanje učesnika niza od pet uzastopnih evropskih naučnih projekata, a od 2009. godine se održavaju kao nezavisne konferencije.

Prethodna izdanja TYPES konferencija su bila održana na sledećim lokacijama: 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 blizu Nijmegen (2002), Torino (2003), Jouy-en-Josas blizu Pariza (2004), Nottingham (2006), Cividale del Friuli (2007), Torino (2008), Aussois (2009), Warsaw (2010), Bergen (2011), Toulouse (2013), Paris (2014), Tallinn (2015).

Univerzitet u Novom Sadu i Fakultet tehničkih nauka su dobili priznanje, čast i privilegiju da budu organizatori ovog skupa u 2016. godini u periodu od 23. do 26. maja 2016. godine.

Na konferenciji će biti tri eminentna plenarna predavača: Simona Ronchi Della Rocca (Universita di Torino, Italija), Dale Miller (INRIA i Ecole Polytechnique Paris, Francuska) i Simon Gay (University of Glasgow, Velika Britanija).

Svi pristigli radovi su prošli najmanje po tri recenzije, nakon čega je programski komitet  prihvatio za prezentaciju na konferenciji 46 radova od 91 autora iz 20 zemalja koje ukljucuju 17 evropskih država, Brazil, Japan i SAD.

Za više informacija posetite sajt konferencije http://www.types2016.uns.ac.rs/