25. LICS 2010: Edinburgh, Scotland, United Kingdom

Finite Model Theory

Type theory

Tribute to Amir and Robin

Logic and Automata

Complexity of CSP

Invited Lecture

Semantics

Finite Model Theory

Finite Model Theory

Logics

Keynote Lecture

Logic and Automata

Keynote Lecture

Logics

Invited Lecture

Process Calculi

Invited Lecture

Concurrency

Coalgebras