pun@cui.unige.ch (PUN Thierry) (09/18/90)
____________________________________________________________
SWISS GROUP FOR ARTIFICIAL INTELLIGENCE AND
COGNITIVE SCIENCE.
SGAICO 90
SECOND ANNUAL MEETING
GENEVA, OCTOBER 2-3, 1990
PROGRAM
PROGRAM COMMITTEE:
Jean-Jacques Ducret (co-chairperson)
Faculte de psychologie et des sciences de l'education,
Universite de Geneve
Thierry Pun (co-chairperson)
Centre universitaire informatique, Universite de Geneve
Rene Bach,
ASCOM-Tech AG, Solothurn
Boi Faltings
Ecole polytechnique federale de Lausanne
Maghie King
ISSCO, Universite de Geneve
LOCAL ORGANIZING COMMITTEE:
Jean-Jacques Ducret, Carlos Leon, Fernanda Llanes
Faculte de psychologie et des sciences de l'education, Universite de
Geneve
CONFERENCE SITE :
Penta Hotel, av. Louis-Casa, 75-77 (near Airport and train station
of Cointrin, bus 10), phone: (022) 798 4700.
====================================================================
SCHEDULE
====================================================================
(S= paper session T=tutorial, W=workshop)
--------------------------------------------------------------------
Tuesday, Oct.2
--------------------------------------------------------------------
8:30-12:00 REGISTRATION
9:30-12:30
T1
Tutorial on Qualitative physics
B. Faltings, EPF Lausanne
T2
Tutorial on Model-based diagnosis
P. Struss, Siemens, Munich
9:30:00-12:00
W1
Production planing using AI tools
M. Hofmeister, ETH, Zurich
W2
AI and medicine
R. Appel, Univ. of Geneva
12:00-13:30 Lunch
13:30-13:45 Opening
13:45-15:00 Plenary session: learning, networks and AI,
Tomaso Poggio (MIT, USA)
15:00-15:30 Break
15:30-17:30
W3
Human and machine vision: cooperation or competition?
P.Y. Burgi, Univ. of Geneva
W4
Natural language processing
T. Russi, ETH, Zurich
W5
Cognitive science in Switzerland
H. Kaiser, Univ. of Bern
17:30-18:30 SGAICO General Assembly
18:30-19:30 Coktail
20:00 Dinner
--------------------------------------------------------------------
Wednesday, Oct.3
--------------------------------------------------------------------
9:00-11:30
W6
AI, social implications and responsibility
G. Cyranek, G. Duttweiler Inst., Zurich
W7
Computer vision
J.P. Ammann, Univ. of Neuchatel
W8
Intelligent learning environments
P. Dillenbourg, Univ. of Geneva
11:30-13:00 Lunch
13:00-15:00 Plenary paper session S1: Reasoning I
S2: Reasoning II
S3: NLP and belief systems
S4: Vision and adaptative systems
15:00-15:30 Break
15:30-16:00 Presentation of National Research Program 23: AI and
robotics, O. Kubler, ETH-Zurich
16:00-16:30 AI and cognitive science in Geneva: C. Pellegrini, Univ.
of Geneva
17:00-17:15 Awards and closure
====================================================================
PAPER SESSIONS:
PAPER SESSION S1 : Reasoning I
Baj F., "LENprover, an automated theorem prover for portable AI Lab"
Hua K., Faltings B. and Haroud D., "Dynamic constraint satisfaction in
a bridge design system"
Liu X., "System description in fault testing mechanisms"
Riese M., "A comparison of two temporal reasoning formalisms"
Rosner M., "Portable AI Lab: Progress report"
PAPER SESSION S2 : Reasoning II
Allemang D., "The use of functional models in the domain of automatic
debugging"
Faltings B., "Case-based representation of architectural design
knowledge"
Hofmeister M., "Production planning P From chaos to order... and
back?"
Reed N. E. and Johnson P. E., "Generative knowledge for computer
troubleshooting"
Stolze M., "Task level frameworks for cooperative expert system
design"
Tusveld F.H., "Design and manufacturing: integration through quality"
PAPER SESSION S3 : NLP and belief systems
Ballim A. and Wilks Y., "Relevant beliefs"
Clark R., "Learning from ambiguous input"
King M. and Falkedal K., "Using test suites in evaluation of machine
translation systems"
Maouene M., "PARIS (programme archeologique pour la reconnaissance et
l'interpretation des scnes) et contribution a l'etude des primitives
semantiques
Mouttet J., "Semantic and syntactic approaches to belief systems:
comparison and suggestions for future research"
Rassinoux A.-M., Baud R. H. and Scherrer J.-R.:" Proximity processing
of medical text"
PAPER SESSION S4 : Vision and adaptative systems
Burgi P.-Y. and Pun T., "Temporal analysis and modeling of the visual
circuitry"
Dvorak J. and Bunke H., "A hybrid knowledge representation and
reasoning tool for computer vision"
Ghaziri H. El, "Les problmes d'optimisation combinatoire et les
reseaux de neurones"
Rodrigues M. A. and Schnepf U., "On the evolution of adaptative
behavior"
Wong G., "Approaches to combining with uncertainty in an object
recognition system"
====================================================================
CONTACT
Inquiries should be sent to:
Jean-Jacques Ducret
FPSE, Uni-Dufour, 1211 Geneve 4
Phone: (022) 705 7623.
Email: ducret@cgeuge51.bitnet
====================================================================
REGISTRATION FORM:
====================================================================
To be sent to:
Ms. Anne-Marie Nicolet
SGAICO-90 annual meeting,
c/o SI Secretariat, Schwandenholzstr. 286,
8046 Zurich.
--------------------------------------------------------------------
First name and surname:
Institution:
Address:
Phone, fax or email:
--------------------------------------------------------------------
Are you a SGAICO member: (___), Full time student: (___)?
--------------------------------------------------------------------
Registration for tutorial:
--------------------------------------------------------------------
Will you attend tutorial T1:(___)? T2:(___)?
Price per tutorial: frs 50.-
(free for full-time students)
--------------------------------------------------------------------
Registration for SGAICO-90:
--------------------------------------------------------------------
A.
Prices for two days (tutorial not included):
Category Registration
registration
Full time students: (___): frs 50.-
(without meals and tutorials)
Workshop directors: (___) frs.140.-
SGAICO members : (___) frs 160.-
(incl. lunches and coktail)
Non members : (___) frs 210.-
(incl. lunches and coktail)
Coffee breaks and mineral water are included for all participants
--------------------------------------------------------------------
PLACE, DATE:
SIGNATURE:
====================================================================