From ducasse@irisa.fr Mon Oct 4 21:05:36 EDT 1993 Article: 8682 of comp.lang.prolog Xref: honeydew.srv.cs.cmu.edu comp.lang.prolog:8682 Path: honeydew.srv.cs.cmu.edu!rochester!udel!gatech!asuvax!cs.utexas.edu!uunet!math.fu-berlin.de!news.dfn.de!scsing.switch.ch!univ-lyon1.fr!jussieu.fr!univ-lille1.fr!zaphod.crihan.fr!news.univ-rennes1.fr!irisa.fr!irisa.fr!ducasse From: ducasse@irisa.fr (Mireille Ducasse) Newsgroups: comp.lang.prolog Subject: 5th Workshop on LP Envts @ ILPS'93 Date: 1 Oct 1993 17:22:22 GMT Organization: IRISA, Campus de Beaulieu, 35042 Rennes Cedex, FRANCE Lines: 115 Distribution: world Message-ID: <28hp0e$ab3@irisa.irisa.fr> NNTP-Posting-Host: pilou.irisa.fr [On ILPS'93 registration form tick W2. To get registration forms ask: kowey@sfu.ca] 5th Workshop on LOGIC PROGRAMMING ENVIRONMENTS in conjunction with INTERNATIONAL LOGIC PROGRAMMING SYMPOSIUM Vancouver, British Columbia, Canada 26 - 29 October 1993 PROGRAMME Friday October, 29 Afternoon Session 1: Explanation ======================= 2:00 Explaining Program Execution in Deductive Systems, by Tarun Arora, Raghu Ramakrishnan, William G. Roth, Praveen Seshadri,Divesh Srivastava. 2:30 Generating Explanation Trees even for Negations in Deductive DataBase Systems, by Guenther Specht. 3:00 Debugging Constraint Programs: The Abstraction Mismatch, by Markus Fromherz. 3:30 COFFEE BREAK Session 2: Stepwise Logic Program Construction =============================================== 4:00 A Tool to Support Stepwise Enhancement in Prolog, by Leon Sterling and Sitt Chen Chok. 4:30 Characterizing Prolog Programming Techniques, by Andrew Bowles and Wamberto Vasconcelos. Session 3: Program Analysis and LP Environments ============================================= 5:00 How to build quickly an efficient implementation of the domain Prop with DyALog, by P. Lefebvre and E. Villemonte de la Clergerie. 5:30 Compiling Control Revisited: A New approach Based Upon Abstract Interpretation for Constraint Logic Programs, by D. Boulanger, M. Bruynooghe and D. De Schreye. 6:00 Inheritance in Datalog, by M.-A. Oros and P. Gloess. Saturday October, 30 Morning Session 4: Visualisation ======================== 8:30 A Constraint-Based Declarative Display Description Language for Visualization, by T. Kusalik and G.M. Oster. 9:00 Programmer-Oriented Visualization of Parallel Logic Program Execution, by A.J. Kusalik and S.D. Prestwitch. Session 5: Environments and Tools ================================== 9:30 Quintus WorkPro Programming Enviroment: A Glue for Building Business Applications, by D. Ferguson, G. Saab and U. Yalcinalp. 10:00 MULTI/PLEX: Prolog tools for Formal Languages, by Peter B. Reintjes and Suresh Rajgopal. 10:30 COFFEE BREAK 11:00 Distributed Problem Solving: A Universal Computer Architecture, by V. Alves, A. Ribeiro and J. Neves. 11:30 A Product Assurance Environment for Prolog, by F. Belli and Oliver Jack. 12:00 Reliability Prediction and Reliability Assessment Environment or Prolog Programs, by A. Azem and F. Belli. 12:30 END OF THE WORKSHOP Organizing Committee: Mireille Ducasse, ECRC, Germany, Baudouin Le Charlier, Univ. Namur, Belgium Yow-Jian Lin, Bellcore, USA, Umit Yalcinalp, Quintus, USA