1. Formal methods and their application

2. Applications of logic in databases

3. Computational logic: theory meets practice

4. Application of logic to computer science

5. Το μάθημα της λογικής στη μέση εκπαίδευση

6. For the panel: "Logic in education"

7. Logic as a fundamental course for university studies

8. Panel discussion "Logic in education" (Position statement)

9. A language of transformation

10. Arity hierarchies for fixed-point logic

11. Expressiveness of recursive database queries

12. Program specification and verification

13. Non-collapsing assumptions about complexity classes needed for proving non-approximability results

14. The role of nonmonotonic representations in requirements engineering

15. Refining logical characterization of advice complexity classes

16. Locale theoretic methods in Logics without contraction

17. On End extensions of models of fragments of PA

18. Subsystems of Peano Arithmetic: some results and problems

19. Current trends in Model Theory and Hilbert's tenth problem

20. Laws in Finite Model Theory: an overview