28. LICS 2013: New Orleans, LA, USA

Tutorial

Invited Talks

Session 1: Vector Addition Systems

Session 2: Finite Model Theory

Session 3: Complexity Theory and Quantum Computation

Session 4: Quantitative Approach

Session 5: Model Checking

Session 6: Complexity and Computability

Session 7: Type Theory and Applications

Session 8: Multi-agent Systems and Programming Languages

Session 9: Lambda Calculus

Session 10: The Probabilistic Setting

Session 11: Temporal Logic

Session 12: Process Calculus and Recursion Theory

Session 13: Modal Logic and Proof Theory

Session 14: Logic, Automata, and Transducers

Session 15: Automata Theory

Session 16: Algebraic Approach

Session 17: Databases

maintained by Schloss Dagstuhl LZI at University of Trier