7. LPAR 2000: Reunion Island, France

Session 1. Nonmononic reasoning

Session 2. Descriptive complexity

Session 3. Specification and automatic proof-assistants

Session 4. Theorem proving

Session 5. Verification

Session 6. Logic programming and CLP

Session 7. Nonclassical logics and lambda calculus

Session 8. Logic and databases

Session 9. Program analysis

Section 10. Mu-calculus

Session 11. Planning and reasoning about actions

a service of Schloss Dagstuhl - Leibniz Center for Informatics