Second International Summer School in Computational Logic
ISCL 2002
Acquafredda di Maratea (Basilicata, Italy)
August 25-30, 2002
Contents (provisional):
Patrick Cousot
-
Abstract Interpretation: Theory and Applications
Veronica Dahl
-
Logic Programming for Computational Linguistics and
Intelligent Systems
Bart Demoen
-
Topics in Logic Programming Implementation
Contents (provisional):
Javier Esparza
-
Model Checking of Finite and Infinite State Systems
Contents:
Nicola Leone
-
Disjunctive Logic Programming: Knowledge Representation Techniques, Systems, and Applications
Contents (provisional):