🚀 go-pugleaf

From: pdk@uklirb.informatik.uni-kl.de (workshop organizers)
To: mod-ki@unido.informatik.uni-dortmund.de
Date: 16 Apr 91 07:50:18 GMT
Subject: <mod-ki 0686> Call for Participation: PDK'91
Keywords: Workshops, Knowledge Processing

mod-ki message 0686
************************************************************************
                                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
************************************************************************