LPSS92: Logic Programming Summer School

LPSS92: Logic Programming Summer School

Post by Michael Ratclif » Tue, 05 May 1992 18:28:01

                                 LPSS '92

           Second International Logic Programming Summer School

                           Zurich, Switzerland
                          7 - 11 September 1992

Industrial Applications of Logic Programming for Constraint Handling
Knowledge-Based Systems, Deductive Databases, Software Engineering
Natural and Formal Languages, Planning and Scheduling etc.

Tutorial Speakers
Ken Bowen (ALS, USA)
Alan Bundy (University of Edinburgh, Scotland)
Alexander Herold (ECRC, Germany)
Michael Hess (ISSCO, Switzerland)
Robert Kowalski (Imperial College, Great Britain)
Shalom Tsur (MCC, USA)

Organized on behalf of the ESPRIT Network of Excellence in
Computational Logic by

Gerard Comyn                  Norbert E. Fuchs
ECRC                          Institut fuer Informatik
Arabellastr. 17               University of Zurich
D-8000 Munich 81              CH-8057 Zurich
fax  +49-89-926 99 170        fax  +41-1-363 00 35
email  ger...@ecrc.de         email  fu...@ifi.unizh.ch

COMPULOG-NET is the Network of Excellence in Computational Logic
supported by the ESPRIT Program of the Commission of the European
Communities (CEC). Its scientific objective is to lay the
foundations of an integrated software environment for building
knowledge-based applications, by extending the logic programming
paradigm with enhancements from the areas of databases, artificial
intelligence and logic.

Europe pioneered the field of Logic Programming, and still retains
an important position in this field. The Network in Computational
Logic builds upon this strength and creates a European community of
researchers with shared long term goals and a common technical
basis. The main functions of COMPULOG-NET are to coordinate research
activities, to facilitate cooperation and to promote dissemination
and exploitation of results by industry.

Since its foundation in February 1991, over fifty nodes including
leading universities and industrial organisations have become

The Logic Programming Summer School LPSS '92, focussing on
industrial applications, is organised on behalf of COMPULOG-NET by
two of its nodes: European Computer-Industry Research Centre (ECRC)
and the Institut fuer Informatik of the University of Zurich

Objectives of the Logic Programming Summer School
In the early 1970's Colmerauer in Marseille and Kowalski in
Edinburgh demonstrated that logic can be used as an efficient
programming language, and the first Prolog interpreter was
implemented by the Marseille group. These activities were the
beginning of the new field of Logic Programming.

The main emphasis of Logic Programming has been on databases,
computer linguistics, knowledge representation, specifications,
prototyping, expert systems, planning, and problem solving.
Moreover, Logic Programming has strong relationships with other
computing technologies such as functional programming, object-
oriented programming, and relational databases. Nowadays, Prolog
implementations have advanced sufficiently that Prolog can be used
directly as a very high-level application programming language.

Logic Programming offers a new approach to developing and
maintaining complex applications, particularly when symbolic
information is being manipulated. Many organisations are already
benefiting from the reduced software costs offered by this
technology. They are finding that Logic Programming offers the right
approach to develop sophisticated applications.

The general objectives of the Summer School LPSS '92 are to make
Logic Programming more widely known to industrial and commercial
users. Participants will receive in-depth tuition about different
aspects of Logic Programming from some of the leading practitioners
in the field. Detailed project presentations will focus on
experiences of using Logic Programming for developing innovative
applications. Demonstrations, poster sessions and a small exhibition
serve to complement the presentations.

The Summer School offers participants a unique opportunity to
discuss their specific problems with the best specialists in the
domain of Logic Programming, and to develop the know-how to be able
to evaluate and apply this new technology within their own

The Logic Programming Summer School is designed specifically for the
needs of computer professionals in industry and commerce. All those
involved in developing, evaluating, approving or introducing
leading-edge computer technology can benefit. Decision-makers and
strategists can gain insights that will enable them to make valued

The Logic Programming Summer School is suitable for everyone wanting
to understand the basic technology and how it can be applied in
practice. In order to ensure that participants are able to get the
maximum benefit from the tutorials and project presentations,
background reading material and reference lists will be distributed
well in advance. To encourage interaction and personal contacts, the
number of participants is strictly limited.  Applicants should
complete the attached form and return it as quickly as possible to
guarantee a place.

The program of the Logic Programming Summer School consists of
tutorials and of projects presentations addressing the following
fields: knowledge-based systems, constraint handling, deductive
databases, processing of natural and formal languages, software
engineering, planning and scheduling.

Researchers well-known in the Logic Programming community will give
tutorials in their fields of expertise and introduce into the
project presentations. While most of the tutorials presume some
knowledge of the respective fields, there will be one introductory
tutorial for participants with no or little knowledge in logic

Groups from industry and from research institutions will present
their projects. There will be ample time for detailed accounts of
the projects, for demonstrations, and for discussions.

Here is an overview of the program.

Monday, September 7


Ken Bowen (ALS, USA)
Logic Programming Fundamentals

Ken Bowen (ALS, USA)
Industrial Applications of Logic Programming

Project Presentation
Lutz Pluemmer (University of Bonn, Germany)
Expert Systems in Mining

Speaker: George Metakides (CEC, Belgium)

Tuesday, September 8

Alexander Herold (ECRC, Germany)
Constraint Logic Programming

Project Presentation
Mehmet Dincbas (Cosytec, France)
Industrial Applications of Constraint Logic Programming

