LOPSTR'06 in Venice, Italy -- Call for Papers

From: LOPSTR 2006 <lopstr06_at_clip.dia.fi.upm.es>
Date: Tue, 14 Feb 2006 20:14:12 +0100


                    CALL FOR PAPERS - LOPSTR'06

               International Symposium on Logic-based
                Program Synthesis and Transformation

                 JULY 12 - 14, 2006 : VENICE, ITALY



Co-located with
* ICALP'06: Intl. Colloquium on Automata, Languages and Programming
* PPDP'06: ACM Symp. on Principles & Practice of Declarative Programming
* CSFW'06: IEEE Computer Security Foundations Workshop.

Scope of the Symposium

The aim of the LOPSTR series is to stimulate and promote international
research and collaboration on logic-based program development. LOPSTR
is open to contributions in logic-based program development in any
language paradigm.

LOPSTR has a reputation for being 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 research. Formal proceedings are produced only after
the conference, so that authors can incorporate this feedback in the
published papers. This year, tool demonstrations are also solicited
as a separate submission category. Since 1994 the formal proceedings
have been published in the LNCS series of Springer-Verlag.

Previous LOPSTR events were held in London (2005, 2000), Verona
(2004), Uppsala (2003), Madrid (2002), Paphos (2001), Venice (1999),
Manchester (1998, 1992, 1991), Leuven (1997), Stockholm (1996),
Arnhem (1995), Pisa (1994), and Louvain-la-Neuve (1993).


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 in these areas are especially welcome.

    The following is a non-exhaustive list of topics:

        * specification
        * synthesis
        * verification
        * transformation
        * specialization
        * analysis
        * optimization
        * composition
        * security
        * reuse
        * applications and tools
        * component-based software development
        * agent-based software development
        * software architectures
        * design patterns and frameworks
        * program refinement and logics for refinement

Submission Guidelines

Both research papers and tool demonstrations are solicited. Authors
can either submit extended abstracts or they can choose to submit full
papers. Both work in progress and tool demonstrations must be
submitted as extended abstracts. Contributions should be written in
English and should present original work not concurrently submitted to
other conferences or journals. Submissions should adhere to the LNCS
style (see http://www.springer.de/comp/lncs/authors.html).

 * Full papers: should not exceed 16 pages (including references) in
   llncs format. These papers will be judged using standard
   conference quality criteria. Accepted papers will automatically
   appear in the pre-proceedings as well as in the formal proceedings,
   published in the LNCS series. The submission deadline for full
   papers is April 15, 2006.

 * Extended abstracts: should not exceed 6 pages in llncs format and
   may describe work in progress or tool demonstrations. Promising
   abstracts relevant to the scope of LOPSTR will be selected for
   presentation at the conference and will appear in the
   pre-proceedings. The submission deadline for extended abstracts is
   April 30, 2006.

Accepted contributions have to be presented at the conference,
including a live demo in the case of tool demonstrations, and will be
collected in informal pre-proceedings which will be available at the

The formal proceedings of LOPSTR will be published in the Lecture
Notes in Computer Science series by Springer-Verlag. After the
conference, authors of extended abstracts describing research judged
to be mature enough for possible publication in the final proceedings
will be invited to submit full papers (or revised extended abstracts
in the case of tool demonstrations). These submissions will be
reviewed according to the usual refereeing procedures. If accepted,
these contributions will be included in the formal proceedings
together with the full papers submitted and accepted before the

Program Committee
    * Slim Abdennadher
    * Roberto Bagnara
    * Gilles Barthe
    * John Gallagher
    * Robert Glück
    * Michael Hanus
    * Pat Hill
    * Kazuhiko Kakehi
    * Andy King
    * Michael Leuschel
    * Fred Mesnard
    * German Puebla (Program Chair)
    * Sabina Rossi
    * Grigore Rosu
    * Wim Vanhoof
    * German Vidal

Important dates
    * Submission of full papers: April 15, 2006
    * Submission of extended abstracts: April 30, 2006
    * Notification: May 20, 2006
    * Camera-ready: June 10, 2006
    * Conference: July 12-14, 2006

    * Authors are asked to register with the online site and submit
      titles and abstracts of their intended submissions three days
      before the deadline, i.e., on April 12 for full papers and on
      April 27 for extended abstracts.

curry mailing list
Received on Mi Feb 15 2006 - 09:18:50 CET

This archive was generated by hypermail 2.3.0 : Do Jun 13 2024 - 07:15:07 CEST