[forwarded] CFP: Logic Programming Environments - Cfp

25 Oct 1999


      : Date: Fri, 22 Oct 1999 19:27:25 +0200 (MET DST)
: From: Mireille Ducasse Mireille.Ducasse@insa-rennes.fr
: Resent-From: Mats Carlsson matsc@sics.se
: ----------------------------------------------------------------------
: [Please distribute]
: 
: 	 The 10th Workshop on Logic Programming Environments
: 
: 		    an integrated workshop at the
: 	  International Conference on Logic Programming '99
: 
: 		       Monday November 29, 1999
: 			 Las Cruces, NM, USA
: 
:   Workshop URL: http://www.cs.usask.ca/projects/envlop/WLPE/10WLPE/
: 
: Program 
: 
: Main conference - 
: 
: 9:00 -- 9:10	Opening
:                                        
: 9:10 -- 10:10	Invited Talk 1
: 		Declarative Programming for a Messy World
:                 Fernando Pereira
:                                                      
: 
: Workshop on LP Environments 
: 
: 10:30 -- 11:00	A Type-based Static Diagnosis of CHIP
: 		Wlodek Drabent, Pawel Pietrzak and Jan Maluszynski
: 
: 11:00 -- 11:30 	Prolog Annotations as Transformations 
: 		Marija Kulas
: 
: 11:30 -- 12:00	The implementation technology of the Mercury debugger
: 		Zoltan Somogyi and Fergus Henderson
: 
: 12:00 -- 12:30	Logichart -- Intelligible Program Diagram for Prolog
: 		and its Processing System
: 		Yoshihiro Adachi,  Kensei Tsuchida,  Takanori Imaki,   Takeo Yaku
: 
: Main conference -- Session on LP Environments 
: 
: 14:00 -- 14:30  A Generic Approach to Monitor Program Executions,
: 		E. Jahier, M. Ducasse
: 		
: 14:30 -- 15:00 Generating Deductive Database Explanations
:                 S. Mallet, M. Ducasse
: 
: Break
: 
: Workshop on LP Environments 
: 
: 15:30 -- 16:15	Invited talk 
: 		The Alamo Execution Monitor Architecture
: 		Clinton Jeffery 
: 
: Break
: 
: 16:30 -- 17:00 	Knowledgesheet: A graphical spreadsheet interface for
: 		interactively developping constraint programs
: 		Gopal Gupta and Shameem Akhter
: 
: 17:00 -- 17:30	pro2doc: A Documentation Generator for Logic Programming Systems
: 		Manuel Hermenegildo
: 
: 17:30 -- 18:00	Specifying trace models with a continuation semantics
: 		Erwan Jahier, Mireille Ducassé and Olivier Ridoux
--
Wirtschaftsinformatik, FB5, Universitaet GH Essen
Gustaf.Neumann@uni-essen.de, neumann@computer.org
http://nestroy.wi-inf.uni-essen.de/Neumann.html