16. CSL 2002: Edinburgh, Scotland, UK

Invited Lectures

Rewriting and Constructive Mathematics

Fixpoints and Recursion

Linear and Resource Logics

Semantics

Temporal Logics and Games

Probability, Games and Fixpoints

Complexity and Proof Complexity

Ludics and Linear Logic

Lambda-Calculi

Resolution and Proofs