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