Newsgroups: comp.lang.prolog
Path: cantaloupe.srv.cs.cmu.edu!das-news.harvard.edu!news2.near.net!MathWorks.Com!news.duke.edu!news-feed-1.peachnet.edu!gatech!howland.reston.ans.net!EU.net!Austria.EU.net!newsfeed.ACO.net!swidir.switch.ch!scsing.switch.ch!josef!ifimac30.ifi.unizh.ch!user
From: fuchs@ifi.unizh.ch (Norbert E. Fuchs)
Subject: WLP 94 - Program
Message-ID: <fuchs-310894152358@ifimac30.ifi.unizh.ch>
Followup-To: comp.lang.prolog
Sender: news@ifi.unizh.ch (USENET News Admin)
Nntp-Posting-Host: ifimac30
Organization: IFI University of Zurich
Date: Wed, 31 Aug 1994 14:23:58 GMT
Lines: 354

--------------------------------------------------------------------

-----------------------------
Second Call for Participation
-----------------------------

The Gesellschaft fuer Logisches Programmieren GLP - a subsection of the
Association for Logic Programming ALP - and the sections 1.1 and 1.2 of the
Gesellschaft fuer Informatik GI invite you to participate at the

       Tenth Logic Programming Workshop WLP 94
       ---------------------------------------

       University of Zurich
       --------------------

       5 - 7 October 1994
       ------------------

Logic programming originates from the discovery that a subset of predicate
logic can be given a procedural interpretation thus forming the basis for
logic programming languages like Prolog, its extensions and successors.
The unique features of logic programming make it especially attractive for
many applications in artificial intelligence, program development,
databases, processing of language, computer aided design, programming with
constraints etc.

Program
-------
The program of the Logic Programming Workshop includes four invited
lectures, presentations of 33 submitted papers, and demonstrations. With
the exception of Thursday afternoon there is a single thread of sessions.
The languages of the workshop are German and English. 

Wednesday, October 5

9:15 - 9:30    Welcome

9:30 - 10:30   Invited Talk
               A. Krall
               Implementation Techniques for Prolog

11:00 - 12:30  Systems & Implementations
               G. Succi, J. Marino, A. Baudino, A. Durante
               The compilation of a set-based logic language for
               generic parallel machines
               O. Werner, A. C. Yamin, J. L. V. Barbosa, C. F. R.
               Geyer
               OPERA Project: An Approach Towards Parallelism
               Exploitation on Logic Programming
               J. E. Wunderwald
               Logikprogrammieren mit frei waehlbarer
               Auswertungsrichtung

13:30 - 15:00  Analysis, Synthesis & Transformation
               K. Bsaies
               A Schema Guided "Eureka Step" Discovery for
               Transforming Logic Programs
               F. Eklund, A. Kagedal 
               Optimization of GAPLog Programs
               P. Frigo, M. Marchiori
               Implementing Prolog Programs Free from Unification

15:30 - 17:30  Language, Semantics, Extensions:
               U. Badertscher, R. Marti, U. Reimer
               Integrating Terminological and Deductive Reasoning
               Tze Ho Fung
               A Modified Abductive Framework
               F. Stolzenburg
               Logic Programming with Sets by Membership-Constraints
               D. Pearce
               Some General Properties of Answer Set Inference for
               Extended Disjunctive Logic Programs

18:00 - 19:00  GLP Meeting

Thursday, October 6

9:00 - 10:00   Invited Talk
               F. Bry
               Logic without Model Theory

10:30 - 12:30  Databases
               S. Benzschawel
               An Other Method for Compiling Datalog
               S. Decker, C. Lingenfelder
               Ueberpruefung von Integritaetsbedingungen in
               deduktiven Datenbanken
               R. Gross, R. Marti
               DeCoR a Deductive Constraint Database System
               G. Wagner
               Transforming Deductive into Active Databases

13:30 - 14:30  Analysis, Synthesis & Transformation
               M. Vargas-Vera, D. Robertson
               An Environment for Building Prolog Programs Based on
               Knowledge about their Construction
               J. L. V. Barbosa, O. Werner, C. F. R. Geyer
               Automatic Granularity Analysis in Logic Programming

15:00 - 17:30  Language, Semantics, Extensions
               S. Brass, J. Dix 
               Computing Disjunctive Stable Semantics Based on
               Clark's Completed Database 
               I. Blot, I. Foucherot, F. Jacquenet
               Incremental generation of parser for knowledge
               manipulation in PROLOG
               S Hoelldobler, Y. Kalinke
               Ein massiv paralleles Modell fuer die
               Logikprogrammierung
               G. Meyer
               Zur Modellierung in der ordnungssortierten logischen
               Programmierung
               D. Seipel
               A Dual Fixpoint Approach for Deriving the Disjunctive
               Well--Founded Semantics

15:00 - 17:30  Applications
               M. Nitsche, U. Geske
               Logische Spezifikation von Steuerkonstrukten
               imperativer Programmiersprachen
               P. J. Soper, M. A. Pasha
               Logic programming Techniques for Handling
               Navigational Problems of Hypermedia Systems
               J. Posegga
               Logic programming as a Basis for Lean Deduction:
               Achieving Maximal Efficiency from Minimal Means
               R. Staudte, U. Erdmenger
               Hilfsmattaufgaben als arithmetische Constraints
               A. Mendes
               Prototyping Real-Time Systems Using Logic Programming

19:30          Conference Dinner

Friday, October 7

9:00 - 10:00   Invited Talk
               T. Fruehwirth
               Constraint Handling Rules

