VSL 2014: VIENNA SUMMER OF LOGIC 2014
POS ON SUNDAY, JULY 13TH, 2014: TALK VIEW

View: with abstractssession overviewside by side with other conferences

9:00
9:30
10:00
10:30
11:00
11:30
12:00
12:30
13:00
13:30
14:00
14:30
15:00
15:30
16:00
16:30
17:00
17:30
18:00
09:00-09:15 Opening
09:15-09:45
Gilles Audemard, Benoît Hoessen, Saïd Jabbour, Cédric Piette
09:45-10:15
Marijn Heule, Norbert Manthey, Tobias Philipp
10:45-11:15
Laurent Simon
11:15-11:45
Zoltan Mann, Pal Papp
11:45-12:15
Norbert Manthey, Enrique Alfonso
12:15-12:45
Zoltan Mann
14:30-15:30
Armin Biere
15:30-16:00
Norbert Manthey, Peter Steinke, Steffen Hölldobler, Tobias Philipp
16:30-17:00
Andreas Fröhlich, Gergely Kovásznai, Armin Biere, Helmut Veith
17:00-17:30
Mirko Stojadinovic, Filip Maric
17:30-18:00
T. Soh, D. Le Berre, S. Roussel, M. Banbara, N. Tamura
10:15-10:45 Coffee Break
13:00-14:30 Lunch Break
16:00-16:30 Coffee Break