C o m p u t a t i o n a l    L o g i c

Coordinator's Report


Coordinator's Report

Danny De Schreye and Maurice Bruynooghe

Over the last few years, it has become a standard procedure in the area of Program Development not to have a separate area meeting. The area is sufficiently active in organising special events and workshops to allow for a good forum to present new work. In particular, the LOPSTR workshop and SAS, as well as more general conferences such as ICLP, ILPS, PLILP and ALP, and their post-conference workshops, have also this year provided a great number of talks on interesting new contributions to the area.

On the most specific of these meetings, you find a report in this section, as well as a preliminary call for papers for the next LOPSTR. You also find two project reports: one on the Esprit Basic Research project DiSCiPl and one on joint work of Leeds and Kent Universities. Futhermore, the section includes a group description for the Logic Programming group at the Hebrew University of Jerusalem.

Maurice Bruynooghe and Danny De Schreye

Dept. of Computer Science

K.U. Leuven, Celestijnenlaan 200A

3001 Heverlee, Belgium

Tel: +32 16 201015

Fax: +32 16 205308

e-mail: {maurice,dannyd}@cs.kuleuven.ac.be

[ Coordinator's Report ] LOPSTR'97: Seventh International Workshop on Logic Program Synthesis and Transformation. ] ILPS'97 Workshop on Specialization of Declarative Programs and its Applications ] LOPSTR'98 ] Detecting and Exploiting Determinacy in Logic Programs ] The DiSCiPl Project: Debugging Systems for Constraint Programming ]

Home ] Automated Deduction Systems ] Computational Logic & Machine Learning ] Concurrent & Constraint Logic Programming ] Language Design, Semantics & Verification Methods ] Logic Based Databases ] Program Development ] Knowledge Representation & Reasoning ]