10:30 - 12:30  Constraint Logic Programming
               P. Barth, A. Bockmayr
               Global Consistency in CLP(PB)
               P. Refalo
               Solving Real Linear Ask Constraints
               F. Toni, G. Wetzel
               Towards a declarative and efficient glass-box CLP
               language
               A. Wolf
               Erweiterte Modellierung mit linearen Constraints und
               deren Einbettung in bestehende constraintlogische
               Programmiersprachen

13:30 - 14:30  Invited Talk
               N. Lavrac
               Inductive Logic Programming

15:00 - 16:30  Inductive Logic Programming
               N. Inuzuka
               Learning without Model-Theoretic Improvements
               A. Mahidadia, C. Sammut, P. Compton
               Helping Researchers To Construct Scientific Models: A
               Tool From Inductive Logic Programming
               Lubos Popelinsky
               Towards Program Synthesis From A Small Example Set
 
Program Committee
-----------------

       J. Eder, University of Klagenfurt
       N. E. Fuchs, University of Zurich
       U. Geske, GMD Berlin
       G. Gottlob, TU Vienna
       S. Hoelldobler, University of Dresden
       R. Marti, ETH Zurich
       L. Pluemer, University of Bonn

Organisers
----------

       N. E. Fuchs
       Department of Computer Science
       University of Zurich
       CH-8057 Zurich
       E-Mail  fuchs@ifi.unizh.ch

       G. Gottlob
       Christian Doppler Laboratory for Expert Systems
       Institute for Applied Informatics and System Analysis
       Technical University Vienna
       A-1040 Wien
       E-Mail  gottlob@vexpert.dbai.tuwien.ac.at

Venue
-----
The Logic Programming Workshop will be held in the Department of Computer
Science at the Irchel campus of the University of Zurich, a picturesque
park easily reached by public transport. The campus provides restaurants
and a coffee shop.

Fees for the Workshop
---------------------
The fee for the workshop is for

       members of ALP/GLP, CompulogNet, GI, SGAICO   SFr. 100
       students                                      SFr.  50
       others                                        SFr. 120

The fee covers admission to all lectures and presentations, a copy of the
proceedings, and morning and afternoon refreshments. For full paying
participants the fee includes also the conference dinner. Additional dinner
tickets can be bought during the workshop.

Application
-----------
Please send the attached application form before 21 September - preferably
by email - transferring at the same time your fee to the account of the
workshop.

Accommodation
-------------
We ask all participants to take care of their accommodation. Please contact
the pertinent addresses directly. For tourist information contact the
Zurich Tourist Association (Verkehrsverein Zurich, Bahnhofsplatz 15,
CH-8023 Zurich, telephone: +41-1- 211 40 00, fax +41-1-212 01 41).

Rooms have been reserved in hotels situated only a short distance from the
Irchel Campus. Please make your reservations as soon as possible using the
attached hotel reservation form.

A small number of more modest rooms are available at the dormitory of the
Hospital of the University of Zurich and can be booked on a
first-come-first-served basis. The rate for one night without breakfast is
SFr. 40. Please contact Ms. Vellumin (Wohndienst, Universitaetsspital,
Schmelzbergstrasse 26, CH-8091 Zurich, telephone +41-1-255 28 14) referring
to WLP 94.

The Zurich Youth Hostel (Jugendherberge SJH, Mutschellenstrasse 114,
CH-8038 Zurich, telephone +41-1-482 35 44, fax +41-1-481 99 92) is located
about 30 minutes by tram from the Irchel Campus.

Transportation
--------------
The easiest and cheapest way to get around in Zurich is a 24 hour ticket of
the Zurich Public Transport System which can be bought for SFr. 6.50 at
each tram and bus stop.


Sponsoring
----------
The workshop organisers gratefully acknowledge the generous support of the
following organisations: Association for Logic Programming ALP, ESPRIT
Network of Excellence CompulogNet, Gesellschaft fuer Informatik GI,
Department of Computer Science of the University of Zurich IFI, and Swiss
Group for Artificial Intelligence and Cognitive Science SGAICO.

--------------------------------------------------------------------

---------------------------------
Logic Programming Workshop WLP 94
Application Form
---------------------------------

Name

Organisation

Address

Country

Telephone

Fax

Electronic Mail Address

Fee

Member of Organisation /Member Number

Student (please send qualifying certificate)


Please return before 21 September to 

       N. E. Fuchs
       Department of Computer Science
       University of Zurich
       CH-8057 Zurich
       E-Mail fuchs@ifi.unizh.ch

and transfer your fee to 

       Account 1100-0052.371 "WLP 94"
       Zuercher Kantonalbank
       Postfach 715
       CH-8010 Zurich
       Switzerland

or send a EuroCheck to above address.


--------------------------------------------------------------------

---------------------------------
Logic Programming Workshop WLP 94
Hotel Reservation Form
---------------------------------

Name

Organisation

Address

Country

Telephone

Fax

Electronic Mail Address

Arrival Date            Arrival Time         Departure Date


Please indicate the desired number and category of rooms. Rates are in SFr.
per room and night with continental breakfast, service charges and taxes
included.

No.  Room            70-100    101-130   131-150   151-180   181-210
--------------------------------------------------------------------
     single               o          -         -         -         -
     single (bath/shower) -          o         o         o         o
     double               -          o         o         -         -
     double (bath/shower) -          -         -         o         o
     triple               -          -         -         o         o
     triple (bath/shower) -          -         -         -         o


Signature


Please return as soon as possible to 

       Verkehrsverein Zurich
       Kongressbuero
       Postfach
       CH-8023 Zurich
       Switzerland
       fax: +41-1-211 39 81

--------------------------------------------------------------------
