🚀 go-pugleaf

From: "Norbert E. Fuchs" <fuchs@ifi.unizh.ch>
To: mod-ki@unido.informatik.uni-dortmund.de
Date: 11 Apr 90  1:18 +0200
Subject: LPSS '90
Keywords: 

mod-ki message 0428
************************************************************************
LPSS '90
 
Logic Programming Summer School
University of Zurich
Switzerland
August 13 - 18, 1990
 
DUE TO REASONS BEYOND MY INFLUENCE PUBLICITY OF LPSS '90 BY SURFACE
MAIL WAS SERIOUSLY DELAYED. IN ORDER TO PUT THOSE WITHOUT ACCESS TO
ELECTRONIC MAIL NOT AT A DISADVANTAGE I DECIDED TO SHIFT THE DEAD-
LINE FOR APPLICATION UP TO JUNE 15,1990.
 
   --- nef
 
-----------------------------------------------------------------
The Logic Programming Summer School 1990 is a joint event of  ALP
(Association  for Logic Programming), SGAICO (Swiss Group for Ar-
tificial Intelligence and Cognitive Science, a  Special  Interest
Group  of  the  Schweizer  Informatiker Gesellschaft SI), and the
University of Zurich.
 
 
Lecturers
---------
Francois Bry (ECRC, Munich, Germany)
Deductive Databases
 
John Gallagher (University of Bristol, Great Britain)
Program Analysis and Transformation
 
Robert A. Kowalski (Imperial College, London, Great Britain)
Logic Programming and Knowledge Representation
 
John W. Lloyd (University of Bristol, Great Britain)
Foundations of Knowledge Base Systems
 
Rainer Manthey (ECRC, Munich, Germany)
Deductive Databases
 
 
Course Director
---------------
Norbert E. Fuchs (University of Zurich, Switzerland)
 
 
Program Committee
-----------------
Rene Bach (Ascom Tech Ltd., Switzerland)
Robert Marti (ETH Zurich, Switzerland)
Helmut Schauer (University of Zurich, Switzerland)
 
 
About the Logic Programming Summer School
-----------------------------------------
The Logic Programming Summer School will give detailed up-to-date
insight  into solutions that logic programming offers to problems
of knowledge-base systems, and will allow participants to  evalu-
ate  the  methodologies  and techniques presented with respect to
their own work.
 
The backbone of the Logic Programming Summer  School  will  be  a
series  of  lectures  in  a  tutorial style on the foundations of
knowledge-base systems, on knowledge representation, on  default,
temporal  and  legal  reasoning, on  meta-programming, on program
analysis and transformation, and  on  deductive  databases.  Thus
both  theory  and  applications  of logic programming will be ad-
dressed.
 
The lectures will present different approaches  to  the  problems
and  could well serve as starting points for interesting and pro-
ductive discussions. The organizers of  the  Summer  School  will
provide facilities for discussions in small groups and for ad hoc
meetings.
 
Two to four lectures of 90 minutes are planned for each day. Thus
enough  time  will remain for discussions, workshops, and relaxa-
tion.
 
Computers will be available for demonstrations. Participants  who
want to demonstrate their work should contact the organizers.
 
A poster exhibition will allow participants to present their  own
work.
 
 
Participants
------------
The Logic Programming Summer School is intended  for  researchers
and  practitioners  of  logic programming and artificial intelli-
gence from all countries. Some background  in  logic  programming
and  knowledge-base  systems, and some practical experience, will
be a prerequisite. Reading material will be  distributed  to  the
participants  before  the Summer School. To encourage interaction
and personal contacts the number of participants will be limited.
Applicants  should complete the application form and return it to
the contact address before June 15.
 
 
Site of the Logic Programming Summer School 1990
------------------------------------------------
The site of the Logic Programming Summer School is the new campus
Irchel  of  the  University of Zurich. The campus is located in a
spacious park adjacent to a forest. Its buildings provide lecture
halls  of  different  sizes,  rooms for meetings and workshops, a
restaurant, and a coffeeshop. Ample car parking is available. The
campus  is  10-15  minutes  by  tram from the center of Zurich, a
medium-sized international city located on beautiful Lake Zurich.
Zurich  offers all of the amenities of much larger towns. Besides
its well-known banking district and shopping streets,  it  boasts
the charming and lively 'Altstadt' along the river Limmat. Zurich
is easily reached by all kinds of public transportation.
 
 
Contact Address
---------------
LPSS '90
Department of Computer Science
University of Zurich
CH-8057 Zurich
Switzerland
 
Fax     +41-1-257 4343
Telex   817251 unii ch
E-mail  fuchs@ifi.unizh.ch
 
 
Organization
------------
Ms. Anne-Marie Nicolet
c/o SI Secretariat
Schwandenholzstrasse 286
CH-8052 Zurich
Switzerland
 
 
Language
--------
The language of the Summer School will be English.
 
 
Dates
-----
Deadline for Applications       June   15, 1990
Notification of Acceptance      June   30, 1990
Payment of Course Fees          July   15, 1990
Start of Summer School          August 13, 1990
                                (Registration will start at 10 h,
                                lectures after lunch)
