13. CSL 1999: Madrid, Spain

Invited Papers

Descriptive Complexity, I

Verification

Temporal Logic

Lambda Calculus, Linear Logic

Logic Programming, Modal Logic, Description Logic

Descriptive Complexity, II

Logic and Complexity

Lambda Calculus, Type Theory

Linear Logic, Mu Calculus, Concurrency

Specification, Data Refinement

Tutorials