26th LICS 2011: Toronto, Ontario, Canada

Refine list

showing all ?? records

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

a service of  Schloss Dagstuhl - Leibniz Center for Informatics