Schedule |
|
14.07 Monday |
15.07 Tuesday |
16.07 Wednesday |
17.07 Thursday |
18.07 Friday |
19.07 Saturday |
|
|---|---|---|---|---|---|---|
|
08:00
- 09:00 |
||||||
|
LATD invited talk
D. Scott |
||||||
|
VSL opening
D. Scott VSL keynote Ch. Papadimitriou |
VSL keynote
A. Wilkie
|
|||||
|
09:00
- 10:00 |
||||||
|
M. Soskova
|
B. Miller
|
M. Reynolds
|
||||
| Contributed talks | ||||||
|
10:00
- 11:00 |
||||||
| Coffee break | Coffee break | Coffee break | Coffee break | Coffee break | Coffee break | |
|
11:00
- 12:00 |
Tutorial
K. Apt |
Tutorial
K. Apt |
Tutorial
K. Apt |
Tutorial
A. Miquel |
Tutorial
A. Miquel |
Tutorial
A. Miquel |
|
12:00
- 13:00 |
N. Greenberg
|
Karp prize talk
M. Aschenbrenner
|
P. Blanchette
|
V. Fischer
|
A. Cordón Franco
|
A. Bauer
|
|
13:00
- 14:00 |
Lunch break | Lunch break | Lunch break | Lunch break | Lunch break | Lunch break |
|
14:00
- 15:00 |
A. Visser
|
|||||
|
Excursion
|
||||||
|
15:00
- 16:00 |
K. Eisenträger
|
Karp prize talk
M. Foreman
|
||||
|
16:00
- 17:00 |
Coffee break | Coffee break | Coffee break | Coffee break | Coffee break | |
| Contributed talks | Contributed talks |
VSL award ceremony
Kurt Gödel
research prize & Floc Olympic Games |
L. Kołodziejczyk
|
|||
|
17:00
- 18:00 |
||||||
|
Gödel lecture
J. Knight
|
||||||
|
18:00
- 19:00 |
||||||
| Contributed talks | ||||||
|
19:00
- 20:00 |
Public lecture
|
Banquet
(Schönbrunn)
|
||||
|
20:00
- 21:00 |
Opening reception
(Rathaus)
|
|||||
|
21:00
- 22:00 |
Student reception
|
|||||
|
|
Joint with other events of the Vienna Summer of Logic (VSL) | |
|
|
Logic Colloquium plenary talk | |
|
|
Logic Colloquium special session | |
|
|
Logic Colloquium contributed talks |
Special sessions I
| Logic of games and rational choice | Model theory | Perspectives on induction | Recursion theory |
| J. van Benthem | P. Eleftheriou | M. Detlefsen | I. Kalimullin |
| J. Väänänen | M. Kesälä | G. Gottlob | R. Hölzl |
Special sessions II
| Logic of games and rational choice | Recursion theory | Set theory | The place of logic in computer science education |
| R. Parikh | J. Franklin | D. Mejía | |
| G. Sandu | B. Khoussainov | K. Slutsky |
Special sessions III
| Perspectives on induction | Philosophy of Mathematics | Set theory |
| G. Jäger | P. Blanchette | D. Ikegami |
| A. Bundy | G. Uzquiano | P. Lücke |
Special sessions IV
| Model theory | Philosophy of Mathematics |
| J. Königsmann | L. Incurvati |
| D. Palacín | L. Horsten |
For the location of the lecture rooms, please see the site on the conference venue.