15. LPAR 2008: Doha, Qatar

Constraint Solving

Knowledge Representation 1

Proof-Theory 1

Invited Talk

Automata

Linear Arithmetic

Verification

Invited Talks

Knowledge Representation 2

Proof-Theory 2

Quantified Constraints

Modal and Temporal Logics

Rewriting