19. CSL 2005: Oxford, UK

Invited Lectures

Semantics and Logics

Type Theory and Lambda Calculus

Linear Logic and Ludics


Finite Models, Decidability and Complexity

Verification and Model Checking

Constructive Reasoning and Computational Mathematics

Implicit Computational Complexity and Rewriting


maintained by Schloss Dagstuhl LZI, founded at University of Trier