FIRST call for papers FIRST call for papers FIRST call for papers

Post-Conference Workshop
Implementation Technologies for Programming Languages based on Logic
held in conjunction with the
Joint International Conference and Symposium on Logic Programming
Manchester, UK
June 20, 1998

In cooperation with Compulog Net Area on Parallelism and Implementation Technologies (ParImp)

This workshop is a continuation of the series of workshops on Implementations of Logic Programming Systems, previously held with considerable success in Budapest (1993), Santa Margherita (1994) and Ithaca (1994), as well as the Compulog Net workshops on Parallelism and Implementation Technologies held in Madrid (1993-4), Utrecht (1995), Bonn (1996), and Port Jefferson (1997).
Historical Note:
The main intent of this workshop is to bring together, in an informal and friendly setting, key researchers on implementation technologies for logic-based languages and systems, in order to promote a much needed exchange of ideas and feedback on recent developments. To make the workshop more attractive to some participants, the workshop also serves as the annual Compulog Net Area meeting on Parallelism and Implementation Technologies (ParImp).
The workshop is focused on design and implementation of logic-based programming languages and systems whether sequential, parallel, or concurrent. Preference will be given to the analysis and description of implemented systems (or systems currently under implementation) and their associated techniques, problems found in their development or design, and steps taken towards the solution of these problems. Suggested topics of interest include, but are not limited to:
  1. standard and non-standard implementation schemes e.g. modification of WAM, translation to C, native-code generation etc.
  2. optimizing compilers and static analysis
  3. parallelism and concurrency
  4. techniques for the implementation of different extensions of logic programming e.g. constraints, multi-paradigm languages, tabulation etc.
  5. partial evaluation and program specialisation systems
  6. benchmarking and performance evaluation
  7. garbage collection
  8. programming environments
  9. tools for internet applications
  10. distributed and coordination logic programming systems
  11. experiences from using systems in real-life applications

Authors are invited to submit papers written in English and not exceeding 12 pages (see the homepage for a suggested format). To speed up the process of refereeing, authors are requested to submit their paper in Postscript 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.

Deadline for submissions is April 19, 1998. Authors submitting by electronic mail will receive an acknowledgement (also by electronic mail) within 2-3 days.

Accepted papers:
Submitted papers will be reviewed by at least two referees. Authors will be notified of the acceptance of their papers by May 18, 1998. To be included in the workshop proceedings (to be distributed to the workshop participants), revised versions of the accepted papers must be sent no later than May 31, 1998. Electronic versions of the accepted papers will be also made available through the workshop's homepage.
A collection of selected papers may be published in a special issue of a journal or with a major publisher.
Program committee:
Fergus Henderson  (Melbourne, Australia) 
Enrico Pontelli (New Mexico, U.S.A.) epontell at 
Konstantinos Sagonas (Leuven, Belgium) 
Vitor Santos Costa  (Porto, Portugal)
Kish Shen (London, UK)
Terrance Swift (Maryland, U.S.A.)
Paul Tarau (Louisiana, U.S.A.)
(*) Workshop Coordinator
Important dates:
 Workshop Coordinator:

Workshop Web Site: