LOPSTR'99

9th International Workshop on
Logic-based Program Synthesis and Transformation

Venezia, Italy, 22 - 24 September 1999

Sponsored by ALP, Compulog, GNIM, CNR, Cà Foscari University of Venice, and Padova University

LOPSTR'99 is the ninth in a series of annual international workshops on logic-based program synthesis and transformation.
In 1999 it will be held in parallel to the Symposium on Static Analysis (SAS'99) and in association with the Compunet area meeting on: Language Design, Semantics and Verification.

LOPSTR'99 Program chair:   Annalisa Bossi
SAS'99 Program chair:   Gilberto File'
Conference Chair: Agostino Cortesi
Organizing Committee: Michele Bugliesi, Nicoletta Cocco, Riccardo Focardi, Sabina Rossi
Organization:  Dipartimento di Informatica - Universita' di Venezia Ca' Foscari.

Next year, LOPSTR 2000  will be the Program Development stream at CL 2000,
the First International Conference on Computational Logic.