End of Summer School            August 18, 1990
                                (Lectures will end at noon)
 
 
Fees for the Summer School
--------------------------
The fee for the Logic Programming Summer School is SFr. 750.  For
members of ALP, SGAICO, or SI the course fee is SFr. 700.
 
The course fee includes
 
   admission to all lectures
   lunch on all days
   refreshments
   tram ticket for all days
 
Reduced fees are available for a limited number of graduate  stu-
dents.  Please enclose with your application a well justified re-
quest for financial support which also proves your current status
(copy of student ID, letter of recommendation, or similar).
 
 
Payment
-------
Please remit the fee only upon receipt of  the  admission  notice
and  the  invoice from the organizers. The acceptance letter will
indicate the paying modalities. Final  admission  to  the  Summer
School  is  guaranteed  only  after the reception of the complete
payment.
 
 
Cancellations
-------------
If you cancel an admitted registration after  July 15,  you  will
have  to  pay  a cancellation charge of 10% unless you name a re-
placement.
 
 
Accommodation
-------------
Hotel rooms at special  conditions  have  been  reserved  by  the
Verkehrsverein  Zurich  (Tourist  Office).  All  rooms are within
short distance of the site of the Summer School. Please  indicate
your room preferences on the hotel reservation form and return it
before July 1 to the Verkehrsverein Zurich,  Kongressburo,  Post-
fach, CH-8023 Zurich, Switzerland.
 
 
Sponsors
--------
ALP (Association for Logic Programming)
SGAICO (Swiss Group for AI and Cognitive Science)
University of Zurich, Switzerland
 
 
Deadline for Applications
-------------------------
June 15, 1990
 
-----------------------------------------------------------------
LPSS '90
 
APPLICATION FORM
 
Logic Programming Summer School
University of Zurich
Switzerland
August 13 - 18, 1990
 
-----------------------------------------------------------------
 
Please use typewriter or print
 
Title                           ______________________________
 
Name                            ______________________________
 
First Name(s)                   ______________________________
 
Institution/Organization        ______________________________
 
Address                         ______________________________
 
                                ______________________________
 
City                            ______________________________
 
Country                         ______________________________
 
Phone/Fax                       ______________________________
 
E-mail Address                  ______________________________
 
-----------------------------------------------------------------
 
I am a member of        o  ALP          o  SGAICO       o  SI
 
-----------------------------------------------------------------
 
I would like to present my own work with a poster   o  yes  o  no
 
I would like to make a demonstration                o  yes  o  no
 
-----------------------------------------------------------------
 
Please give some  information which the program committee can use
for the admission decision.
 
Formal education (degrees, where and when obtained, major subject
of study)
 
 
   _________________________________________________________
 
   _________________________________________________________
 
   _________________________________________________________
 
   _________________________________________________________
 
   _________________________________________________________
 
   _________________________________________________________
 
 
Professional career (organizations / institutions,  major  fields
of work, publications)
 
   _________________________________________________________
 
   _________________________________________________________
 
   _________________________________________________________
 
   _________________________________________________________
 
   _________________________________________________________
 
   _________________________________________________________
 
-----------------------------------------------------------------
 
I  hereby  apply  for  admission  as  a  participant of the Logic
Programming Summer School 1990.  I will pay the course fee  after
the reception of the admission notice and the invoice.
 
 
Location and Date       _____________________________________
 
Signature               _____________________________________
 
-----------------------------------------------------------------
 
Please return this application form before June 15 to
 
 
LPSS `90,  DEPARTMENT OF COMPUTER SCIENCE,  UNIVERSITY OF ZURICH,
CH-8057 ZURICH, SWITZERLAND
 
-----------------------------------------------------------------
LPSS '90
 
HOTEL RESERVATION FORM
 
Logic Programming Summer School
University of Zurich
Switzerland
August 13 - 18, 1990
 
-----------------------------------------------------------------
-----------------------------------------------------------------
 
Please use typewriter or print
 
Title                           ______________________________
 
Name                            ______________________________
 
First Name(s)                   ______________________________
 
Institution/Organization        ______________________________
 
Address                         ______________________________
 
                                ______________________________
 
City                            ______________________________
 
Country                         ______________________________
 
Phone/Fax                       ______________________________
 
E-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.
 
 
Number  Room      55-75 76-110 111-135  136-150  151-180  181-220
_________________________________________________________________
 
        single      o     o       -        -        -        -
 
        single      -     o       o        o        o        o
        bath/shower
 
        double      -     o       o        -        -        -
 
        double      -     -       o        o        o        o
        bath/shower
 
        triple      -     -       -        o        o        -
 
        triple      -     -       -        -        o        o
        bath/shower
_________________________________________________________________
 
 
Location and Date       _____________________________________
 
Signature               _____________________________________
 
-----------------------------------------------------------------
 
Please return this hotel reservation form before July 1 to
 
 
VERKEHRSVEREIN  ZURICH, KONGRESSBURO,  POSTFACH,  CH-8023, ZURICH,
SWITZERLAND
************************************************************************