22. LICS 2007: Wroclaw, Poland

Type Theory

Computational Proof Theory

Security

Timed and Stochastic Systems

Verification

Constraints

Proof Complexity

Finite Model Theory

Concurrency and Process Calculi

Semantics of Programming Languages

Game Semantics

Linear Logic

Topology and Computable Mathematics