shneider@cui.UUCP (09/10/87)
SGAICO (Swiss Group for Artificial Intelligence and Cognitive Science)
CONFERENCE AND TUTORIAL ON LOGIC AND DATABASES
HEC, University of Lausanne, Switzerland
(sorry for being late, but the deadlines are not so real ....)
-------------------------------------------------------------------------------
CONFERENCE, Wednesday, October 7, 1987
Jean-Marie Nicolas (ECRC, Munich): On Deductive Databases
Shamim A. Naqvi (MCC, Austin): The Problem of Recursive Queries
in Knowledge Based Systems}
Laurent Vieille (ECRC, Munich): DEDGIN: A Deductive Query-Answering
Database System}
Eric Simon (INRIA, Paris): A Production Rule Based Approach
to Deductive Databases
Richard Paul Braegger (ETH,Zurich): Knowledge Based Tools
for the Design of Data Bases
Conference Fees SI or SVI/FSI Sfr. 120.-
non members Sfr. 200.-
students Sfr. 50.-
-------------------------------------------------------------------------------
TUTORIAL, Tuesday, October 6, 1987
A one-day introduction to the subject will be offered both in French and in
German by Pierre Bonzon (HEC, Lausanne), Robert Marti and Alfred Ultsch (ETH,
Zurich). The number of participants will be limited to 30 per group. Familiarity
with DBMS concepts will be assumed and emphasis will be on logic concepts.
Tutorial Fees SI or SVI/FSI Sfr. 130.-
non members Sfr. 210.-
students Sfr. 20.-
-------------------------------------------------------------------------------
Program Committee Pierre Bonzon (University of Lausanne), Jiri Kriz (BBC,Baden)
Daniel Schneider (University of Geneva), Alfred Ultsch (ETHZ)
Registration: Contact the SI secretariat: (+41 1) 481 73 90 (Ms. A.-M. Nicolet)
SI/SGAICO, P.O.Box 570, 8027 Zurich, Switzerland.
(Late registration for the conference is possible at the registration desk)
------------------------------------------------------------------------------
From: Daniel K.Schneider, ISSCO, University of Geneva, 54 route des Acacias,
1227 Carouge (Switzerland), Tel. (..41) (22) 20 93 33 ext. 2116
--> to EAN/X400/MHS (on Unix, (preferable :]) :
EAN/X400:shneider@cui.unige.chunet | if reply does
ARPA: shneider%cui.unige.chunet@csnet-relay.arpa | not work,
CSnet: shneider%cui.unige.chunet@csnet-relay.csnet | keep trying:
(or:....%relay.cs.net@relay.cs.net) | mailers are
JANET: shneider%cui.unige.chunet@cs.ucl.ac.uk | *great* fun!
uucp: mcvax!cernvax!cui!shneider | ;-( |+{ :=[
--> to BITNET (on VMS, the easy solution):
BITNET: SCHNEIDE@CGEUGE51 ARPA: SCHNEIDE%CGEUGE51.BITNET@WISCVM
== Warnings: (1) hitting the reply key may not work
(2) CHUNET will be renamed soon into CH
--
Daniel K.Schneider, ISSCO, University of Geneva, 54 route des Acacias,
1227 Carouge (Switzerland), Tel. (..41) (22) 20 93 33 ext. 2116
--> to EAN/X400/MHS (on Unix, (preferable :]) :
EAN/X400:shneider@cui.unige.chunet | if reply does
ARPA: shneider%cui.unige.chunet@csnet-relay.arpa | not work,
CSnet: shneider%cui.unige.chunet@csnet-relay.csnet | keep trying:
(or:....%relay.cs.net@relay.cs.net) | mailers are
JANET: shneider%cui.unige.chunet@cs.ucl.ac.uk | *great* fun!
uucp: mcvax!cernvax!cui!shneider | ;-( |+{ :=[
--> to BITNET (on VMS, the easy solution):
BITNET: SCHNEIDE@CGEUGE51 ARPA: SCHNEIDE%CGEUGE51.BITNET@WISCVM