Nobert Fuchs

The seventh annual workshop on synthesis and transformation of logic programs LOPSTR'97 took place in Leuven, Belgium, on July 10-12, 1997. It was held back-to-back with ICLP'97. Both ICLP and LOPSTR were organised by the K.U.Leuven Department of Computer Science.

LOPSTR '97 was sponsored by Compulog Net and by the Flanders Research Network on Declarative Methods in Computer Science.

Members of the programme committee were Pierre Flener, Norbert E. Fuchs (chair), Tim Gegg-Harrison, Andreas Hamfelt, Pat Hill, Christoph Kreitz, Kung-Kiu Lau, Bern Martens, Ulf Nilsson, Alberto Pettorossi, and Leon Sterling. Local organisers and co-chairs were Bart Demoen and Gerda Janssens.

LOPSTR '97 was attended by 39 participants from 13 countries.

LOPSTR '97 featured two invited talks by Wolfgang Bibel on 'A multi- level approach to program synthesis', and by Henning Christiansen on 'Implicit program synthesis by a reversible metainterpreter'.

Altogether 33 extended abstracts were submitted of which the programme committee accepted 19, all of which were presented during the workshop. Topics covered were program synthesis, program transformation, analysis, tabling, and inductive logic programming.

The extended abstracts of the invited talks and of the submitted papers were published as preliminary proceedings (LOPSTR '97 Proceedings of the Seventh International Workshop on Logic Program Synthesis and Transformation, Report CW 253, Katholieke Universiteit Leuven, Department of Computing Science, 1997).

The LOPSTR '97 programme committee asked the invited speakers and the authors of 16 of the 19 submitted extended abstracts to submit full versions of their papers for publication in the LOPSTR '97 proceedings which will appear in the Springer Lecture Notes in Computer Science (N. E. Fuchs (ed.), Proceedings of the Seventh International Workshop on Logic Program Synthesis and Transformation LOPSTR '97, Leuven, Belgium, July 10-12, 1997, Lecture Notes in Computer Science, Springer Verlag, 1998).

The LOPSTR '97 programme committee elected Pierre Flener as chair of LOPSTR '98, and Annalisa Bossi as chair of LOPSTR '99. LOPSTR '98 will take place in Manchester back-to-back with JICSLP '98.