Foundations of Logic Programming

4^{th} International School for Computer Science
Researchers

Acireale, Italy, June 22, 1992 - July 04, 1992

Under the auspices of

A.I.L.A - Associazione Italiana Logica
ed Applicazioni

The **4 ^{th} School for Computer Science Researchers**
addresses Ph.D. students and young researchers who want to get exposed to the
forefront of research activity in the field of

## Courses |

A framework for comparing different notions of
negation Prof. J. Schlipf, Cicinnati
UniversityContent:A framework for comparing different notions of negation | |

Analysis, transformation and semantics of
constraint logic programming Prof. M.J. Maher,
IBM Watson Labs, Yorktown HeightsContent:Analysis, transformation and semantics of constraint logic programming | |

Correctess of Logic, Prolog and CLP
programs Prof. K. Apt, CWI,
AmsterdamContent:Correctess of Logic, Prolog and CLP programs | |

Formal bases for program analysis and
optimozation Prof. S. Debray, University of
ArizonaContent:Formal bases for program analysis and optimozation | |

Higher-order logic programming and linear
logic Prof. D. Miller, Pennsylvania
UniversityContent:Higher-order logic programming and linear logic | |

Semantic of Concurrent Logic
Programming Prof. C. Palamidessi, Pisa
UniversityContent:Semantic of Concurrent Logic Programming |