Barcelona, Catalonia. July 11-16

Schedule


11.07
Monday
12.07
Tuesday
13.07
Wednesday
14.07
Thursday
15.07
Friday
16.07
Saturday
09:30-10:00   Tutorial 1
Martin Ziegler
Tutorial 1
Martin Ziegler
Tutorial 1
Martin Ziegler
Gödel lecture
Anand Pillay
Tutorial 2
Georges Gonthier
10:00-10:30 Opening
10:30-11:00 Plenary 1
Steve Awodey
Coffee break Coffee break Coffee break Coffee break Coffee break
11:00-11:30 Plenary 5
Todd Eisworth
Plenary 7
Henri Lombardi
Tutorial 2
Georges Gonthier
Tutorial 2
Georges Gonthier
Plenary 12
Andrzej Roslanowski
11:30-12:00 Coffee break
12:00-12:15 Break Break Guided Tours in Barcelona Break Break
12:15-13:15 Plenary 2
George Barmpalias
Plenary 6
Sergey Goncharov
Plenary 8
Jordi López-Abad
Plenary 9
Kenneth Manders
Plenary 13
Yde Venema
13:15-14:30 Lunch break Lunch break Lunch break Lunch break Lunch break
14:30-15:30 Plenary 3
Lev D. Beklemishev
Special Sessions
A1 Set Theory
B1 Foundations
Special Sessions
A2 Set Theory
E1 Computability
Plenary 10
Martin Otto
Contributed 5
15:30-15:45 Break Break Break
15:45-16:00 Plenary 4
Raf Cluckers
Plenary 11
Jan Reimann
Contributed 6
16:00-16:15 Break Break
16:15-16:45 Special Sessions
C1 Model Theory
D1 Proof Theory
Special Sessions
C2 Model Theory
D2 Proof Theory
16:45-17:00 Break Break  
17:00-17:15 Special Sessions
B2 Foundations
E2 Computability
17:15-17:45 Contributed 1
17:45-18:00 Break  
18:00-18:15 Contributed 3
18:15-18:30 Break
18:30-18:45 Contributed 2 Break
18:45-19:00 Contributed 4
19:00-19:30  
19:30-19:45  
19:45-20:00  
20:00-20:30 Cocktail Dinner
20:30-23:00     ASL Council
Business Meeting