[comp.ai] LPSS '90

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

=================================================================