VSL 2014: VIENNA SUMMER OF LOGIC 2014
ISABELLE 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
08:45-10:15
Tobias Nipkow
08:45-09:15
Jeremy Avigad, Johannes Hölzl, Luke Serafin
09:15-09:45
Lorenz Panny, Jasmin Christian Blanchette, Dmitriy Traytel
09:45-10:15
Lars Noschinski, Christoph Traut
10:45-12:45
Tobias Nipkow
10:45-10:55
Andrei Popescu, Peter Lammich
10:55-11:20
Peter Lammich
11:20-11:45
Ondřej Kunčar, Andrei Popescu
11:45-12:15
Florian Haftmann, Andreas Lochbihler, Wolfgang Schreiner
12:15-12:45
Makarius Wenzel
14:30-15:00
Lawrence Paulson
15:00-15:30
Makarius Wenzel
15:30-16:00
Andreas Lochbihler, Marc Züst
16:30-17:00
Blasum et.al
17:00-17:20
Christine Rizkallah
17:20-17:40
Lars Noschinski
17:40-18:00
Tobias Nipkow
10:15-10:45 Coffee Break
13:00-14:30 Lunch Break
16:00-16:30 Coffee Break