23. LICS 2008: Pittsburgh, Pennsylvania, USA

Session 1 (Joint CSF/LICS)

Session 2 (Joint CSF/LICS)

Session 3: Logical Frameworks

Session 4: Lambda Calculus

Session 5: Short Talks (Joint CSF/LICS)

Session 6: Algebraic Reasoning

Session 7: Process Calculi

Session 8: Model Checking

Session 9: Proof Theory

Session 10: Computational Complexity

Session 11: Constraints

Session 12: Reasoning About Programs

Session 13: Probabilistic Systems

Session 14: Finite Model Theory

Session 15: Automata Theory

Session 16: Linear Logic