Ca' Foscari logo LOPSTR 2006  
International Symposium on
Logic-based Program Synthesis and Transformation

July 12 - 14, 2006
S. Servolo, Venice - Italy



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, UK (2005, 2000), Verona, Italy (2004), Uppsala, Sweden (2003), Madrid, Spain (2002), Paphos, Cyprus (2001), Venice, Italy (1999), Manchester, UK (1998, 1992, 1991), Leuven, Belgium (1997), Stockholm, Sweden (1996), Arnhem, the Netherlands (1995), Pisa, Italy (1994), Louvain-la-Neuve, Belgium (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
  • specialisation
  • analysis
  • optimisation
  • 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


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

  • 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 conference.

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


Program Chair
Germán Puebla
Facultad de Informática
Universidad Politécnica de Madrid
Local Arrangements Chair
Sabina Rossi
Dipartimento di Informatica
Università Ca' Foscari di Venezia
Conference Secretariat
Key Congress S.r.l
Via Makallè, 75
35138 Padova, Italy
Fax: +39 049 8729512