LOPSTR'02 - Call for papers

Michael Leuschel Michael Leuschel <mal@ecs.soton.ac.uk>
Wed, 08 May 2002 10:28:32 +0100


--Boundary_(ID_7xB1RPhA87Ok8DkKMPCXrg)
Content-type: text/plain; charset=US-ASCII; format=flowed
Content-transfer-encoding: 7bit

---------------------------------------------------
             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

--Boundary_(ID_7xB1RPhA87Ok8DkKMPCXrg)
Content-type: text/enriched; charset=US-ASCII
Content-transfer-encoding: 7bit

<fixed>--------------------------------------------------- 

            International Workshop on 

Logic Based Program Development and Transformation 

                   LOPSTR'02 

            18 - 20 September 2002 

--------------------------------------------------- 

              CALL FOR PAPERS 

--------------------------------------------------- 

     
<underline><color><param>0000,0000,FFFF</param>http://clip.dia.fi.upm.es/LOPSTR02/</color></underline> 

--------------------------------------------------- 

    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: 
<underline><color><param>0000,0000,FFFF</param>mal@ecs.soton.ac.uk</color></underline>. 

 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  

</fixed>

--Boundary_(ID_7xB1RPhA87Ok8DkKMPCXrg)--