FINAL CFP: 8th Workshop on Logic Programming Environments

Tony Kusalik kusalik at cs.usask.ca
Thu Apr 3 11:19:53 AEST 1997


We apologize if you receive this more than once.

               8th Workshop on Logic Programming Environments

                            July 11 or 12, 1997
                              Leuven, Belgium
                        in conjunction with ICLP '97

                           Call-for-Presentations

----------------------------------------------------------------------------

URL http://www.cs.usask.ca/projects/envlop/8WLPE/

----------------------------------------------------------------------------

Description

The development of better environments is a long-standing research area in
logic programming. Though much has been accomplished, many open research
topics remain. 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 Eighth 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 be limited to:

User interfaces and human engineering
     e.g. execution control, execution visualization, intelligent or
     enhanced debugging, multimedia
Software development tools
     e.g. code partitioning and module support, code management, debugging,
     performance analysis and tuning, rapid GUI development
Teaching and learning
     aids for teaching or learning LP languages or techniques
Provisions for new paradigms
     special characteristics or techniques for dealing with parallel (LP)
     languages, constraint-based (LP) languages, languages merging logical
     and functional paradigms, visual logic languages, etc.
Language system tools
     e.g. embedded windowing and graphics capabilities, source-to-source
     transformers, global analyzers, solvers as component software
Interfacing to external systems
     e.g. foreign-language interfaces, database and network interfaces,
     interfaces to external windowing and graphics systems

The workshop will be informal in nature, allowing ample time for questions
and discussions, as well as presentations. All presentations will be subject
to peer review. Duration of the workshop is dependent upon the level of
participation received, but is expected to be one half-day. Proceedings for
the workshop will be publically available via WWW. A hardcopy of the
proceedings will also be available (details still to be finalized).

This workshop follows the successful 7th Workshop on Logic Programming
Environments, which was held in conjunction with ILPS'95.

----------------------------------------------------------------------------

Submissions

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 are restricted to 6 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.

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 form and submitted
     electronically (by electronic mail). Authors may wish to compress and
     encode large 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 the type of submission;
     the title, authors, and addresses; the type of file is being sent
     (format and source operating system); and any compression or encoding
     used.

   * Submissions should be sent to kusalik at cs.usask.ca .

     If submission by e-mail is impossible, prospective presentors should
     contact one of the workshop organizers 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 also be required in machine-readable form,
preferrably PostScript, with electronic submission.

----------------------------------------------------------------------------

Dates

 Deadline for submissions:              April 7, 1997
 Notification of review results:          May 5, 1997
 Final version of papers due:            June 2, 1997

 Workshop                        July 11 or 12, 1997

----------------------------------------------------------------------------

We welcome your input

Suggestions regarding the workshop or proposals for panel discussions in
focused areas are also invited.

----------------------------------------------------------------------------

Organizers

Anthony J. Kusalik 
     Computer Science Department
     University of Saskatchewan 
     Saskatoon, Saskatchewan 
     S7N 0W0 Canada 
     tel: (306) 966 4904 fax: (306) 966 4884 
     email: kusalik at cs.usask.ca 

Ulrich Neumerkel 
     Institut f|r Computersprachen
     Technische Universitdt Wien
     A - 1040 Wien 
     Austria
     tel: +431 58801 4477 fax: +431 5057838
     email: ulrich at complang.tuwien.ac.at 

Mireille Ducasse'
     INSA, Dept. Informatique
     20, av. des Buttes de Coesmes
     F-35043 Rennes CEDEX
     France
     tel: +33 2 99 28 64 85 fax: +33 2 99 28 64 58 
     email: Mireille.Ducasse at irisa.fr 
     
----------------------------------------------------------------------------



More information about the users mailing list