🚀 go-pugleaf

CALL FOR PAPERS

Seventh International Workshop on Logic Program Synthesis and Transformation
(LOPSTR'97)

Leuven, Belgium, July 10-12, 1997

http://www.ifi.unizh.ch:80/groups/req/staff/fuchs/lopstr97/LOPSTR97.html

LOPSTR'97 will be the seventh in a series of annual workshops on synthesis and
transformation of logic programs. This year, it will be held 'back-to-back' with
ICLP'97 (Leuven, July 7-11). Both ICLP and LOPSTR will be organised by the
K.U.Leuven Department of Computer Science.

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

There will be two invited talks by Wolfgang Bibel (Germany) on 'A multi-level
approach to program synthesis', and by Henning Christiansen (Denmark) on
'Implicit program synthesis by a reversible metainterpreter'. Both titles are
preliminary.

As usual, the aim of the workshop will be to present recent work (possibly still
in progress), and to discuss new ideas as well as emerging trends in the
following fields:

o program specialisation and transformation o program synthesis o systematic
program development in a declarative programming setting, focusing on logic
programming in particular.

Also of interest are papers exploring or developing the relationships of these
topics with other areas of (automated) program development, including
implementation and compilation techniques, inductive logic programming,
meta-programming, program analysis, specification languages, semantics,
deductive databases, software engineering, and synthesis and transformation in
the context of other programming languages. Papers describing interesting 
applications, automated program development systems, overviews of recent work on
the topics of interest, and/or highlighting the importance of the field for the
long-term development of declarative programming are also solicited.

Extended abstracts (5-8 pages excluding references and appendices) are invited.
Submission of abstracts in PostScript by e-mail is preferred, however,
submissions in paper form are also possible. Submissions should include a return
postal address and an e-mail address. Submissions will be reviewed by at least
three members of the programme committee. Accepted abstracts will be collected
into preliminary proceedings which will be available at the workshop. At least
one author of each accepted abstract is expected to attend the workshop.

Accepted abstracts can be completed into full papers and submitted after the
workshop by invitation of the programme committee. Submitted papers will be
reviewed for publication in the final proceedings which will be published in the
Lecture Notes in Computer Science Series of Springer Verlag.

The following aspects will be relevant for the evaluation of the submission:
originality, clarity, significance, and correctness. In particular, the abstract
should clearly point out the relationships with published work or submissions by
the same authors and it should be understandable by a broad audience. Proofs may
be added in appendix, if needed.


PROGRAMME COMMITTEE

Pierre Flener      (Bilkent, pf@cs.bilkent.edu.tr) 
Norbert E. Fuchs   (Zurich, fuchs@ifi.unizh.ch) 
Tim Gegg-Harrison  (Winona, TSG@VAX2.Winona.MSUS.EDU) 
Andreas Hamfelt    (Uppsala, hamfelt@csd.uu.se) 
Pat Hill           (Leeds, hill@scs.leeds.ac.uk) 
Christoph Kreitz   (Cornell, kreitz@cs.cornell.edu)
Kung-Kiu Lau       (Manchester, kung-kiu@cs.man.ac.uk) 
Bern Martens       (Leuven, bern@cs.kuleuven.ac.be) 
Ulf Nilsson        (Linkoeping, ulfni@ida.liu.se) 
Alberto Pettorossi (Roma, adp@iasi.rm.cnr.it) 
Leon Sterling      (Melbourne,leon@cs.mu.oz.au)


PROGRAMME CHAIR

Norbert E. Fuchs 
Department of Computer Science 
University of Zurich 
CH-8057 Zurich, Switzerland 
Telephone +41-1-257 43 13 
Fax       +41-1-363 00 35 
Email     fuchs@ifi.unizh.ch
WWW       www.ifi.unizh.ch/staff/fuchs.html


WORKSHOP CO-CHAIRS

Bart Demoen
Gerda Janssens
Departement Computerwetenschappen
Katholieke Universiteit Leuven 
Celestijnenlaan 200A 
B-3001 Heverlee, 
Belgium 
Telephone +32-16-327552 
Fax       +32-16-327996 
Email     {bmd,gerda}@cs.kuleuven.ac.be


SCHEDULE

Deadline for submission of extended abstracts:    April 18
Notification of acceptance of extended abstracts: May 16 
Deadline for submission of full papers:           September 19
Notification of acceptance of full papers:        October 17


ADDRESS FOR SUBMISSION

(email: PostScript, paper: 5 copies)

Norbert E. Fuchs 
Department of Computer Science 
University of Zurich CH-8057
Zurich
Switzerland 

Email     fuchs@ifi.unizh.ch

------------------------------------------------------------------------
Norbert E. Fuchs                 Telephone               +41-1-257 43 13
Department of Computer Science   Fax                     +41-1-363 00 35
University of Zurich             Email                fuchs@ifi.unizh.ch
CH-8057 Zurich, Switzerland      WWW   www.ifi.unizh.ch/staff/fuchs.html
------------------------------------------------------------------------