26. LICS 2011: Toronto, Ontario, Canada

Tutorials

Invited Talk

Logic and Automata I

Semantics I

Probabilistic Computation

Invited Talk

Type Theory

Complexity

Proof Theory and Linear Logic

Invited Tal

Semantics II

Decidability and Complexity

Constraint Satisfaction and Related Problems

Invited Talk

Logic and Automata II

Halpern-Shoham Logic

Concurrency