22nd LICS 2007: Wroclaw, Poland

Refine list

showing all ?? records

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