---------- Forwarded Message ---------- Subject: [SICStus] 11WLPE CFP Date: Tue, 12 Jun 2001 16:54:16 -0600 From: Tony Kusalik kusalik@cs.usask.ca To: APPIAr@fct.unl.pt, appiar@ncc.up.pt, aiia@di.unito.it, alp@doc.ic.ac.uk, alp-list@intellektik.informatik.th-darmstadt.de, benelog@cs.kuleuven.ac.be, ccl@dfki.uni-sb.de, cl-adverts@spock.inf.tu-dresden.de, clp@cis.ohio-state.edu, clp@comp.nus.edu.sg, clp@cs.cmu.edu, clp@iscs.nus.sg, clpr-users@cis.ohio-state.edu, clpr-users@comp.nus.edu.sg, clpr-users@iscs.nus.sg, comlab@comlab.ox.ac.uk, compulognet-parimp@dia.fi.upm.es, compulog-list@cwi.nl, compunode@dfki.de, concurrency@cwi.nl, constraints@cirl.uoregon.edu, constraints-list@cwi.nl, cpworld@gmu.edu, cs-logic@cs.indiana.edu, csp@carlit.toulouse.inra.fr, discipl@inria.fr, eacsl@dimi.uniud.it, eapls@mailbase.ac.uk, eatcs-it@cs.unibo.it, eclipse_users@ecrc.de, gulp@di.unipi.it, life-users@cs.sfu.ca, logic-announce@uclink4.berkeley.edu, lp-internet@doc.ic.ac.uk, lprolog-list@cis.upenn.edu, mercury-ads@cs.mu.oz.au, oz-users@dfki.uni-sb.de, prolog-vendors@sics.se, quintus-users@sics.se, sepia_users@ecrc.de, sicstus-users@sics.se! , seworld@cs.colorado.edu
The 11th Workshop on Logic Programming Environments
an integrated workshop at the International Conference on Logic Programming ICLP'01
December 1, 2001 Paphos, Cyprus
Workshop URL: http://www.cs.usask.ca/projects/envlop/WLPE/11WLPE/
CALL FOR PRESENTATIONS
The eleventh 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 or live demonstrations. 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 languages * 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 language system. * 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 the Computer Research Repository (instructions will be very similar to those that can be found at http://www.irisa.fr/lande/ducasse/aadebug2000/corr-instructions.html) and at the WLPE archive site (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 workshop on Logic Programming Environments held in conjunction with ICLP'99. 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
Submissions are invited for presentation during the workshop. All presentations will be subject to peer review.
Research papers and demo descriptions submitted for presentation should be between 6 and 15 pages in length. 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 PDF (preferred) or PostScript form and submitted electronically (by electronic mail). Authors may wish to compress (gzip) and encode (uuencode) large PDF or PostScript 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 or software demonstration; the title, authors, addresses and abstract; as well as any compression or encoding used.
Submissions should be sent to kusalik@cs.usask.ca.
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 complete.
Final paper versions will be required in both Latex and either PDF or PostScript form, with electronic submission.
DATES
Deadline for submissions: Sep 7, 2001 Notification of review results: Oct 5, 2001 Final Draft of Papers for printed proc. due: Oct 17, 2001 Final Draft of Papers for CoRR proc. due: Nov 19, 2001
Workshop Dec 1st, 2001
ORGANIZERS
Mireille Ducasse (chair) INSA, Dept. Informatique 20, av. des Buttes de Coesmes F-35043 Rennes CEDEX France email: ducasse@irisa.fr http://www.irisa.fr/lande/ducasse/
Anthony Kusalik Computer Science Department University of Saskatchewan Saskatoon, Saskatchewan S7N 0W0 Canada email: kusalik@cs.usask.ca http://www.cs.usask.ca/homepages/faculty/kusalik/
German Puebla Facultad de Informática Universidad Politécnica de Madrid E-28660 Boadilla del Monte, Madrid, Spain email: german@fi.upm.es http://clip.dia.fi.upm.es/~german
PROGRAM COMMITTEE (provisional)
Slim Adennadher Maria Garcia de la Banda Nicolas Beldiceanu Paul Brna Pierre Deransart Yves Deville Mireille Ducasse Gopal Gupta Matthew M. Huntbach Erwan Jahier Anthony Kusalik (program chair) Baudouin Le Charlier Ulrich Neumerkel German Puebla Kostis Sagonas Joachim Schimpf Alexandre Tessier
-------------------------------------------------------