23. LICS 2008:
Pittsburgh,
Pennsylvania,
USA
Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, LICS 2008, 24-27 June 2008, Pittsburgh, PA, USA.
IEEE Computer Society 2008, ISBN 978-0-7695-3183-0 BibTeX
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
Copyright © Sat May 16 23:28:48 2009
by Michael Ley (ley@uni-trier.de)