[TYPES] LOPSTR'04 call for papers (extended deadlines!)

[Sandro Etalle]

			     LOPSTR 2004
		  Verona, Italy, August 26-28, 2004
		  http://www.sci.univr.it/~lopstr04
			   CALL FOR PAPERS

		       ***EXTENDED DEADLINE***

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. Starting this year, LOPSTR will put extra
emphasis to the field of verification; in fact LOPSTR will also
incorporate the VCL (verification in computational logic) workshop
series.

LOPSTR'04 will be held at the University of Verona http://www.univr.it
co-located with SAS 2004 http://www.sci.univr.it/~sas04, the
International Static Analysis Symposium, PEPM 2004
http://www.sci.univr.it/~pepm04 - ACM SIGPLAN 2004 Workshop on Partial
Evaluation and Semantics Based Program Manipulation, and PPDP 2004
http://www.sci.univr.it/~ppdp04 - 6th ACM-SIGPLAN International
Conference on Principles and Practice of Declarative Programming.

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),
Madrid, Spain (2002), Uppsala, Sweden (2003). 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 extended abstracts and full papers. 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
   * 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

Authors can either submit extended abstracts (short papers) 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 at
http://profs.sci.univr.it/~lopstr04/index.html. Authors are also asked
to send the title and abstract of their submission three days before the
deadline to lopstr04 at sci.univr.it. Prospective authors who have
difficulties for the electronic submission may contact the chairman at
lopstr04 at sci.univr.it.

   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 abstract is May 17,
   2004 (extended, strict).

   Full papers should not exceed 16 pages (including references) in
   llncs format. 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, published in the LNCS
   series.  The submission deadline for full papers is May 7, 2004
   (extended, strict).

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 the final collection of papers
(together with the accepted full papers) which is 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).

Program Committee

   * Annalisa Bossi (Italy)
   * Gilles Barthe (France)
   * Francisco Bueno (Spain)
   * Maurice Bruynooghe (Belgium)
   * Giorgio Delzanno (Italy)
   * Sandro Etalle (The Netherlands) program chair
   * Tom Ellman (USA)
   * Patricia M. Hill (UK)
   * Norbert Fuchs (Switzerland)
   * Gopal Gupta (USA)
   * Kung-Kiu Lau (UK)
   * Fabio Martinelli (Italy)
   * Alberto Pettorossi (Italy)
   * Andreas Podelski (Germany)
   * Abhik Roychoudhury (Singapore)
   * C.R. Ramakrishnan (USA)
   * Wim Vanhoof (Belgium)
   * German Vidal (Spain)

Important dates

   * submission deadline for full papers: May 7, 2004 (extended, strict) 
   * submission deadline for extended abstracts: May 17, 2004 (extended, strict) 
   * Notification: June 6
   * Camera-ready: June 16

Sponsor

Lopstr 2004 is sponsored by the Association for Logic Programming
(ALP) http::/www.cwi.nl/projects/alp