fuchs@unizh.ifi.unizh.ch (04/11/90)
-----------------------------------------------------------------
-----------------------------------------------------------------
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
=================================================================