FIRST call for papers FIRST call for papers
FIRST call for papers
for Programming Languages based on Logic
held in conjunction with the
Joint International Conference and Symposium on Logic
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
This time, the workshop will coincide with the 50th Anniversary of
the World's First Stored-Program Computer that was built in the Department
of Computer Science at the University of Manchester in 1948. The world's
first computer program was run on 21 June 1948 on the "baby" Mark1 at the
University of Manchester.
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).
As part of the celebrations to mark the 50th anniversary of this event,
there will be a competition to program the machine. The winner will have
the opportunity to run their program on the replica of the original machine.
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:
standard and non-standard implementation schemes e.g. modification of WAM,
translation to C, native-code generation etc.
optimizing compilers and static analysis
parallelism and concurrency
techniques for the implementation of different extensions of logic programming
e.g. constraints, multi-paradigm languages, tabulation etc.
partial evaluation and program specialisation systems
benchmarking and performance evaluation
tools for internet applications
distributed and coordination logic programming systems
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
Deadline for submissions is April 19, 1998.
Authors submitting by electronic mail will receive an acknowledgement (also
by electronic mail) within 2-3 days.
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
A collection of selected papers may be published in a special issue
of a journal or with a major publisher.
||(New Mexico, U.S.A.)
||epontell at cs.nmsu.edu
|Vitor Santos Costa
(*) Workshop Coordinator
Indication of interest: as soon as possible
Submission of papers: April 19, 1998
Notification of authors: May 18, 1998
Final version sent by: May 31, 1998
JICSLP'98 Conference: June 15-20, 1998
Workshop: June 20, 1998
Dept. of Computer Science
Leuven Celestijnenlaan 200A B-3001
Phone: +32 (16) 32.75.60
FAX: +32 (16) 32.
Workshop Web Site: http://www.cs.nmsu.edu/lldap/jicslp98