- Finite and Algorithmic Model Theory (9-13 January).
- Logic and Databases (27 February - 3 March).
- Mathematics of Constraint Satisfaction: Algebra, Logic, and Graph Theory (20-24 March).
- New Directions in Proof Complexity (10-13 April).
- Constraints and Verification (8-12 May).
- Games and Verification (3-7 July).
There will be quite a number of invited speakers from University of Toronto. They include Stephen Cook, Leonid Libkin, and Toniann Pitassi.