Logic Colloquium 2012, July 12-18, Manchester. Tentative Timetable
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
There are no talks on Sunday 15