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.