[mercury-users] CFP LP environments and ICLP'99 workshop

Mireille Ducasse 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/


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
 	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
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 
       Saskatoon, Saskatchewan 
       S7N 0W0 Canada 
       email: kusalik at cs.usask.ca 

Lee Naish 
       Department of Computer Science and Software Engineering 
       University of Melbourne 
       Melbourne, Victoria 
       email: lee at cs.mu.oz.au 

German Puebla 
       Facultad de Informática 
       Universidad Politécnica de Madrid 
       E-28660 Boadilla del Monte, 
       Madrid, Spain 
       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 mailing list