Call for Presentations

Description

The user environment provided is often a strong factor in the acceptance of any computer language or computing paradigm. Logic programming is one field which lags behind others in terms of "environments". Thus, it remains an important area for development, especially if proponents of logic programming wish to establish wider use and acceptance of the paradigm.

The Twelfth 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.

The workshop will be informal in nature, allowing ample time for questions and discussions, as well as presentations.

Topics

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

e.g. interfaces to foreign-languages, database and file systems, windowing and graphics systems

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.

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 PDF (preferred) or PostScript form and submitted by electronic mail. If submission by e-mail is impossible, please contact the workshop chair. Authors may wish to compress (or gzip) large files before sending them.

• 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.

Submissions should be sent to Alexandre.Tessier@lifo.univ-orleans.fr.

Final paper versions will be required in both LaTeX and either PDF or PostScript form, with electronic submission.

Proceedings

Proceedings for the workshop will be publicly available at the Computer Research Repository (CoRR): http://www.acm.org/repository/

Important Dates

Organizing Committee

Program Committee