[Prev][Next][Index][Thread]
Re: Call for papers: LOPSTR'96
[------ The Types Forum ------- http://www.dcs.gla.ac.uk/~types ------]
[The topics covered by this conference include `proofs as programs'
as well as the usual logic programmers notion of `proofs as executions'.
-- Philip Wadler, moderator, Types Forum]
==================================== CALL FOR PAPERS
Sixth International Workshop on
Logic Program Synthesis and Transformation (LOPSTR'96)
Stockholm, Sweden, 28--30 August 1996
Sponsored by the Network in Computational Logic
(WWW Version of this call at http://www.cs.bris.ac.uk/~john/lopstr96.html)
LOPSTR'96 is the sixth in a series of annual workshops. It will be run
in parallel with ILP'96, the Workshop on Inductive Logic Programming.
LOPSTR'96 and ILP'96 will share invited lectures and sessions of common
interest. The two meetings will be organized by the Computer Science
Department of Stockholm University and LOPSTR'96 is sponsored by the
Network in Computational Logic.
The aim of the workshop is to present recent work (including work in
progress) and discuss new ideas and trends in the following fields:
o program synthesis
o program transformation
o program specialization
o systematic program development
in the context of declarative programming, and logic programming in
particular. Papers developing the relationships of these topics with
other areas of automated program development, such as implementation
techniques, inductive logic programming, meta-languages, program
analysis, program specification, semantics, query optimization in
deductive databases, software engineering, proofs as programs,
synthesis and transformation in the context of other programming
languages, are welcomed. Papers describing automated systems for
program development and overviews of recent work on the topics of
interest are also solicited.
Extended abstracts (5--8 pages excluding references and appendices) are
invited (see deadlines below). Submissions should include a return
postal address and an e-mail address, if available. Submission of
abstracts by e-mail is also accepted (Postscript). The 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.
Extended 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.
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.
The workshop will take place on board a ship which will sail
from Stockholm to Helsinki and back during the workshop.
The workshop is in the week immediately before
the Joint International Conference and Symposium on Logic Programming
(JICSLP'96) in Bonn, Germany.
PROGRAMME COMMITTEE
W. Bibel Germany
A. Bossi Italy
N. Fuchs Switzerland
J. Gallagher UK
T. Gegg-Harrison USA
A. Hamfelt Sweden
P. Hill UK
B. Martens Belgium
U. Nilsson Sweden
A. Pettorossi Italy
L. Sterling Australia
PROGRAMME CHAIR
John Gallagher
University of Bristol, UK
Phone: +44 (0)117 9287959
Fax: +44 (0)117 9288128
E-mail: john@cs.bris.ac.uk
LOCAL ORGANIZATION
Carl Gustaf Jansson
University of Stockholm
E-mail: calle@dsv.su.se
DEADLINE FOR SUBMISSION OF EXTENDED ABSTRACTS
May 17, 1996
ADDRESS FOR SUBMISSION
(5 copies)
John Gallagher
Department of Computer Science
University of Bristol
Queen's Building, University Walk
Bristol BS8 1TR
U.K.
SUBMISSION BY E-MAIL
(postscript files) john@cs.bris.ac.uk
NOTIFICATION OF ACCEPTANCE OF EXTENDED ABSTRACTS
June 28, 1996
DEADLINE FOR SUBMISSION OF FULL PAPERS
October 15, 1996
NOTIFICATION OF ACCEPTANCE OF FULL PAPERS
November 15, 1996