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

maintained by Schloss Dagstuhl LZI at University of Trier