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, 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

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

CO-LOCATED AND JOINT EVENTS:

• 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

lopstr06@dsi.unive.it

Conference Secretariat

Key Congress S.r.l

Via Makallè, 75

35138 Padova, Italy

Fax: +39 049 8729512