This website is out-of-date. The new LOPSTR website can be found here.
LOPSTR was founded by Kung-Kiu Lau in 1991. It has taken place annually since.Its original title was International Workshop on Logic Program Synthesis and Transformation, and the workshop was intended to focus on logic programs. The title was changed to International Workshop on Logic-based Program Synthesis and Transformation in 1998 to reflect a widening of its scope. It was changed to International Symposium on Logic-based Program Synthesis and Transformation in 2002.
The aim of LOPSTR is to stimulate and promote international research and collaboration on logic-based program development.
The main focus used to be on the Logic Programming paradigm, but now the workshop is open to contributions in logic-based program development in any paradigm.
LOPSTR 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 are produced only after the symposium, in order that authors can incorporate this feedback in the published papers.
The symposium is normally 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 symposium.
- At the symposium, only informal pre-proceedings of the selected abstracts are available (usually in the form of a technical report).
- After the symposium, 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 symposium, currently published in the Lecture Notes in Computer Science series, by Springer-Verlag.
In 2002, a steering committee was set up. The current steering committee consists of the following:
Kung-Kiu Lau Manchester, UK Alberto Pettorossi Rome, Italy Michael Leuschel Düsseldorf, Germany Maurice Bruynooghe Leuven, Belgium Sandro Etalle Twente, the Netherlands Patricia Hill Leeds, UK German Puebla Madrid, Spain
LOPSTR 91 and 92 were held in Manchester, UK.
LOPSTR 93 in Louvain-la-Neuve, Belgium.
LOPSTR 94 in Pisa, Italy (with META 94).
LOPSTR 95 in Arnhem, the Netherlands (with PLILP 95).
LOPSTR 96 in Stockholm, Sweden (with ILP 96).
LOPSTR 97 in Leuven, Belgium (with ICLP 97).
LOPSTR 98 in Manchester, UK (with JICSLP 98).
LOPSTR 99 in Venice, Italy (with SAS 99).
LOPSTR 00 in London, UK (as part of CL2000).
LOPSTR 01 in Paphos, Cyprus (with ICLP 01 and CP 01).
LOPSTR 02 in Madrid, Spain (with SAS 02 and AGP 02).
LOPSTR 03 in Uppsala, Sweden (as part of PLI 03)
LOPSTR 04 in Verona, Italy (with SAS 2004, PEPM 2004 and PPDP 2004)
LOPSTR 05 in London, UK (with SAS 2005).
T.P. Clement and K.-K. Lau, editors, Logic Program Synthesis and Transformation, Springer-Verlag, 1992. Workshops in Computing series. ISBN 3-540-19742-7.
Free copies available from Kung-Kiu Lau.
K.-K. Lau and T.P. Clement, editors, Logic Program Synthesis and Transformation, Springer-Verlag, 1993. Workshops in Computing series. ISBN 3-540-19806-7.
Free copies available from Kung-Kiu Lau.
Y. Deville, editor, Logic Program Synthesis and Transformation, Springer-Verlag, 1994. Workshops in Computing series. ISBN 3-540-19864-4.
L. Fribourg and F. Turini, editors, Logic Program Synthesis and Transformation - Meta Programming in Logic, Lecture Notes in Computer Science 883, Springer-Verlag, 1994. ISBN 3-540-58792-6.
M. Proietti, editor, Logic Program Synthesis and Transformation, Lecture Notes in Computer Science 1048, Springer-Verlag, 1996. ISBN 3-540-60939-3.
A few free copies available from Maurizio Proietti (email@example.com).
J. Gallagher, editor, Logic Program Synthesis and Transformation, Lecture Notes in Computer Science 1207, Springer-Verlag, 1997. ISBN 3-540-62718-9
N.E. Fuchs, editor, Logic Program Synthesis and Transformation, Lecture Notes in Computer Science 1463, Springer-Verlag, 1998. ISBN 3-540-65074-1
P. Flener, editor, Logic-based Program Synthesis and Transformation, Lecture Notes in Computer Science 1559, Springer-Verlag, 1999. ISBN 3-540-465765-7.
A. Bossi, editor, Logic-based Program Synthesis and Transformation, Lecture Notes in Computer Science 1817, Springer-Verlag, 2000. ISBN 3-540-67628-7.
K.-K. Lau, editor, Logic-based Program Synthesis and Transformation, Lecture Notes in Computer Science 2042, Springer-Verlag, 2001. ISBN 3-540-42127-0.
Free copies available from Kung-Kiu Lau (firstname.lastname@example.org).
A. Pettorossi, editor, Logic-based Program Synthesis and Transformation, Lecture Notes in Computer Science 2372, Springer, 2002. ISBN 3-540-43915-3.
M. Leuschel, editor, Logic-based Program Synthesis and Transformation, Lecture Notes in Computer Science 2664, Springer, 2002. ISBN 3-540-40438-4.
M. Bruynooghe, editor, Logic Based Program Synthesis and Transformation: 13th International Symposium, Lecture Notes in Computer Science 3018, Springer, 2004. ISBN 3-540-22174-3.
LOPSTR 91 and 92 were sponsored by the Association for Logic Programming (ALP) and ALP UK.
LOPSTR 93 by Compulog Net, the ESPRIT Network of Excellence in Computational Logic, and the Belgian National Fund for Scientific Research.
LOPSTR 94 by Compulog Net.
LOPSTR 95 by Compulog Net, ALP, Royal Dutch Academy of Sciences, The Netherlands Computer Science Research Foundation, National Research Council of Italy, and Universiteit Utrecht.
LOPSTR 96 by Compulog Net.
LOPSTR 97 by Compulog Net and the Flanders Research Network on Declarative Methods in Computer Science.
LOPSTR 98 by ALP, Compulog Net, and Prolog Development Center (Denmark).
LOPSTR 99 by ALP, Compulog Net, CNR, Ca' Foscari University of Venice.
LOPSTR 00 (as part of CL2000) by ALP and Compulog Net.
LOPSTR 01 by ALP, CoLogNET, IFCoLog, IASI Institute of the National Research Council of Italy, University of Roma Tor Vergata, Italy.
LOPSTR 02 by ALP.
LOPSTR 00 was the Program Development stream of CL 2000, the First International Conference on Computational Logic, Monday 24th July to Friday 28th July, 2000, Imperial College, London, UK.
CL is a new conference series (sponsored by ALP and Compulog Net) to replace the ICLP and JICSLP series from 2000 onwards.
LOPSTR joined CL 2000 under the following terms:
- CL would provide a general call for papers (and in some cases, extended abstracts) for all streams, including the Program Development (PD) stream, and would refer authors to the stream CFPs for all the details.
- LOPSTR would provide a detailed CFP for extended abstracts and full papers on PD, and the LOPSTR PC would handle all PD submissions to CL.
- At CL:
- all accepted PD full papers and abstracts would be presented in the PD stream.
- PD full papers would appear in CL proceedings.
- PD abstracts would appear in informal LOPSTR pre-proceedings.
- After CL, LOPSTR would invite abstract authors to submit full papers for the post-proceedings.
This decision was reached after an email debate among the LOPSTR community.
To mark LOPSTR's tenth anniversary, an edited volume of papers that represent a decade of research advances was published:
Program Development in Computational Logic: A Decade of Research Advances in Logic-based Program Development
M. Bruynooghe and K.-K. Lau, editors, Lecture Notes in Computer Science 3049, Springer-Verlag, 2004. ISBN 3-540-22152-2.
Automated Software Engineering and Logic Programming
At the post-JICSLP98 workshop on Automated Software Engineering and Logic Programming, participants from both the LOPSTR and ASE communities discussed the key issues that they should address in order to foster a concerted effort. A record of the meeting can be found here.
In January 2000, the LOPSTR community agreed that LOPSTR should join IFCoLog, with Kung-Kiu Lau as LOPSTR's IFCoLog's representative. The email discussion can be found here.
Name Change and Steering CommitteeIn 2002, a name change and the setting up of a steering committee were discussed and agreed by the LOPSTR community. The discussion is archived here.
Thanks to the following for their comments on and/or help with information for this page: Bern Martens (Leuven), Norbert Fuchs (Zurich), Pierre Flener (Uppsala), Annalisa Bossi (Venice), Maurizio Proietti (Rome), German Puebla (Madrid), Alberto Pettorossi (Rome), Maurice Bruynooghe (Leuven).
School of Computer Science
The University of Manchester
Manchester M13 9PL
Phone: +44 161 275 5716
Fax: +44 161 275 6204
Email: kung-kiu at cs.man.ac.uk