___________________________________________________________________
LOPSTR'05
International Symposium on Logic-based Program
Synthesis and Transformation
SEPTEMBER 7 - 9, 2005 : LONDON, UK.
http://www.comp.leeds.ac.uk/lopstr05/
New Deadline for extended abstracts - 8th June 2005
___________________________________________________________________
The aim of the LOPSTR series is to stimulate and promote international
research and collaboration on logic-based program development; the
workshop is open to contributions in logic-based program development
in any language paradigm.
LOPSTR'05 will be held at Imperial College in London co-located with
SAS 2005: The International Static Analysis Symposium
(
http://www.doc.ic.ac.uk/~clh/sas05.htm).
LOPSTR has a reputation for being a lively, friendly forum for
presenting new work and discussing work in progress, so it is a real
workshop in the sense that it is also able 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 LOPSTR
---------------
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.
Papers describing applications such as those in the areas of
verification and security are especially welcome.
The following is a non-exhaustive list of topics:
* specification
* synthesis
* verification
* transformation
* specialisation
* analysis
* optimisation
* composition
* reuse
* applications and tools
* proofs as programs
* component-based software development
* agent-based software development
* software architectures
* design patterns and frameworks
* program refinement and logics for refinement
Submission Guidelines
---------------------
Although the deadline for full papers is past, authors can still
submit extended abstracts describing work in progress. Contributions
should be written in English and should be submitted electronically in
Postscript or PDF format. Authors are also asked to register with the
online site and submit titles and abstracts of their intended
submission two days before the deadline. Prospective authors who
have difficulties for the electronic submission may contact the
chairman at hill_at_comp.leeds.ac.uk.
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 conference.
The new submission deadline for extended abstracts is June 8th, 2005.
Accepted papers and abstracts will be collected in informal
pre-proceedings which will be available at the conference.
After the conference, authors of extended abstracts describing work
judged to be mature enough for publication will be invited to submit
full papers. These will be reviewed according to
the usual refereeing procedures. All accepted full papers, both those
accepted for the conference and those accepted full papers based on
the extended abstracts will be published in the final collection of
papers which is expected to be published in the Lecture Notes in Computer
Science
(see
http://www.springer.de/comp/lncs/) series by Springer-Verlag.
Program Committee
-----------------
* Maria Alpuente,
* Roberto Bagnara,
* Gilles Barthe,
* Annalisa Bossi,
* Giorgio Delzanno,
* Michael Hanus,
* Patricia M. Hill, (Program Chair)
* John Gallagher,
* Lindsay Groves,
* Gopal Gupta,
* Michael Leuschel,
* Fabio Martinelli,
* Fred Mesnard,
* Maurizio Proietti,
* Andreas Podelski,
* German Puebla,
* Abhik Roychoudhury,
* C.R. Ramakrishnan,
* Wim Vanhoof.
Important dates
---------------
* Submission of full papers: May 27, 2005 (closed)
* Submission of extended abstracts: June 8, 2005 (revised)
* Notification: June 27, 2005
* Camera-ready: July 22, 2005
* Conference: September 7-9, 2005
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Fr Jun 03 2005 - 13:48:36 CEST