[mercury-users] CFP LP environments and ICLP'99 workshop
Mireille.Ducasse at irisa.fr
Fri Jul 23 02:10:02 AEST 1999
The 10th Workshop on Logic Programming Environments
an integrated workshop at the
International Conference on Logic Programming '99
November 29 - December 4, 1999
Las Cruces, NM, USA
Workshop URL: http://www.cs.usask.ca/projects/envlop/WLPE/10WLPE/
CALL FOR PRESENTATIONS
The characteristics of logic programming languages both necessitate
and motivate innovative approaches in the areas of user environments
and programming tools. This is especially true for newer logic
programming paradigms, such as constraint and concurrent languages.
The tenth Workshop on Logic Programming Environments will provide a
forum for researchers, developers, programmers, and users to exchange
ideas and results on all aspects of environments for logic
programming. This includes work related to design and interface
issues, new techniques and tools, and the solution of noteworthy
problems arising, for example, from new logic programming languages or
interesting application areas.
Both state-of-the-practice and state-of-the-art presentations are
welcome. Presentations may be in the form of papers, posters, or
demonstrations (live or video-taped). Specific topic areas relevant to
the workshop include, but are not limited to:
* software development
e.g. program composition aids, automatic transformation
techniques, code partitioning and module schemes
* software validation
e.g. testing, automated property provers
* software maintenance
e.g. automated and declarative debugging
* execution visualization
e.g. for program debugging, or performance analysis and tuning
* teaching and learning
e.g. program-development aids for teaching logic programming
* provisions for new paradigms
i.e. special characteristics or techniques for dealing with
logic programming languages other than Prolog, such as parallel
(LP) languages, constraint-based (LP) languages, languages
merging logical and functional paradigms, visual logic languages, etc.
* interfacing to other language system tools
e.g. interfacing to partial evaluators, source-to-source transformers,
global analyzers, abstract interpreters in the underlying
* integration with other systems
eg. interfaces to foreign-languages, database and file systems,
windowing and graphics systems
The workshop will be informal in nature, allowing ample time for
questions and discussions, as well as presentations. Proceedings for
the workshop will be publically available via WWW at
http://www.cs.usask.ca/projects/envlop/WLPE/. A hardcopy of the
proceedings will also be available at the conference site.
This workshop follows the successful workshops on Logic Programming
Environments, held in conjunction with ICLP'97 and ILPS'97. The first
LPE workshop was held in at ILPS'89 in Cleveland, and there has been a
workshop every one or two years since.
Submissions are invited for presentation during the workshop. All
presentations will be subject to peer review. The bulk of
presentations is expected to be research papers, though posters and
software demonstrations (either live or on video tape) are also
welcome. Authors are encouraged to follow a "position paper" style,
and also to identify whether state-of-the-practice or state-of-the-art
work is being described or presented.
Research papers submitted for presentation should be between 6 and 15
pages in length.
Participants wishing to make poster presentations or give
demonstrations must submit an abstract of one to two pages describing
the work. Demonstrations should be approximately 20 to 30 minutes in
duration. Any equipment needs should be noted with the submission.
Suggestions regarding the workshop or proposals for panel discussions
in focused areas are also invited.
The following guidelines apply to all submissions:
The title, author name(s), affiliation(s), and address(es)
(both postal and electronic) must be clearly given on the first
page of the paper or abstract.
The actual paper or abstract must be in PostScript or PDF form
and submitted electronically (by electronic mail). Authors may
wish to compress (gzip) and encode (uuencode) large PostScript
or PDF files before sending them to increase the probability of
their safe and timely delivery.
A separate notification-of-submission message should also be
sent by electronic mail. This message should identify whether
the submission corresponds to a paper, poster or software
demonstration; the title, authors, and addresses; and any
compression or encoding used.
Submissions should be sent to ducasse at irisa.fr.
If submission by e-mail is impossible, prospective presentors
should contact the workshop chair at the addresses below.
Authors can expect confirmation by electronic mail within 24
hours after submission that their materials have been
received. A subsequent message from the organizers will
indicate whether the submission is viewable/printable and
Final paper versions will be required in both Latex and PostScript
form with electronic submission.
Deadline for submissions Sep 6, 1999
Notification of review results Oct 18, 1999
Final Draft of Papers due Nov 8, 1999
Workshop Nov 29-Dec 4, 1999
Mireille Ducasse (chair)
INSA, Dept. Informatique
20, av. des Buttes de Coesmes
F-35043 Rennes CEDEX
email: ducasse at irisa.fr
Anthony J. Kusalik
Computer Science Department
University of Saskatchewan
S7N 0W0 Canada
email: kusalik at cs.usask.ca
Department of Computer Science and Software Engineering
University of Melbourne
email: lee at cs.mu.oz.au
Facultad de Informática
Universidad Politécnica de Madrid
E-28660 Boadilla del Monte,
email: german at fi.upm.es
mercury-users mailing list
post: mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe: Address: mercury-users-request at cs.mu.oz.au Message: subscribe
More information about the users