08:30→09:00 Registration
09:00→09:10 Welcome
Speaker: Zbigniew Jędrzejewski-Szmek
09:10→10:30 Lecture (Part I)
10:30→11:00 Tea Break
11:00→13:00 Exercises (Part I)
13:00→14:00 Lunch Break
14:00→15:30 Lecture (Part II)
15:30→16:00 Tea Break
16:00→19:00 Exercises (Part II)
08:30→09:00 Registration
09:00→09:10 Welcome
Speakers: Valentin Haenel, Rike-Benjamin Schuppner
09:10→10:15 Lecture (Part I.I)
10:15→10:30 Tea Break
10:30→11:30 Lecture (Part I.II)
11:30→11:45 Tea Break
11:45→13:00 Exercises (Part I)
13:00→14:00 Lunch Break
Speaker: Niko Wilbert
14:00→15:30 Lecture (Part II)
15:30→16:00 Tea Break
16:00→19:00 Exercises (Part II)
19:00→??:?? Opening party
Speaker: Bartosz Teleńczuk
09:00→10:30 Lecture (Part I)
10:30→11:00 Tea Break
11:00→13:00 Exercises (Part I)
13:00→14:00 Lunch Break
14:00→14:20 Programming project introduction
14:20→19:00 Programming project
Speaker: Eilif Muller
09:00→10:30 Lecture I
10:30→10:45 Tea Break
Speaker: Francesc Alted
10:45→12:15 Lecture II
12:15→12:30 Tea Break
12:30→14:00 Exercises (facultative: lecture I or II)
14:00→15:00 Lunch Break
15:00→16:30 Programming project
16:30→17:00 Tea Break
17:00→??:?? Programming project
Speaker: Tiziano Zito
09:00→09:15 Lecture
09:15→??:?? Programming Project
Lunch Break
17:00 SVN Freeze!
17:00→17:30 Agents' presentation
17:30→18:30 PacMan tournament
18:30→19:00 Prize giving!
19:00→??:?? Closing Party: Pizza & Beer for everyone!