[comp.lang.functional] Call for Participation PDK'91

pdk@uklirb.informatik.uni-kl.de (workshop organizers) (03/25/91)

                                PDK '91

                        CALL FOR PARTICIPATION

                        International Workshop

                                  on

                   PROCESSING DECLARATIVE KNOWLEDGE

           -- Representation and Implementation Methods --

               July 1-3, 1991  Kaiserslautern, Germany


The high description level of declarative representation formalisms 
facilitates readability, maintenance, and parallelization of knowledge 
bases; their orientation toward logic enables clear semantics. However, the 
processing of large declarative knowledge bases is becoming efficient only 
with the use of modern implementation techniques. For instance, the 
increased gap to von Neumann machines may be bridged by (global) static 
analysis and (multi-stage) transformation/compilation of the representation 
formalisms. The workshop addresses researchers and developers with 
interests ranging from logic programming to expert-system shells. Critics 
of declarative-knowledge processing (e.g. having procedural, object-
oriented, or connectionist points of view) are also welcome.

The technical program will consist of:

   -  Contributed papers selected by the international program committee
   -  Invited talks by leading experts in the field:
           Pascal van Hentenryck, Brown University, Providence
           Andrew Taylor, University of Sidney
           Carlo Zaniolo, MCC Austin
   -  A panel discussion: "Declarative and procedural paradigms - do they 
      really compete?"
   -  Demonstrations of implemented systems


Registration fee:

Early registration (before May  15):         290.- DM   (or $210)
                                             (students:  90.- DM or  $65)

Late registration (received after May  15):  340.- DM   (or $245)
                                             (students:   140.- DM or  $100)

Registration fee will cover the technical program of the conference, a 
banquet, coffee/tea etc., and a copy of the preprints of the proceedings 
and the book proceedings per registrant. A limited number of scholarships 
is available, especially to researchers from Eastern Europe (please send an 
informal application showing your involvement in the field). For further 
information, registration and hotel reservation forms, please contact the 
conference office:

       PDK
       DFKI GmbH
       P. O. Box 2080
       6750 Kaiserslautern
       F. R. Germany
       Phone: +49-631-205-3470, FAX: +49-631-205-3210
       email: pdk@informatik.uni-kl.de


Program Committee:

Hassan Ait-Kaci, DEC Paris
Hans-Juergen Appelrath, University of Oldenburg
Woody Bledsoe, University of Texas at Austin
Egon Boerger, University of Pisa
Harold Boley, DFKI Kaiserslautern
Maurice Bruynooghe, Katholieke Universiteit Leuven
Tim Finin, Unisys Paoli
Hervi Gallaire, Bull Paris
Jan Grabowski, Humboldt University Berlin
Alexander Herold, ECRC Munich
Robert Kowalski, Imperial College London
Hans Langmaack, University of Kiel
Jean-Louis Lassez, IBM Yorktown Heights
Michael M. Richter, DFKI Kaiserslautern (Chair)
Erik Sandewall, University of Linkvping
John Taylor, Hewlett Packard Bristol
Andrei Voronkov, Int. Lab. of Intelligent Systems Novosibirsk


Associated Societies:

The workshop is organized by the German Research Center for Artificial 
Intelligence (DFKI) in cooperation with the Association for Logic 
Programming (ALP) and the Gesellschaft fuer Informatik e.V. (GI).


System Presentations:

Applications for system presentations consisting of a system mini-
description of 1-3 pages as well as a specification of the 
hardware/software required should arrive by 3 June 1991. Our computing 
environment includes SUNs 4/390 with Ivory Boards, a KCM, and Macintoshs 
IIfx. 3 June 1991 is also the deadline to apply for the exhibition of books 
and products related to the scope of PDK'91.


Location:

The workshop will take place at the University of Kaiserslautern, Building 
57. Kaiserslautern is located in the southwest of Germany with good car and 
train connections to the airports of Frankfurt (150 km), Stuttgart (150 
km), Saarbruecken (70 km), and Paris (450 km).


Miscellanea:  

You are invited to arrive on Sunday 30 June 1991: there will be a workshop 
reception in the evening. Lunch is available in the university cafeteria or 
off the campus. There will be a banquet on Tuesday, 2 July 1991, which is 
included in the registration fee. Tickets for accompanying persons are 
available at the registration desk during the workshop. A hike through the 
adjacent Palatinate Forest will be offered, giving space for informal 
conversations.




*****************************************************************************

                                  PDK'91

                             Registration form

+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

  Please mark the item that applies to your registration:

  Early registration                     Late registration
       (before 15 May 1991):                  (received after 15 May 1991):

  [ ]  290.- DM (or $210)                 [ ]  340.- DM (or $245)
  [ ]   90.- DM (or $65) for students*    [ ]  140.- DM (or $100) for students*


  * Please enclose a copy of your valid student-ID

  Registration will include a copy of the preprints of the proceedings, the
  book proceedings, a banquet, and coffee/tea during the workshop.

  If written notifications of withdrawal arrive before 1 June 1991, 90 % of
  the registration fee will be refunded. Refunds cannot be made if 
  participation is cancelled after 1 June 1991.

  Name: ____________________________________________________________________

  Address: _________________________________________________________________

  __________________________________________________________________________

  Phone: _____________________________ e-mail:______________________________



  Date                       Signature
       _____________________             ___________________________________


+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
    Please send to:     PDK
                        DFKI GmbH
                        P.O. Box 2080
                        6750 Kaiserslautern / F.R. Germany

                        Telefax: +49-631-205-3210
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Please enclose the fee either using traveler's check (preferably in DM) or
check made payable to DFKI GmbH, or transfer the amount to the following bank
account:

Account-Name: DFKI-GmbH, Sonderkonto PDK'91
Account-No:   028 000 842
Bank:         Stadtsparkasse Kaiserslautern
BLZ:          540 510 10
*****************************************************************************


*****************************************************************************

                                  PDK'91

                          Hotel Reservation Form

+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
            IMPORTANT: For orders received after  31 May 1991 
                       hotel reservation cannot be guaranteed
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

    Hereby I order a hotel room according to the following specifications:

    Arrival-Date: ________________         Departure-Date: _________________

    [ ]  single room with                  [ ]  double room with
         bath or shower                         bath or shower
    [ ]  single room without               [ ]  double room without
         bath or shower                         bath or shower

    Prices:   [ ]  less than 60.- DM (e.g. for students)
              [ ]   60.- to 100.- DM
              [ ]  100.- to 160.- DM

    Arrival:  [ ]  by plane and/or train
              [ ]  by car


    Name: __________________________________________________________________

    Address: _______________________________________________________________

    ________________________________________________________________________

    Phone: ____________________________ Fax: _______________________________


    Date                       Signature  




+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
    Please send to:     STADTVERWALTUNG
                        Verkehrs- und Informationsamt
                        Postfach 1320
                        6750 Kaiserslautern / West Germany

                        Telefax: +49-631-852-2553
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
The Verkehrsamt in Kaiserslautern is committed to arrange your accomodations.
Your should (air) mail your order early, so that we can find a free room in
the category specified. If this is not possible, a reservation is arranged
in the next lower or higher category.
The Verkehrsamt acts only as a mediator. Reservations arriving in time will
be confirmed by letter or telefax. Otherwise the hotel address can be asked
for at the Verkehrsamt, phone +49-631-852-2317 or fax +49-631-852-2553.
*****************************************************************************