Project Presentation
Owen Evans (ICL, Great Britain)
Factory Scheduling using Finite Domains

Project Presentation
Michel d'Andrea (Bull, France)
Scheduling and Optimisation in the Automobile Industry

Project Presentation
Pierre-Joseph Gailly (BIM, Belgium)
Wolfgang Krautter (FAW, Germany)
The Prince Project and Its Applications

Wednesday, September 9

Shalom Tsur (MCC, USA)
Deductive Databases

Project Presentation
Christoph Beierle (IBM, Germany)
Protos-L - Knowledge-Based Scheduling Applications

Project Presentation
Carlo Chiopris (Icona, Italy)
The SECReTS Banking Expert System

Project Presentation
John Fox (ICRF, Great Britain)
Deductive Databases and Clinical Dilemmas

Project Presentation
Edward Freeman (US West, USA)
Knowledge-Based Strategic Planning

Thursday, September 10

Michael Hess (ISSCO, Switzerland)
Natural and Formal Language Processing

Project Presentation
Udo Pletat (IBM, Germany)
Lilog - Knowledge Representation for Natural Language Processing

Project Presentation
Peter Reintjes (Quintus, USA)
A Set of Tools for VHDL Design

Project Presentation
Deborah Dahl (Unisys, USA)
Pundit - A Large-Scale Natural Language Processing System

Project Presentation
Thomas Grossi (CAP Gemini Sogeti, France)
The ESTEAM Natural Language Interface

Speakers: David Talbot (CEC, Belgium), Herv^N Gallaire (GSI,

Friday, September 11

Alan Bundy (University of Edinburgh, Scotland)
Software Engineering Issues

Project Presentation
Mireille Ducasse (ECRC, Germany)
OPIUM - An Advanced Debugging System

Project Presentation
Peter Breuer (University of Oxford, Great Britain)
Reverse Engineering of COBOL Programs

Robert Kowalski (Imperial College, Great Britain)
Research Problems and European Research Programmes

Assessment and Discussion

Poster Sessions and Demonstrations
Additional projects will be presented in the form of poster sessions
and demonstrations. For demonstrations various hardware platforms
(IBM, Macintosh, Sun) can be provided by the organisers.

We are inviting a small number of companies - especially software
houses and publishers - to exhibit their products related to logic

Social Events
Two social events will allow participants to meet and to exchange
information. On Monday evening there will be a reception. Guest
speaker will be G. Metakides (CEC, Brussels). On Thursday night
participants will be invited to a banquet. After dinner talks will
be given by H. Gallaire (GSI, Paris) and by D. Talbot (CEC,

Participants will receive preparatory material (extended abstracts,
reading lists etc.) before the summer school, and detailed
documentation (proceedings of the summer school etc.) at the summer
school.  The Proceedings of LPSS '92, containing transcripts of the
tutorials and project presentations, will be published by Springer
Verlag in their Lecture Notes in Artificial Intelligence (LNAI)

Fees for the Summer School
The fee for the Logic Programming Summer School is ECU 1000 for
industrial participants and ECU 600 for academic participants. A
late payment surcharge of ECU 200 will be levied on all payments
received after May 31, 1992.

The Logic Programming Summer School fee covers

        admission to all lectures and presentations
        a pre-Summer School information pack
        a copy of the Summer School Proceedings
        lunch and refreshments
        banquet and reception
        a tram ticket valid during the time of the Summer School

Additional banquet and tram tickets are available at extra cost for
accompanying persons.

Please remit the fee only after your application has been accepted
and an invoice issued. The acceptance letter will indicate the
possible methods of payment.

Once your fee has been paid in full, you will receive a receipt
along with the pre-Summer School information pack and the hotel
reservation form.

Cancellation Charges
If you decide to cancel your application after it has been accepted,
a cancellation charge of 20% will be levied unless you name a
replacement. No refund will be possible after August 15, 1992.

The Logic Programming Summer School will be held at the Irchel
campus of the University of Zurich. This picturesque campus is
located in a spacious park adjacent to a forest. Its buildings
provide lecture halls of various sizes, meeting rooms, a restaurant
and a coffee shop. Ample car parking space is available.

The Irchel campus is 10-15 minutes by tram from the centre of
Zurich, a medium-sized international city located on the beautiful
Lake Zurich at the foot of the Alps. Zurich offers all the amenities
of much larger cities. Besides its well-known banking district and
shopping areas, it boasts a charming and lively "Altstadt" situated
along the river Limmat. Zurich is easily accessible by all kinds of
transportation and has a large international airport.

Rooms will be reserved for participants at special Summer School
rates in hotels situated only a short distance from the University
of Zurich. Reservation forms will be sent as part of the pre-Summer
School information packs.

Official Address
Ms. Anne-Marie Nicolet
Schwandenholzstr. 286
CH-8046 Zurich

fax +41-1-371 2300
email s...@ifi.unizh.ch

The Summer School organisation gratefully acknowledges the generous
support of the following organisations

        Commission of the European Communities (CEC)
        European Computer-Industry Research Centre (ECRC)
        Digital Equipment Corporation (DEC)
        University of Zurich

Logic Programming Summer School LPSS '92

Application Form







Electronic Mail Address.............................................

Please return to

LPSS '92
Ms. Anne-Marie Nicolet
Schwandenholzstr. 286
CH-8046 Zurich
fax +41-1-371 2300
email s...@ifi.unizh.ch