Fourth Workshop on Formal and Automated Theorem Proving and Applications
February 04-05, 2011, Belgrade, Serbia
Workshop Participants
Session Theoretical Computer Science - chair Silvia Ghilezan
Oded Maler
Hugo Herbelin
Dejan Nickovic
Bojan Marinkovic
Session Formal Theorem Proving and Applications - chair Dejan Nickovic
Marko Malikovic
Petar Maksimovic
Walther Neuper
Filip Maric
Working session
Dinner, Feb 04. at Teatroteka
Dinner, Feb 04. at Teatroteka
Dinner, Feb 04. at Teatroteka
Session Automated Theorem Proving and Applications - chair Filip Maric
Oliver Kullmann
Tihomir Gvero
Milan Bankovic
Milena Vujosevic-Janicic
Mladen Nikolic
Stevan Kordic
Marija Acimovic
Working session
Lunch, Feb 05. at Ljubic
Session Early Stage Work - chair Predrag Janicic
Vesna Pavlovic
Danijela Petrovic
Ivan Petrovic
Mirko Stojadinovic
Mirko Spasic
Aleksandar Zeljic
Guided tour through the city centre, Feb 05.
Guided tour through the city centre, Feb 05.
Guided tour through the city centre, Feb 05.
Dinner, Feb 05. at Zlatni bokal, Skadarlija
Dinner, Feb 05. at Zlatni bokal, Skadarlija
Dinner, Feb 05. at Zlatni bokal, Skadarlija
