|
|
|
|
|
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
- Elvira Albert (Spain)
- Roland Bol (Sweden)
- Maurice Bruynooghe (Belgium)
- Michael Butler (UK)
- Jim Caldwell (USA)
- Wlodek Drabent (Poland)
- Tom Ellman (USA)
- Norbert E. Fuchs (Switzerland)
- Robert Glück (Japan)
- Gopal Gupta (USA)
- Ian Hayes (Australia)
- Catholijn Jonker (the Netherlands)
- Andy King (UK)
- Mario Ornaghi (Italy)
- Maurizio Proietti (Italy)
- German Puebla (Spain)
- Julian Richardson (USA)
- Olivier Ridoux (France)
- Sabina Rossi (Italy)
- Wim Vanhoof (Belgium)
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
- May 25, 2003: submission deadline for full papers
- June 8, 2003: submission deadline for extended abstracts
- June 22, 2003: notification of authors
- July 30, 2003: early registration deadline
- August 1, 2003: deadline for version to appear in the informal
pre-proceedings
- August 25-27, 2003: symposium
- December 1, 2003: submission deadline for revised papers
- February 1, 2004: notification of authors