Logic: from foundations to applications: European logic colloquium

1. The method of hypersequents in the proof theory of propositional non-classical logic 2. Church-Rosser lambda theories, infinite lambda-terms and consistency problems 3. Baire category for monotone sets 4. Equality in substructural logics 5. Substructural predicates 6. Critical points in an algebra of elementary embeddings II 7. O-minimality nd tame topology 8. Embeddings of Heyting algebras 9. Embedding normal forms 10. Analysing proofs in analysis 11. Subalgebras of Cohen Algebras need not be Cohen 12. Independence structures in set theory 13. Recovering the action of an automorphism group 14. On the logical strength of Nash-Williams' theorem on transfinite sequences 15. Open questions around Buchi and Presburger arithmetics 16. A growth dichotomy for O-minimal expansions of ordered fields 17. Lukasiewicz normal forms and toric desingularizations 18. Fine hierarchy and definability in the Lindenbaum algebra 19. From logic problems to inductive definitions 20. Hyperstable theories 21. Quasi-Riemann Surfaces