Tenth International Workshop on
Stream of CL 2000
24-28 July 2000
LOPSTR 2000, The Tenth International Workshop on Logic-based Program Synthesis and Transformation will be held on 24-28 July 2000 at Imperial College, London, UK, as the Program Development Stream at CL2000, the First International Conference on Computational Logic.
The aim of LOPSTR is to stimulate and promote international research and collaboration on logic-based program development, and the workshop is open to contributions in logic-based program development in any paradigm. Past workshops were held in Manchester, UK (1991, 1992, 1998), Louvain-la-Neuve, Belgium (1993), Pisa, Italy (1994), Arnhem, the Netherlands (1995), Stockholm, Sweden (1996), Leuven, Belgium (1997), Venice, Italy (1999).
LOPSTR also aims to be a lively, friendly forum for presenting and discussing work in progress, so it is a real workshop in the sense that it is intended to provide useful feedback to authors on their preliminary research. Formal proceedings of the workshop are produced only after the workshop, in order that authors can incorporate this feedback in the published papers.
LOPSTR 2000 will be run as follows:
- Authors submit extended abstracts (8 pages) describing work in progress.
- Promising abstracts relevant to the scope of LOPSTR are selected for presentation at the workshop.
- At the workshop, only informal pre-proceedings of the selected abstracts are available (usually in the form of a technical report).
- After the workshop, authors of the best abstracts are invited to submit full papers. These are reviewed, and accepted papers then form the formal (fully refereed) proceedings of the workshop, currently published in the Lecture Notes in Computer Science series, by Springer-Verlag.
As the Program Development Stream at CL2000, LOPSTR 2000 will also include CL 2000 full papers on program development. This means that in addition to the traditional LOPSTR abstracts, the LOPSTR 2000 Programme Committee also handle all such submissions to CL 2000 (the submission deadline for these is past). It also means that LOPSTR 2000 participants will be able to attend all CL 2000 sessions.
Call for Papers
Programme/Stream ChairKung-Kiu Lau, University of Manchester, UK.
David Basin Freiburg, Germany firstname.lastname@example.org Annalisa Bossi Venice, Italy email@example.com Antonio Brogi Pisa, Italy firstname.lastname@example.org Maurice Bruynooghe Leuven, Belgium Maurice.Bruynooghe@cs.kuleuven.ac.be Mireille Ducassé IRISA/INSA, France Mireille.Ducasse@irisa.fr Sandro Etalle Maastricht, The Netherlands email@example.com Pierre Flener Uppsala, Sweden firstname.lastname@example.org Michael Hanus Kiel, Germany email@example.com Ian Hayes Queensland, Australia firstname.lastname@example.org Manuel Hermenegildo Madrid, Spain email@example.com Patricia Hill Leeds, UK firstname.lastname@example.org Kung-Kiu Lau Manchester, UK email@example.com Baudouin Le Charlier Namur, Belgium firstname.lastname@example.org Michael Leuschel Southampton, UK email@example.com Michael Lowry NASA Ames, USA firstname.lastname@example.org Ali Mili West Virginia, USA email@example.com Torben Mogensen Copenhagen, Denmark firstname.lastname@example.org Alberto Pettorossi Rome, Italy email@example.com Don Sannella Edinburgh, UK firstname.lastname@example.org Doug Smith Kestrel Institute, USA email@example.com Zoltan Somogyi Melbourne, Australia firstname.lastname@example.org