21. LICS 2006: Seattle, WA, USA

Introduction

Plenary Talk

Session 1: Complexity and Decidability

Session 2: Concurrency

Session 3: Pushdown Systems

Invited Talk

Session 4: Logics of Program

Session 5: Proof Theory

Session 6: Model Theory

Invited Talk

Session 7: Temporal Logics and Automata

Session 8: Lambda Calculus

Keynote Session: Celebrating Birth Centennial of Kurt Godel

Invited Talk

Session 9: Timed and Stochastic Systems

Session 10: Verification

Session 11: Approximations