21. CSL 2007: Lausanne, Switzerland

Invited Lectures

Logic and Games

Expressiveness

Games and Trees

Logic and Deduction

Lambda Calculus 1

Lambda Calculus 2

Finite Model Theory

Linear Logic

Proof Theory

Game Semantics