LC 2017: LOGIC COLLOQUIUM 2017
PROGRAM FOR MONDAY, AUGUST 14TH: TALK VIEW
Days:
next day
all days

View: with abstractssession overview

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
18:30
19:00
19:30
20:00
20:30
21:00
09:00-09:15 Opening
09:15-10:15
Per Martin-Löf
14:00-14:30
Veronica Becher, Jan Reimann, Theodore Slaman
14:30-15:00
Mariya Soskova
14:30-15:00
Ashutosh Kumar
16:00-16:20
Anahit Chubaryan, Hakob Nalbandyan, Arman Karabakhtyan, Garik Petrosyan
16:20-16:40
Nikolay Bazhenov, Ekaterina Fokina, Dino Rossegger, Luca San Mauro
17:00-17:20
Michal Pelis, Pawel Lupkowski, Ondrej Majer, Mariusz Urbanski
17:00-17:20
Enrique Casanovas, Saharon Shelah
16:20-16:40
David Fernández-Duque, Paul Shafer, Henry Towsner, Keita Yokoyama
17:40-18:00
Andrés Cordón-Franco, F. Félix Lara-Martín
16:40-17:00
Kristina Liefke, Sam Sanders
16:20-16:40
John Corcoran, Hassan Masoud
17:00-17:20
Bahareh Afshari
16:00-16:20
Paweł Klimasara, Jerzy Król, Krzysztof Bielas
16:20-16:40
Francesco Parente
17:00-17:20
Federico Bobbio, Jianying Cui
16:00-16:20
Giorgio Sbardolini
16:40-17:00
Frode A. Bjørdal
17:20-17:40
John Corcoran, George Boger
17:40-18:00
Alexander Jones
19:00-21:00 City Hall reception
10:15-10:45 Coffee
12:45-14:00 Lunch
15:30-16:00 Coffee