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


  • ICALP 2006, 33rd International Colloquium on Automata, Languages and Programming
  • PPDP 2006, 8th ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming
  • CSFW'06, 19th IEEE Computer Security Foundations Workshop


  • Submission of full papers: April 24, 2006 (was April 15)
  • Submissions of extended abstracts: May 4 2006 (was April 30)
  • 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 21 (was April 12) for full papers and on May 1 (was April 27) for extended abstracts.


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