16. CSL 2002: Edinburgh, Scotland, UK

Invited Lectures

Rewriting and Constructive Mathematics

Fixpoints and Recursion

Linear and Resource Logics


Temporal Logics and Games

Probability, Games and Fixpoints

Complexity and Proof Complexity

Ludics and Linear Logic


Resolution and Proofs

maintained by Schloss Dagstuhl LZI, founded at University of Trier