31st LICS 2016: New York, NY, USA

Invited Presentations

Probabilistic Models of Computation

Decidability

Proof Theory

Model Checking

Automata Theory

Games and Logic

Model Theory

Induction/Coinduction

Semantics

Monadic Second-Order Logic

Linear Logic

Reachability

Hybrid Systems

Category Theory

Type Theory

Constraint Solving

Kleene Award

Probabilistic Models of Computation

Algebraic Methods

Logics of Programs

Decidability

Complexity

Automata Theory

a service of Schloss Dagstuhl - Leibniz Center for Informatics