Fifth Workshop on Formal and Automated Theorem Proving and Applications
February 3-4, 2012, Belgrade, Serbia
Workshop Participants
Opening: Predrag Janicic
Session SAT and SMT - chair Filip Maric
Oliver Kullmann
Philipp Rummer
Mladen Nikolic
Milan Bankovic
Aleksandar Zeljic
Workshop Participants
Lunch, Feb 3, at Teatroteka
Session Formal Theorem Proving - chair Predrag Janicic
Hugo Herbelin
Petar Maksimovic
Marko Malikovic
Filip Maric
Working session, Feb 03
Working session, Feb 03
Working session, Feb 03
Dinner, Feb 3, at Klub knjizevnika
Dinner, Feb 3, at Klub knjizevnika
Session Geometry Reasoning - chair Filip Maric
Julien Narboux
Pascal Schreck
Predrag Janicic
Sana Stojanovic
Ivan Petrovic
Lunch, Feb 4, at Teatroteka
Lunch, Feb 4, at Teatroteka
Session Application of Theorem Proving - chair Predrag Janicic
Walther Neuper
Milena Vujosevic-Janicic
Mladen Nikolic
Mirko Stojadinovic
Dinner, Feb 4, at Little Bay
Dinner, Feb 4, at Little Bay
