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