dblp.uni-trier.de www.uni-trier.de

21. LICS 2006: Seattle, WA, USA

21th IEEE Symposium on Logic in Computer Science (LICS 2006), 12-15 August 2006, Seattle, WA, USA, Proceedings. IEEE Computer Society 2006 BibTeX


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

Copyright © Sat May 16 23:28:48 2009 by Michael Ley (ley@uni-trier.de)