12. 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.

Tutorial

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

Concurrency

Temporal Logic & Automata

Finite Model Theory

Invited Speaker

Leszek Pacholski: Set Constraints.

Semantics & Domain Theory I

Decidability & Complexity Theory

Types and Constraints

Tutorial

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

Semantics & Domain Theory II

Unification and Higher-Order Logic