LOPSTR'96 Call for Papers 
Author Message
 LOPSTR'96 Call for Papers

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.*-*-*.com/ ~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, 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

LOCAL ORGANIZATION

Carl Gustaf Jansson
University of Stockholm

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


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



Mon, 20 Jul 1998 03:00:00 GMT  
 
 [ 1 post ] 

 Relevant Pages 

1. Call for Participation: LOPSTR'96/ILP'96

2. Second Call For Papers: LOPSTR'96

3. KR'96 Call for Papers

4. TOOLS Europe '96 Call for Papers

5. TOOLS Europe '96 Call for Papers

6. euroFORTH'96 announce & call for papers

7. ASIAN'96 Final Call for Papers

8. ASIAN'96 CALL FOR PAPERS

9. SAS'96: second call for papers

10. LICS'96 Final Call for Papers + Correction

11. LICS'96 Second Call for Papers

12. LICS'96 Second Call for Papers

 

 
Powered by phpBB® Forum Software