Invited Lectures and Tutorials
1) Dines Bjorner, The logics of software specification languages.
2) William Demopoulos, Logicism: Its historical context and current prospects (tutorial).
3) Elias Koutsoupias, Algorithms for propositional satisfiability (tutorial).
4) Jean-Louis Krivine, Curry-Howard correspondence and the axiom of dependent choice.
5) Maurizio Lenzerini, Logic-based information integration (tutorial).
6) Alain Louveau, Borel and analytic equivalence relations (tutorial).
7) Pavlos Peppas, Reasoning about change: The Frame Problem.
8) Konstantinos Sagonas, Tabling for logic programming.
9) Ivan Soskov, Degree spectra and co-spectra of structures.