-

LOPSTR 2003

International Symposium on
Logic-based Program Synthesis and Transformation

Uppsala, Sweden

August 25 - 27, 2003

Aim & Scope

The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development, and the symposium is open to contributions in logic-based program development in any language paradigm. LOPSTR 2003 will be held at the University of Uppsala, in the same week as PLI 2003 (Principles, Logics, and Implementation of High-Level Programming Languages). PLI is a confederation of conferences and workshops including ICFP 2003 (ACM-SIGPLAN International Conference on Functional Programming) and PPDP 2003 (ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming).

Past events 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). 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 has a strong workshop character, in the sense that it is also intended to provide useful feedback to authors on their preliminary research. Formal proceedings of the symposium are produced only after the symposium, so that authors can incorporate this feedback in the published papers.

Registration is now open. Look here for the call for papers.

Local Organiser

Roland Bol
Uppsala Universitet, Sweden (email).

Program Chair

Maurice Bruynooghe
Katholieke Universiteit Leuven, Belgium

Program Committee

Invited Speaker

Michael Leuschel
University of Southampton, United Kingdom (email).
See here for other PLI'03 invited speakers.

Program

A preliminary program can be found here. And the preproceedings can be found here.

Formal Proceedings

After the symposium, authors of work that is judged mature for publication will be invited to submit a full paper describing original work neither published nor submitted elsewhere. These will be reviewed according to the usual refereeing procedures, and accepted papers will be published in a final collection of papers which are expected to be published in the Lecture Notes in Computer Science series by Springer-Verlag.

Accepted full papers that the PC considers of sufficient quality will be exempted from a second reviewing round.

Important dates