[pept:92] CfP LOPSTR'02

[Michael Leuschel <mal@xxxxxxxxxxxxxxx> (by way of Robert Glueck)]

---------------------------------------------------
            International Workshop on
Logic Based Program Development and Transformation
                   LOPSTR'02
            18 - 20 September 2002
---------------------------------------------------
              CALL FOR PAPERS
---------------------------------------------------
      http://clip.dia.fi.upm.es/LOPSTR02/
---------------------------------------------------
    Deadline for full papers:  15 June 2002
    Deadline for short papers: 30 June 2002
---------------------------------------------------

 The aim of the LOPSTR series is to stimulate and promote international
 research and collaboration on logic-based program development, and the
 workshop is open to contributions in logic-based program development in
 any language paradigm.

 LOPSTR'02 will be held at the Technical University of Madrid,
 co-located with International Static Analysis Symposium" (SAS'02) and
 APPIA-GULP-PRODE Joint Conference on Declarative Programming (AGP'02).
 Past workshops were held in Manchester, UK (1991, 1992, 1998),
 Louvain-la-Neuve, Belgium (1993), Pisa, Italy (1994), Arnhem, the
 Netherlands (1995), Stockholm, Sweden (1996), Leuven, Belgium (1997),
 Venice, Italy (1999), London, UK (2000), Paphos, Cyprus (2001). Since
 1994 the proceedings have been published in the LNCS series of
 Springer-Verlag.

 LOPSTR also aims to be a lively, friendly forum for presenting and
 discussing work in progress, so it is a real workshop in the sense that
 it is also intended to provide useful feedback to authors on their
 preliminary research. Formal proceedings of the workshop are produced
 only after the workshop, so that authors can incorporate this feedback
 in the published papers.


 Scope of the Workshop

 We solicit full papers as well as extended abstracts describing work in
 progress. Topics of interest cover all aspects of logic-based program
 development, all stages of the software life cycle, and issues of both
 programming-in-the-small and programming-in-the-large.

 The following is a non-exhaustive list of topics:
 *    specification
 *    synthesis
 *    verification
 *    transformation
 *    specialisation
 *    analysis
 *    composition
 *    reuse
 *    optimisation
 *    applications and tools
 *    component-based software development
 *    agent-based software development
 *    software architectures
 *    design patterns and frameworks
 *    program refinement and logics for refinement
 *    proofs as programs


 Submission Guidelines

 *    Authors can either submit extended abstracts describing work
 in progress or they can choose to submit full papers.

 Contributions should be written in English and should be submitted
 electronically in Postscript or PDF format to the program chairman
 at the following email address:  mal@ecs.soton.ac.uk.
 Prospective authors who have difficulties for the electronic submission
 may contact the chairman.

 *    Extended abstracts should not exceed 6 pages in llncs format and
 may describe work in progress. Promising abstracts relevant to the
 scope of LOPSTR will be selected for presentation at the workshop. The
 submission deadline for extended abstracts is
             June 30, 2002.
 *    Full papers should not exceed 16 pages (including references) in
 llncs format. The submission deadline is
             June 16, 2002.
 These papers will be judged using ordinary conference quality criteria
 and accepted papers will have to be presented at the workshop and will
 automatically appear in the pre-proceedings as well as in the final
 collection of papers.

 *    In both cases the notification of acceptance or rejection will be
 sent by  July 15, 2002. Accepted papers and abstracts will be
 collected in informal pre-proceedings which will be available at
 the workshop.

 *    After the workshop, authors of extended abstract which are judged
 mature for publication will be invited to submit full papers. These
 will be reviewed according to the usual refereeing procedures, and
 accepted papers will be published in a final collection of papers
 which are expected to be published in the
       Lecture Notes in Computer Science series by Springer-Verlag.
 All the full papers accepted before the workshop will automatically
 appear in that book as well; there will be no additional refereeing
 (although authors will be given a chance to revise their paper, if
 they so wish, based upon the feedback from the LOPSTR event).


Programme Committee

    Jean Raymond Abrial  Consultant, Marseille, France
    Elvira Albert        Valencia, Spain
    Michael Butler       Southampton, UK
    James Caldwell       Laramie, Wyoming, USA
    Bart Demoen          Leuven, Belgium
    Sandro Etalle        Twente, The Netherlands
    Laurent Fribourg     ENS Cachan, France
    Michael Hanus        Kiel, Germany
    Andy King            Kent, UK
    Kung-Kiu Lau         Manchester, UK
    Michael Leuschel     Southampton, UK
    C.R. Ramakrishnan    Stony Brook, USA
    Olivier Ridoux       Rennes, France
    Sabina Rossi         Venice, Italy
    Wolfram Schulte      Microsoft, USA
    Jens Peter Secher    Copenhagen, Denmark
    Maurizio Proietti    IASI-CNR, Rome, Italy
    German Puebla        Madrid, Spain
    Julian Richardson    Edinburgh, UK
    Michael Wooldridge   Liverpool, UK


Programme Chair

    Michael Leuschel, University of Southampton
    Department of Electronics and Computer Science
    Highfield, Southampton SO17 1BJ
    UK