12th LICS 1997: Warsaw, Poland

Invited Speaker

Luca Cardelli: A Theory of Objects.

Rewriting & Deduction

Linear Logic & Game Semantics

Model Checking

Invited Speaker

Anita Feferman: The Saga of Alfred Tarski: From Warszawa to Berkeley.


David A. McAllester: Methods of Automated Complexity for Inference Rules.


Temporal Logic & Automata

Finite Model Theory

Invited Speaker

Leszek Pacholski: Set Constraints.

Semantics & Domain Theory I

Decidability & Complexity Theory

Types and Constraints


Hubert Comon: Applications of Tree Automata in Rewriting and Lambda Calculus.

Semantics & Domain Theory II

Unification and Higher-Order Logic

maintained by Schloss Dagstuhl LZI, founded at University of Trier