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.