H | Thursday 12 | Friday 13 | Saturday 14 | Monday 16 | Tuesday 17 | Wednesday 18 |
---|---|---|---|---|---|---|
9.00-10.00 | Registration (opens at 8.30) |
Farah: Set Theory 2 |
Farah: Set Theory 3 |
Zilber: Model Theory 1 |
Zilber: Model Theory 2 |
Zilber: Model Theory 3 |
10.00-10.30 | Farah: Set Theory 1 |
Coffee | Shavrukov | Coffee | Coffee | Coffee |
10.30-11.00 | Blass | Shlapentokh | Sela | Jones | ||
11.00-11.30 | Coffee | Coffee | ||||
11.30-12.30 | Longo | Magidor | Macintyre | Soskova | Levin | Montalbán: Computability 3 |
12.30-14.00 | Lunch | Lunch | Lunch | Lunch | Lunch | Lunch |
14.00-15.00 | Special Sessions: - CLP - Proof Theory |
Special Sessions: - Set Theory - HTT |
Friedman | Montalbán: Computability 1 |
Montalbán: Computability 2 |
Komjath |
15.00-15.30 | Coffee | Coffee | Coffee | Buss | ||
15.30-16.00 | Coffee | Coffee | Avigad | Special Sessions: - PMCS - Model Theory |
Special Sessions: - PMCS - Model Theory |
|
16.00-16.30 | Special Sessions: - CLP - Set Theory |
Special Sessions: - Proof Theory - HTT |
||||
16.30-17.00 | Contributed Talks (BLC) |
|||||
17.00-17.30 | Contributed Talks |
Contributed Talks |
||||
17.30-18.00 | Contributed Talks |
Contributed Talks |
BLC Annual General Meeting |
|||
18.00-18.30 | ||||||
19.00 | Reception |
Tutorials and Plenaries will take place in Chemistry G.51 |
Special Sessions and Contributed Talks will take place in parallel sessions in the Alan Turing building |
CLP: Computability, Logical and Physical HTT: Homotopy Type Theory PMCS: Philosophy of Mathematics and Computer Science |