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).

The workshop is part of the project
Technical and Social Challenges related to Collaborative E-Learning in Central and South Eastern European Countries
funded by ASO


Automated Reasoning GrOup
Faculty of Mathematics
University of Belgrade


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


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

E-learning track



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

Tue, Jan 29 Wed, Jan 30 Thu, Jan 31 Fri, Feb 01
e-Learning track

ARGO group presentation

Filip Maric:Invited talk

Multimedia Technology for Mathematics and Computer Science Education - Project Presentation  
12:00-14:00 Lunch break Lunch break Lunch break
14:00-15:00   W.Neuper: Invited talk
Isabelle track
09:00-09:30 registration

ARGO group presentation

Filip Maric:Invited talk

 lab session  lab session
09:30-10:00 tutorial
10:00-10:15 break discussion of lab session break
10:15-10:30 tutorial M.Wenzel: Invited talk
10:30-10:45  lab session break
10:45-11:15 tutorial
11:15-11:30 tutorial break
11:30-11:45 feedback
11:45-12:00 break
12:00-12:15  lab session Lunch break
12:15-12:30 Lunch break Lunch break
12:30-14:00 Lunch break
14:00-14:30 C.Ballarin: Plenary talk W.Neuper: Invited talk
14:30-15:00  lab session
15:00-15:15 break  
15:15-15:30 tutorial tutorial
15:30-15:45 break
15:45-16:45 tutorial
16:45-17:00 break break
17:00-17:15  lab session  lab session
Evening - tentative Walk around Belgrade and Kalemegdan fortress Opera performance at the National theatre Wokshop dinner


The Times' hints on spending time in Belgrade

Recommended hotels:

Other Hotels in Belgrade

Map of Belgrade

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

Photo album

Sanja Kosanovic, Predrag Janicic - Opening

Clemens Ballarin

Walther Neuper

Makarius Wenzel

Makarius Wenzel, Filip Maric, Vesna Pavlovic, Sana Stojanovic

Coffee break

Srdjan Vukmirovic

Samra Mujacic

Djordje Kadijevic

Silvia Ghilezan

Workshop dinner

Workshop dinner