🚀 go-pugleaf

--------------------------------------------------------------------------------
Please excuse if you receive multiple copies of this Call for Papers.

I would like to ask you to forward this call to everyone who may be
interested in it.
--------------------------------------------------------------------------------

CALL FOR PAPERS

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

Leuven, Belgium, July 10-12, 1997

Deadline for submission of extended abstracts:    April 18

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.

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
------------------------------------------------------------------------