Program

  Proceedings (ps)

  Proceedings (pdf)
 

Important dates:

submission deadline 30 april

notification of acceptance 31 may

final version due 15 june

workshop 31 july (half a day)

The discussion will be focused on both design, implementation, and optimization of logic and constraint programming systems. Preference will be given to the analysis and description of implemented systems (or currently under implementation) and their associated techniques, problems found in their development or design, and steps taken towards the solution of these problems.

Topics include, but are not limited to:
 

standard and non-standard sequential implementation schemes (e.g., generalization/modification of WAM, translation to C, etc.);

compile-time analysis;

memory management and garbage collection issues;

balance between compile-time effort and run-time machinery;

implementation of parallel and concurrent logic and constraint programming systems;

techniques for the implementation of different declarative programming paradigms with basis on, or extending, logic and constraint programming, such as non-monotonic reasoning systems;

performance evaluation of logic and constraint programming systems

user oriented tools for performance evaluation and enhancement

software design aspects of LP/CP systems: components, patterns, etc.

design and implementation of programming environments

experiences from using systems in real-life applications

interaction between high-level optimisations/transformations/specialisation and low-level issues

low-level cost models to guide high-level optimisations

History

The last years have seen continuous progress in the computing technology available both for the academic and commercial computing environments. Examples include improved processor performance, increased memory capacity and bandwith, faster networking technology, and Operating System support for cluster computing. Combined with recent advances in compilation technologies, these improvements are causing high--level languages to be regarded as good candidates for programming complex, real world applications. Logic Programming and Constraint Programming, in particular, seem to offer one of the best alternatives, as they couple a very high level of abstraction and a declarative nature with an extreme flexibility in the design of its execution model. This flexibility is the key to implicit exploitation of parallelism, allowing immediate and transparent reuse of logic and constraint programs written for sequential machines. An orthogonal but synergistic issue in the pursue of high--performance, high-level languages are the recent advances in implementation techniques for logic and constraint languages and systems. These techniques aim both at achieving both flexibility in the design, thus making powerful extensions easier to implement, and at reaching good performance as measured in terms of speed and memory consumption, thus making those languages and systems amenable for real world applications.

Workshop Goals

Our intent is to bring together, in an informal setting, people involved in research on sequential and parallel implementation technologies for logic and constraint programming languages and systems, in order to promote a much needed exchange of ideas and feedback on recent developments. We hope that the workshop will provide meeting ground for people working on implementation technology for different aspects of execution of logic-based and constraint-based languages and systems. This workshop continues a tradition of succesful workshops on Implementations of Logic Programming Systems, previously held with considerable success in Budapest (1993) and Ithaca (1994), the Compulog Net workshops on Parallelism and Implementation, and CICLOPS'01 in Paphos (Cyprus).

Workshop Format

The workshop will be a half-day event and it will be held on 31 July. The workshop will allow for presentation and/or demonstration of accepted contributions. The time allotted to each contribution will depend on their number. The prospective authors will be encouraged to get to the point of their contribution in an informal atmosphere.
The submissions will be internally reviewed by the workshop organizers for quality and appropriateness.

Submission Information

Authors are invited to submit papers written in English and not exceeding 12 pages. To speed up the process of refereeing, authors are requested to submit their paper in Postscript or PDF form by electronic mail to the workshop coordinator (e-mail address below). Conventional paper copies may be sent to the contact address below only if access to electronic media is not available. Submissions should contain full return mail and email address (if applicable), and FAX number (if applicable) of the contact author. Prospective authors are kindly requested to first send an indication of interest together with a paper title to the organizers.

Organisation

Program Committtee:

Paul Tarau (USA)
Hai-Feng Guo (USA)
Christian Schulte (Sweden)
Michael Leuschel (England)
Kostis Sagonas (Sweden)
Martin Henz (Singapore)
Ricardo Lopes (Portugal)
Manuel Carro (Spain)

Contact:

Bart Demoen
Dept. Computer Science
Celestijnenlaan 200A
3001 Leuven
Belgium
fax: +32 (0) 16 327996
e-mail Bart.Demoen@cs.kuleuven.be