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 email@example.com Annalisa Bossi Venice, Italy firstname.lastname@example.org Antonio Brogi Pisa, Italy email@example.com Maurice Bruynooghe Leuven, Belgium Maurice.Bruynooghe@cs.kuleuven.ac.be Mireille Ducassé IRISA/INSA, France Mireille.Ducasse@irisa.fr Sandro Etalle Maastricht, The Netherlands firstname.lastname@example.org Pierre Flener Uppsala, Sweden email@example.com Michael Hanus Kiel, Germany firstname.lastname@example.org Ian Hayes Queensland, Australia email@example.com Manuel Hermenegildo Madrid, Spain firstname.lastname@example.org Patricia Hill Leeds, UK email@example.com Kung-Kiu Lau Manchester, UK firstname.lastname@example.org Baudouin Le Charlier Namur, Belgium email@example.com Michael Leuschel Southampton, UK firstname.lastname@example.org Michael Lowry NASA Ames, USA email@example.com Ali Mili West Virginia, USA firstname.lastname@example.org Torben Mogensen Copenhagen, Denmark email@example.com Alberto Pettorossi Rome, Italy firstname.lastname@example.org Don Sannella Edinburgh, UK email@example.com Doug Smith Kestrel Institute, USA firstname.lastname@example.org Zoltan Somogyi Melbourne, Australia email@example.com