---

Organisation Registration Invited lectures Participants Programme Useful links Photo album

---

Workshop on Formal Theorem Proving and Applications 2008

The workshop will address a range of issues related to formal theorem proving, with an emphasis on e-learning. The workshop will consists of a series of talks and panel discussions. It will have two tracks: one about e-learning and one about Isabelle theorem proving system. The tutorial on Isabelle will be given by Clemens Ballarin (TU Innsbruck).

Host

Automated Reasoning GrOup
Faculty of Mathematics
University of Belgrade

Organization:

Walther Neuper (TU Graz)

Predrag Janicic (Univ. of Belgrade)

Local organization:

Filip Maric, University of Belgrade

Milena Vujosevic-Janicic, University of Belgrade

Mladen Nikolic, University of Belgrade

Sana Stojanovic, University of Belgrade

Vesna Pavlovic, University of Belgrade

Registration

If you are interested in participating the workshop, fill-in the registration form and send it to Predrag Janicic. The number of participants is limited.

Registration fee: There is no registration fee but all accommodation expenses, food expenses, and social events are covered by the participants themselves.

Invited lectures

Isabelle track

• Clemens Ballarin (Univ. Innsbruck): Formal Theorem Proving (Tue, Jan 29, 14:00, room 718)

  Abstract: The talk is an introduction to interactive theorem proving, in particular the prover Isabelle (http://isabelle.in.tum.de), and to  our current research in this area.  Topics are the basic design principles of interactive provers, their notions of proof, and their application to the verification of systems, in particular symbolic computation systems.

• Makarius Wenzel (TU Munich): Aspects of locality in Isabelle ---  local proofs, local theories, and local everything (Fri, Feb 01, 10:15, room 718) (slides)
• Walther Neuper (TU Graz): Isabelle for educational tools (Thu, Jan 31, 14:00, room 718)
• Filip Maric (University of Belgrade): Formal Verification of SAT Solvers (Wed, Jan 30, 09:15, room 718)

E-learning track

• Srdjan Vukmirovic (University of Belgrade): Multimedia Technology for Mathematics and Computer Science Education - Project Presentation (Thu, Jan 31, 09:00, room VB) (slides)

Participants

• Angelina Ilic Stepic, University of Belgrade
• Bojan Marinkovic, Mathematical institute, Belgrade
  
• Clemens Ballarin, TU Innsbruck
  
• Djordje Kadijevic, Megatrend University, Belgrade
  
• Dusan Pagon, University of Maribor
  
• Enes Duvnjakovic, University of Tuzla
• Filip Maric, University of Belgrade
• Jelena Ivetic, University of Novi Sad
• Makarius Wenzel, TU Munich
• Matijaz Kovse, University of Maribor
  
• Milena Vujosevic-Janicic, University of Belgrade
• Miodrag Zivkovic, University of Belgrade
• Mladen Nikolic, University of Belgrade
• Natasa Djurdjevac, University of Belgrade
• Neda Bokan, University of Belgrade
• Nermin Okicic, University of Tuzla
  
• Petar Maksimovic, Mathematical institute, Belgrade
  
• Predrag Janicic, University of Belgrade
• Samra Mujacic, University of Tuzla
  
• Sana Stojanovic, University of Belgrade
• Silvia Ghilezan, University of Novi Sad
• Srdjan Vukmirovic, University of Belgrade
• Svetlana Jaksic, University of Novi Sad
  
• Vesna Pavlovic, University of Belgrade
• Walther Neuper, TU Graz
  

Programme

More detailed programme for the e-learning track can be found here.

Links

The Times' hints on spending time in Belgrade

Recommended hotels:

• Hotel Royal - Kralja Petra 56, fax no. (+381) 11 263 42 22 or (+381) 11 262 64 59. Three star hotel, located in the immediate vicinity of the workshop site (Faculty of Mathematics), Kalemegdan and Knez Mihailova Street (pedestrian zone). Prices (current): 2587 RSD ~ 32 EUR per night per single room; 3307 din ~ 42 EUR per night per double room for one person; 3575 din per night per double room for two persons)
• Hotel Palace - Toplicin venac 23 , tel. (+381) 11 263 72 22, fax. (+381) 11 184 458
  Four stars hotel, located in the walking distance of the workshop site (Faculty of Mathematics), Kalemegdan and Knez Mihailova Street (pedestrian zone)
• Hotel Majestic  - Obilicev venac 28. Four stars hotel, located in the walking distance of the workshop site (Faculty of Mathematics), Kalemegdan and Knez Mihailova Street (pedestrian zone) . Prices (current): 70 EUR per night per single room; 131 EUR per night per double room

Other Hotels in Belgrade

Map of Belgrade

The map with the Faculty of Mathematics and the recommended hotels shown:

Photo album