My apologies if you receive this more than once!
___________________________________________________________________________
CALL FOR PAPERS
LOPSTR'98
8th International Workshop on
Logic-based Program Synthesis and Transformation
Manchester, United Kingdom, 15 - 19 June 1998
Sponsored by the Association for Logic Programming (ALP)
and by the ESPRIT Network of Excellence in Computational Logic (Compulog Net)
LOPSTR'98 is the eighth in a series of international workshops on
logic-based program synthesis and transformation. It will be held in
parallel to the Joint International Conference and Symposium on Logic
Programming (JICSLP'98).
New Objectives
As a workshop, LOPSTR'98 will continue the tradition of being a lively and
friendly forum for presenting recent and current research as well as
discussing future trends in the synthesis and transformation of programs.
Compared to previous editions, however, the scope and mode of operation are
somewhat modified.
The _scope_ now encompasses any computational-logic-based techniques,
languages, and tools for the interactive or automated development of any
kinds of programs. Also, papers discussing programming-in-the-large
issues, or presenting practical applications, or convincingly arguing for
the practical applicability of given theoretical results are now
encouraged.
The _mode_of_operation_ now is as follows. Based upon submitted extended
abstracts, the programme committee will invite authors to present their
research at the workshop. Pre-proceedings with the accepted extended
abstracts will be available at the workshop as a technical report. Shortly
after the workshop, the programme committee will invite the authors of the
most promising abstracts and presentations to submit full papers. After
another round of refereeing, the best full papers will be included in the
post-workshop proceedings, which are to be published within the Lecture
Notes in Computer Science series of Springer-Verlag.
At this point, extended abstracts of at most eight pages are thus solicited
about, but not limited to, the following topics:
specification analysis
synthesis verification
composition reuse
transformation schemas
specialization industrial applications
Every submission must clearly exhibit the relationship to the (new) scope
of the workshop, and must really be an extended abstract. It must thus be
a miniature research paper with the key motivations and ideas, with
outlines of the proofs of the key theorems, with references and a
(favorable) comparison to related work, but without full details of proofs
or implemented systems, without the description of future work, without
ramifications that are irrelevant to the key ideas. A good extended
abstract convinces a specialist referee of the significance of the
described research in about one hour. Submissions that fail to comply with
these content and size requirements may be rejected (without refereeing),
no matter how high the scientific merit of the discussed work.
Programme and Organizing Committee
Pierre Flener Bilkent University, Turkey (programme chair)
Nicoletta Cocco University of Venice, Italy
Andreas Hamfelt Uppsala University, Sweden
Kung-Kiu Lau University of Manchester, UK (workshop chair)
Baudouin Le Charlier University of Namur, Belgium
Michael Leuschel Catholic University of Leuven, Belgium
Michael Lowry NASA Ames, USA
Ali Mili Institute for Software Research, USA
Lee Naish Melbourne University, Australia
Mario Ornaghi University of Milan, Italy
Alberto Pettorossi University of Rome II, Italy
Dave Robertson University of Edinburgh, UK
Richard Waldinger SRI International, USA
Important Dates
Submission of extended abstracts 27 March 1998
Notification to authors 1 May 1998
Submission of full papers 25 September 1998
Notification to authors 30 October 1998
Submissions
Electronic submissions are strongly encouraged. See the workshop homepage
for full instructions regarding the formatting requirements and the
electronic submission procedure. Address all correspondence (email
preferred) to:
Pierre Flener (LOPSTR'98) Phone: +90 312 266 4000 ext.1450
Dept of Computer Science Fax: +90 312 266 4126
Bilkent University Email: {lopstr98,pf}@cs.bilkent.edu.tr
06533 Ankara Web: http://www.cs.bilkent.edu.tr/~lopstr98
Turkey Mirror: http://www.cs.man.ac.uk/~kung-kiu/lopstr98
--------------------------------------------------------------------------
The dbworld list reaches many people, and should only be used for
messages of general interest to the database community.
To subscribe or unsubscribe yourself (or optionally (address)) from
dbworld, send a msg to majordomo@cs.wisc.edu with one of these lines:
subscribe dbworld (address)
unsubscribe dbworld (address)
To find out more options send a msg with the line:
help
--------------------------------------------------------------------------