From fribourg@avoine.ens.fr Mon Oct 11 18:28:28 EDT 1993
Article: 8741 of comp.lang.prolog
Xref: crabapple.srv.cs.cmu.edu comp.lang.prolog:8741
Newsgroups: comp.lang.prolog
Path: crabapple.srv.cs.cmu.edu!honeydew.srv.cs.cmu.edu!rochester!udel!newsserver.jvnc.net!howland.reston.ans.net!pipex!uunet!mcsun!julienas!dmi.ens.fr!avoine!fribourg
From: fribourg@avoine.ens.fr (Laurent Fribourg)
Subject: LOPSTR'94 Call for Papers
Message-ID: <1993Oct11.093437.10931@ens.fr>
Sender: news@ens.fr (USENET News System)
Nntp-Posting-Host: avoine.ens.fr
Organization: Ecole Normale Superieure, PARIS, France
Distribution: comp.lang.prolog
Date: Mon, 11 Oct 93 09:34:37 GMT
Lines: 73

                   Preliminary  Call for Participation

            +-----------------------------------------------------+
            |                     LOPSTR'94                       |
            |         Fourth International Workshop on            |
            |     Logic Program Synthesis and Transformation      |
            |                19 - 21 June 1994                    |
            |                    Pisa, Italy                      |
            +-----------------------------------------------------+


  This workshop is the fourth one after LOPSTR'91 and '92 in 
Manchester (U.K.) and LOPSTR'93 in Louvain-la-Neuve (Belgium).
This time the workshop will take place in Pisa (Italy) the  week after 
ICLP'94 (S.Margherita Ligure - Italy) and in conjunction with META'94.
The two workshops will be in the same location and will be run in
parallel. The two workshops will share invited lectures of general interest.

  The aim of the workshop is to present recent work (including work in
progress), and to discuss new ideas and trends in logic program synthesis,
transformation, and development, as well as in related fields such as
inductive logic programming and automated verification of logic program 
properties.  This workshop is also intended to bring together researchers 
active in these areas, and is a good opportunity for researchers working
in related areas to get an overview of the current state of the art.


SUBMISSION
----------
  Authors should submit 5 copies of an EXTENDED ABSTRACT by JANUARY 10, 1994. 
These extended abstracts should be no longer than 5,000 words (excluding
references), and should clearly explain the interest of the approach by 
comparing with appropriate related work.  Submission of abstracts by email 
is also accepted (LaTeX or Postscript). The accepted abstracts will be 
collected into preliminary proceedings, which will be available at the 
workshop.

  Extended abstracts can be completed into full papers after the workshop, 
and will be reviewed for publication in the final LOPSTR'94 proceedings 
(which are expected to be published by Springer-Verlag).


DEADLINES
---------
  January  10, 1994: Submission of LOPSTR extended abstracts
  March  20, 1994: Notification of acceptance/rejection for presentation
                   at the workshop.

The deadlines for the post-workshop submission of LOPSTR full papers,
notification of acceptance/rejection, and production of camera-ready version
for the LOPSTR'94 proceedings are  July 30, September 6, and October 1, 1994.


Correspondence should be addressed to:          Laurent Fribourg
                                                L.I.E.N.S.
                                                45 rue d'Ulm
                                                75005 Paris, France


PROGRAM COMMITTEE: 
  D. Boulanger (KU Leuven)             G. Ferrand (U. Orleans)
  P. Flener (Bilkent U., Ankara)       L. Fribourg (LIENS-CNRS Paris)(Chair)
  J.-M. Jacquet (U. Namur)             M. Proietti (IASI-CNR Roma)
  F. Turini (U. Pisa)                  G. Wiggins (U. Edinburgh)


ORGANIZING COMMITTEE:  
  A. Brogi, P. Mancarella, D. Pedreschi, F. Turini (U. Pisa, Italy)


For more information, contact Laurent Fribourg.
Phone: +33 1 44322078, Fax: +33 1 44322080, Email: fribourg@dmi.ens.fr