nilsh@infolog.se (Nils Hagner) (07/07/90)
ECAI90
9th European Conference on Artificial Intelligence
August 6-10, 1990
Stockholm, Sweden
Organizers:
European Coordinating Committee for Artificial Intelligence (ECCAI)
In collaboration with Swedish Artificial Intelligence Society (SAIS)
Program Committee:
L. C. Aiello (Program Chairperson)
G. Attardi A. Martelli
W. Bibel H. Niemann
P. Bradzil L. F. Pau
Y. Bratko D. A. Pospelov
S. Cerri M. Reinfrank
H. Coelho M. Rosner
T. Cohn E. Sandewall
P. Cointe J. A. Self
D. Driankov J. H. Siekmann
J.-O. Eklundh L. Siklossy
D. Etiemble D. Sleeman
L. Farinas del Cerro S. Steel
O. Fagueras L. Steels
Y. Kodratoff V. L. Stefanuk
A. Lansner O. Stock
J.-P. Laurent C. Torras
M. Lenzerini Y. Waern
B. Lepape W. Wahlster
R. Lopez de Mantaras L. A. Wallen
P. Maes B. Wielinga
Local Arrangements Committee:
E. Sandewall (IDA)
G. Hagert (SAIS)
B. Gustavsson (SAIS)
Tutorial Program:
Monday afternoon:
Computer Vision and Artificial Intelligence (O. Faugeras)
Control Theory for AI Researchers (Lennart Ljung)
Artificial Intelligence and Data Bases (M. Lenzerini)
Tuesday morning:
Model-Based Diagnosis of Technical Systems (P. Struss)
Connectionism (T. Kohonen)
Tuesday afternoon:
Natural Language Systems (W. Wahlster)
Qualitative Physics (B. Faltings)
Invited Speakers:
* Wednesday, 9:30-10:30: Collaborative Planning for Discourse.
Barbara Grosz, Harward University
* Thursday, 9:00-10:00: Why Scheduling is Difficult: A CSP
Perspective.
Mark Fox, Carnegie Mellon University
* Friday, 9:00-10:00: Belief Revision and Non Monotonic Logic:
Two Sides of the Same Coin?
Peter G{rdenfors, Lund University
Application Workshops:
* Tuesday, August 7: Financial Applications of AI
* Tuesday, August 7: Industrial Diagnostic Knowledge Based Systems
GENERAL INFORMATION
===================
During the Conference all sessions will be held at the Norra Latin
City Conference Center. The working language will be English.
Registration fee
---------------- ECCAI Member Non-member Student
received before June 1, 1990 SEK 2.600:- SEK 2.900:- SEK 1.400:-
received before July 15, 1990 SEK 3.100:- SEK 3.400:- SEK 1.900:-
received after July 15, 1990 SEK 4.000:- SEK 4.000:- SEK 3.000:-
(For students, an approved student certification, attested by two per-
sons plus their address, has to be enclosed with the registration form
if you want to utilize the student reduction.)
Hotel reservation
-----------------
Hotels of different price categories have been booked for the period
from August 5 to August 11. As a free service for the delegates, Stock-
holm Convention Bureau, SCB, will make your hotel reservation at no
extra charge. In order to confirm your room request the registration
form, duly filled in, together with the hotel deposit has to reach SCB
by June 11, 1990.
You will receive a written confirmation stating the name and address
of hotel booked. When you check out, the hotel deposit will be deducted
from your account on presentation of the voucher which you will receive
when registering at the Norra Latin Conference Center. If the preferred
hotel category is fully booked, SCB reserves the right to book you
another available alternative.
Hotel Price Categories:
Single room Double room Deposit
SEK/night SEK/night SEK
A 1.520:- 1.695:- 1.700:-
B 1.190:- 1.385:- 1.100:-
C 780-920:- 890-1.090:- 1.100:-
D 325:- 375:- 400:-
Rates include buffet-breakfast, service and VAT. For inquiries, re-
quests, changes or cancellations, please contact Stockholm Convention
Bureau directly.
Your hotel deposit will be refunded provided cancellation is recei-
ved by SCB before July 16, 1990. After this date a cancellation fee of
SEK 300:- will be charged.
Payment
-------
All payments should be made in SEK (Swedish Kronor). Ways of payment
are indicated on the registration form. Please make sure that the dele-
gate's name is clearly legible in order to ensure that the payment will
be correctly registered. A confirmation letter will be sent to you as
soon as your registration form and payment has arrived. Personal, Com-
pany or Euro Cheques are not accepted.
Cancellation
------------
A written notification of cancellation must be sent to Stockholm Con-
ference Bureau. If received before July 15, 1990 all fees, except for a
cancellation charge of SEK 400 will be refunded. No refunds will be
made for cancellations received after July 15, 1990. For cancellation
of room reservation check under "Hotel reservation."
Congress secretariat and registration desk
------------------------------------------
For information on registration, hotel reservation, social program etc.
Before and after the Conference:
ECAI
c/o Stockholm Convention Buerau
P O Box 6911
S-102 39 Stockholm, Sweden
Telephone: +46 8 23 09 90
Telex: 11556 Congres S
Telegram: Congressus
Telefax: +46 8 34 84 41
During the Conference:
ECAI
c/o Norra Latin City Conference Center
P O Box 70471
S-107 26 Stockholm, Sweden
Telephone: +46 8 791 66 00
Telex: 19778 FHCONFS
Telefax: +46 8 21 69 71
A registration desk till be open at the Norra Latin City Conference
Center during the Conference:
Monday, August 6 11.00-18.00
Tuesday, August 7 08.00-18.00
Wednesday, August 8 08.00-18.00
Thursday, August 9 08.00-18.00
Friday, August 10 08.00-18.00
Technical Program - Wednesday
=============================
WA1 - Knowledge Representation 1
* Subsumption Algorithms for Concept Description Languages. 11:00
B. Hollunder, W. Nutt, M. Schmidt-Schauss
* An Efficient Method for Hybrid Deduction. 11:25
F. M. Donini, M. Lenzerini, D. Nardi
* A Formal Definition for Expressive Power of Knowledge 11:50
Representation Languages.
F. Baader
* SB-ONE+ - Dealing with Sets Efficiently. 12:15
J. Allgayer
* A Cardinality-Based Approach to Incomplete Knowledge. 12:40
B. Owsnicki-Klewe
WB1 - Knowledge Engineering 1
* A General Consistency (Checking and Restoring) Engine 11:00
for Knowledge Bases.
A. Beauvieux, P. Dague
* A Conceptual Model for Construction of Sets of Test 11:25
Samples for Knowledge Bases.
L. Vignollet, M. Ayel
* A New Method to Checking Rule Bases for Incon- 11:50
sistency: A Petri Net Approach.
P. Meseguer
* Providing Advice through Dialogue. 12:15
N. Gilbert, S. Buckland, D. Frolich, M. Jirotka,
P. Luff
* Hypotheses Generation for Knowledge Validation. 12:40
T. Hoppe
WC1 - Natural Language Understanding 1
* Towards a Plan-Based Synthesis of Illustrated Documents. 11:00
E. Andre, T. Rist
* Computing Salience 11:25
B. Geurts
* The Role of Goals in Dialog Control. 11:40
H. Horacek, M. Gerlach
* A Model for the Automatic Processing of Argumentative 12:05
Dialogues.
S. Guez
* Free Presumption Checking in King Kong. 12:20
J. Schaffer Sider
* A Method to Predict the Next Utterance Using a Four.layered 12:35
Plan Recognition Model.
T. Yamaoka, H. Iida
WD1 - Cognitive Modeling
* An Automatic System for Acquisition of Natural Concepts. 11:00
P. B. Musgrove, R. J. Phelps
* Computational Representation of Mental Spaces: A 11:25
Functional Approach.
B. Magnini, C. Strapparava
* Relevant Beliefs. 11:50
A. Ballim, Y. Wilks
* An Explanation Component for a Connectionist 12:15
Inference System.
J. Diedrich
* An Extension to Kowalski & Sergot's Event Calculus 12:40
M. Borillo, B. Gaume
WA2 - Knowledge Representation 2
* Semantics for Defeasible Inheritance. 14:30
K. Schlecta
* Skeptical Inheritance Can Be More Expressive. 14:55
E. Gregoire
* Mutliple Perspectives and Classification Mechanism in 15:20
Object Oriented Representation.
O. Marino, F. Rechenmann, P. Uvietta
* Semantics and Validation Procedures of a Multi-modal 15:45
Logic for the Formalisation of Multi-agents Universes.
P. Gaborit, A Potet, C. Sayettat
WB2 - Automated Reasoning 1
* A Resolution Calculus for a Logic Based on Vaguely 14:30
Defined Predicates.
D. Fehrer
* A Resolution Calculus with Dynamic Sort Structures 14:55
and Partial Functions.
C. Weidenbach, H. J. Ohlbach
* Universal Quantification by Case Analysis 15:20
A. Brogi, P. Mancarella, D. Pedreschi, F. Turini
* Reasoning with Inconsistent Information in a 15:45
Possibilistic Setting.
D. Dubois, H. Prade
WC2 - Machine Learning 1
* Automating the Refinement of Knowlege-Based Systems. 14:30
S. Craw, D. Sleeman
* Learning from Observation in Noisy Environments Via 14:55
Integration of EBL and SBL Techniques.
L. Di Pace, F. Fabrocini
* Heuristic Refinement of Logic Programs. 15:20
M. Aben, M. van Someren
* Knowledge-Intensive Case-Based Reasoning and 15:45
Sustained Learning.
A. Aamodt
WD2 - Perception, Vision and Robotics 1
* Context Knowledge and Search Control Issues in 14:30
Object-Oriented Prolog-Based Image Undestanding.
B. Bell, L. F. Pau
* Using Schemata to Interpret Images of Mechanical 14:55
Engineering Drawings.
T. P. Pridmore, T. P. Joseph
* Some Concepts on Analogical Planning in Assembly Tasks. 15:20
A. Camurri, M.Frixione, G. Vercelli, R. Zaccaria
* Reinforcement Learning: Discovering Stable Solutions 15:45
in the Robot Path Planning Domain.
J. del R. Millan, C. Torras
WA3 - Knowledge Representation 3
* Generalized Stable Models: a Semantics for Abduction. 16:30
A. C. Kakas, P. Mancarella
* Contributions to a Proof Theory for Generic Defaults. 16:55
R. A. de T. Guerreiro, M. A. Casanova, A. S. Hemerly
* Strong Circumscription Specifies Stable Semantics of 17:20
Normal Logic Programs.
P. Minh Dung
* Circumscription and Horn Theories. 17:45
Y. Moinard
* Nonmonotonic Dynamics of Default Logic. 18:10
M. A. Williams, N. Y. Foo
WB3 - Knowledge Engineering 2
* PRAGMA: A System for Actively Capturing Procedural 16:30
Knowledge via a Graphical Interface.
E. Sommer, F. von Martial, F. Victor
* Elicitation and Verification of a Functional 16:55
Specification.
B. S. Doherty, B. Pauli, J. Barthelemy
* Acquisition of Inference Structure. 17:20
X. Tong
* Automatic Acquisition of Terminological Knowledge 17:35
from Texts.
U. Reimer
WC3 - Intelligent Education, Epistemology and Social Issues
* A Generic Tutoring Environment, 16:30
K. Van Marcke
* A Tutorial Dialogue Model to Encourage Externalisation 16:55
and Reflection.
A. Blandford
* One Step in the Counter-Representationalist Direction. 17:10
H. Bersini
* Shedding Light on Patients' Problems: Integrating 17:35
Knowledge Based Systems into Medical Practice.
A. L. Rector, C. A. Goble, B. Horan, T. J. Howkins,
S. Kay, W. A. Nowlan, A. Wilson
* TalksBack: An Application of AI Techniques to a 17:50
Communication Prosthesis for the Non-Speaking.
L. Broumley, J. L. Arnott, A. Y. Cairns, A. F. Newell
WD3 - ESPRIT Session
* Overview of Artificial Intelligence in ESPRIT. 16:00
B. Lepape, G. Metakides
* Achievements from the Industrial Point of View. 16:30
F. Arlabosse
* Achievements from the Basic Research Point of View. 17:00
R. Kowalski
* ESPRIT, a Synergetic Lever for AI in Europe. 17:30
A. Mamdani
Technical Program - Thursday
============================
TA1 - Knowledge Representation 4
* Formalizing Soft Constraints by Interpretation Ordering. 10:30
K. Satoh
* Parsing Features in Solid Geometric Models. 10:55
S. A. Safier, S. Finger
* On the Equivalence of Constraint Satisfaction Problems. 11:20
F. Rossi, C. Petrie, V. Dhar
* Processes as Components: on the Primitive of Qualitative 11:45
Scientific Physics.
J. Top, H. Akkermans
* Qualitative Astrophysics. 12:10
A. Nigam, R. Bhaskar
TB1 - Automated Reasoning 2
* Abstraction Tree Indexing for Terms. 10:30
H. J. Ohlbach
* Deterministic Modal Logics for Automated Deduction. 10:55
L. Farinas del Cerro, A. Herzig
* Truth Tables for a Combinatorial Kernel of Set Theories. 11:20
E. Omodeo, F. Parlamento, A. Policriti
* How Time Changes Assumptions. 11:45
C. Joubel, O. Raiman
* Completion Based Inductive Theorem Proving: An Abstract 12:10
Framework and its Applications.
B. Gramlich
TC1 - Natural Language Understanding 2
* A Theory of Knowledge in Situation Semantics. 10:30
W. Wobcke
* Truth and the Interpretation of Natural Language: a 10:55
Non-monotonic Variable-depth Approach.
D. Kayser
* Very Large Neural Networks for Word Sense Disambiguation. 11:20
N. M. Ide, J. Veronis
* A Unification-Based Approach to Quatifier Scoping. 11:35
D. Gerdemann, E. W. Hinrichs
* Topological and Metrical Invariants of Grammatical 12:00
Meanings.
A. Nakhimovsky
* Semantic Interpretation of Tense, Actionality and Aspect. 12:15
E. Grasso, L. Lesmo, V. Lombardo, P. M. Maccario,
R. Salato, P. Terenziani
TD1 - Perception, Vision and Robotics 2
* Tracking and Motion Estimation in a Sequence of Stereo 10:30
Frames.
Z. Zhang, O. D. Faugeras
* Reducing Viewsphere Complexity. 10:55
R. B. Fisher
* Shape from Binocular Disparity and Incomplete Knowledge 11:10
of Baseline Parameters.
N. da Vitoria Lobo, J. K. Tsotos
* Geometric Modelling of Stereovision Application to Aerial 11:25
Pictures.
J. P. Cocquerez, M. Jordan, M. Zahid
* Finding Object Configurations that Satisfy Spatial 11:50
Relationships.
E. Celaya, C. Torras
TA2 - Knowledge Representation 5
* A Truth Maintenance Theory: an Alternative Approach. 14:00
I. P. Popchev, N. Zlatareva, M. Mircheva
* Problem Solving with the NM-ATMS. 14:25
O. Dressler
* Probabilistic Belief Logics. 14:50
F. Bacchus
* Graded Default Theories for Uncertainty. 15:15
C. Froidevaux, C. Grossetete
* Epistemic Logic, Probability and Multi-Agemt Nonmonotonic 15:40
Reasoning.
Y. J. Jiang
TB2 - Knowledge Engineering 3
* Competence Assessment in Configuration Tasks. 14:00
A. Voss, W. Karbach, U. Drouven, D. Lorek
* Mapping Knowledge Level Analysis onto a Computational 14:25
Framework.
J. Vanwelkenhuysen, P. Rademakers
* Generative Knowledge for Computer Troubleshooting. 14:50
N. E. Reed, P. E. Johnson
* SIRAH: an Architecture for a Professional Intelligence. 15:15
A. Alonso, J. Cuena, M. Molina
* Explaining Reasoning from Knowledge Level Models. 15:40
J. M. David, J. P. Krivine
TC2 - Natural Language Understanding 3
* Identifying the Referents of Zero-Pronouns in Japanese 14:00
based on Pragmatic Constraint Interpretation.
K. Dohsaka
* Functional Anaphora with Replacement. 14:25
M. Vilain
* Identifying Noun Phrase References: The Topic Module of 14:40
the ALFresco System.
V. Samek-Lodovici, C. Strapparava
* A Discourse Approacg to Verb Phrase Anaphora. 15:05
H. Prust, R. Scha
* An Application of DATR: the TIC Lexicon. 15:20
L. Cahill, R. Evans
* An Account of Pharaphrase using Elementary Transformations. 15:45
G. Chaty, N. Darcel, D. Kayser, B. Levrat
TD2 - PROMETEUS Session
Session Chairman: Erik Sandewall 14:00-16:00
Speakers: E. Sandewall, G. Adorni, H. H. Nager, M. Thonnat
TA3 - Knowledge Representation 6
* Integrating Models of the Correct Behavior into 16:30
Abductive Diagnosis.
L. Console, P. Torasso
* Redefining the Candidate Space in Model-Based Diagnosis. 16:55
G. Friedrich, F. Lackinger, W. Nejdl
* Analog Systems Diagnosis. 17:20
TB3 - Planning and Search
* Applying Genetic Algorithms to Constraint Satisfaction 16:30
Optimization Problems.
E. P. K. Tsang, T. Warwick
* A Specification Tool for Planning Systems. 16:55
H. Reichgelt, N. Shadbolt
* Preprocessing Hierarchical Planning Knowledge for Efficient 17:20
Planning.
Q. Yang
* Solving the Generalized Hitting Set Problems. 17:45
Q. Yang
TC3 - Machine Learning 2
* A Hybrid-Rule-Based/Bayesian Classifier. 16:30
P. Smyth, R. M. Goodman, C. Higgins
* Combining Similarity and Causality in Creative Analogy. 16:55
Y. Kodratoff
* Saturation: Postponing Choices when Inverting Resolution. 17:20
C. Rouveirol
* A Hybrid Genetic Algorithm for a Logic Problem. 17:45
R. Young, A. Reel
Technical Program - Friday
==========================
FA1 - Knowledge Representation 7
* A Causation Theory for a Logic of Continuous Change. 10:30
T. Persson, L. Staflin
* Reasoning About the World as Perceived by an Agent. 10:55
E. Sandewall
* Representing Continuous Change in the Event Calculus. 11:20
M. Shanakan
* A Formal System for Reasoning about Change. 11:45
C. Pinto-Ferreira, J. P. Martins
* Towards a First Order Theory of Reasoning Agents. 12:10
N. Davies
FB1 - Languages for AI
* Inheritance and Hypothetical Reasoning in Logic Programming. 10:30
A. Brogi, E. Lamma, P. Mello
* Unrestricted Logic Programs or If Stratification is the 10:55
Cure, What is the Malady?
M. Wallace
* Sentence Processing as Constraint Transformation. 11:20
K. Hasida
* Interoperability of AI Languages. 11:45
G. Attardi, M. Gaspari, F. Saracco
* SCHEMATA: A Language for Deduction. 12:10
C. L. Araya, F. M. Brown
FC1 - Machine Learning 3
* On Negation and Three-Valued Logic in Interactive 10:30
Concept-Learning.
L. De Raedt, M. Bruynooghe
* Biasing Induction by Using a Domain Theory: An Experimental 10:55
Evaluation.
F. Bergadano, A. Giordana, L. Saitta
* PCS: A Classifier System that Builds a Predictive Internal 11:20
Worlds Model.
P. Spiessens
* Combining EBL from Success and EBL from Failure with 11:45
Parameter Version Spaces.
C. Carpineto
* Estimating Probabilities: A Crucial Task in Machine 12:00
Learning.
B. Cestnik
* General Limitations on Machine Learning. 12:15
A. Hoffman
FD1 - Summary Speeches 1
* Automated Reasoning. 11:30
J. H. Siekmann
* Natural Language Understanding. 12:00
O. Stock
FA2 - Knowledge Representation 8
* Causal Structures: Computation and Applications. 14:00
V. R. Bandekar
* Expectation Propositional Logics. 14:25
D. C. Stefanescu
* Towards a Theory of Situated Know How. 14:50
M. P. Singh
* Towards a Theory of Mechanizable Theories: I; 15:15
FOL Contexts - the Extensional View.
C. Talcott, R. W. Weyhrauch
* On Measuring the Specificity of if-then Rules. 15:40
J. Kacprzyk, M. Fedrizzi
FB2 - Automated Reasoning 3
* Deductuve/Abductive Diagnosis: The DA-Principles. 14:00
B. E. Ayeb, P. Marquis, M. Rusinowitch
* The Computational Complexity of Multiple-Context Truth 14:25
Maintenance Systems.
G. M. Provan
* An Abductive Characterization of the TMS. 14:50
L. Giordano, A. Martelli
* Explicit Ordering of Defaults in ATMS. 15:15
J. Wrzos-Kaminski, A Wrzos-Kaminska
* Default Reasoning in a Network Environment. 15:40
Z. Markov, L. Sinapova, C. Dichev
FC2 - Natural Language Understanding 4
* HPSG-Based Lattice Parser for Spoken Japanese in a Spoken 14:00
Language Translation System.
M. Nagata, K. Kogure
* Word Sequence Constraints for Japanese Speech Recognition. 14:25
J. Hosaka, K. Ogura, K. Kogure
* A Rule Application Control Method in a Lexicon-Driven 14:40
Transfer Model of a Dialogue Translation System.
T. Hasegawa
* The Semantics of MOLUSC. 14:55
L. Cahill, G. Gazdar
* CARAMEL: A Computational Model of Natural Language 15:20
Understanding using a Parallel Implementation.
G. Sabah
* Reference Choices in Mathematical Proofs. 15:35
H. Xiarong
FD2 - Summary Speeches 2
* Machine Learning. 14:00
P. Bradzil
* Planning and Search. 14:30
S. Steel
* Knowledge Engineering. 15:00
R. Lopez de Mantaras
* Perception, Vision and Robotics. 15:30
J. O. Eklundh
FA3 - Multi Agent Architecture and Interaction
* A Framework for Dynamic Reorganization. 16:30
J. M. Andre, A. Mouginot, M. Venet
* What Can Agents Do Together? A Semantics for Reasoning 16:55
about Cooperative Ability.
E. Werner
* A Framework for Real-Time Problem Solving. 17:20
H. Dai, T. J. Anderson, F. C. Monds
FB3 - Automated Reasoning 4
* A Theoretical Analysis of Recurrence Goals. 16:30
P. Liu
* Towards a Programming Methodology Founded on Partial 16:55
Deduction.
J. Komorowski
* Cyclic-clustering: a Compromise between Tree-clustering 17:20
and Cycle-cutset Method for Improving Search Efficiency.
P. Jegou
FC3 - Machine Learning 4
* Analytical Learning of Inductive Inference. 16:30
M. Numao
* Lamarckian Sub-Goal Reward in Genetic Algorithm 16:55
Y. Davidor
* Genetic Programming: Evolution of a Time Dependent Neural 17:20
Network Module that Teaches a Part of Stick Legs to Walk.
H. de Garis
FD3 - Summary Speeches 3
* Languages for AI and Knowledge Representation. 16:30
L. Farinas del Cerro, M. Reinfrank
APPLICATION WORKSHOPS - AUGUST 7
================================
FINANCIAL APPLICATIONS OF AI.
Chairman: Dr. Pertti Lounamaa, Nokia Research Center, Finland
* Introductory remarks.
Dr. Pertti Lounamaa, Nokia Research Center, Finland
Banking Applications:
* Technology, Applications and the Organisation: The Impact of Expert
Systems at SEB data.
Lars Bengtsson, SEB Data, Sweden
* The Financial Expert Systems Market in Europe: the Italian case.
Dr. Daniele Gerundino, Mate, Italy
* A Decision Support System for Commercial Customer Evaluation.
Mr. Gianluigi Rocca, Quinary Spa, Italy
* Syntel and Financial Risk Analysis Applications.
Mr. Alan Robbins, Syntelligence International Ltd, England.
Financial Planning:
* Applying Stratex - a Financial Planning Tool.
Ms. Auli Kumpulainen, Postpankki Ltd. Investment banking, Finland
Methodology:
* Decision-theoretic Uncertainty Management Techniques for Life-cycle
Costing and Financial Decisionmaking.
Dr. Jack Breese, Rockwell International Science Center, USA
* Life-cycle and Integration Issues in KBS Projects.
Mr. Jyrki Kontio, Nokia Research Center, Finland
INDUSTRIAL DIAGNOSTIC KNOWLEDGE BASED SYSTEMS
Chairman: Jan-Olof Carlsson, ASEA Brown Boveri, Sweden
* Methods, Languages and Tools to Specify and Construct Diagnostic
Systems for Large Industrial Plants.
Bechir El. Ayeb, CRIN/INRIA-Lorraine, France
* Expert Systems for Service in ABB.
Jan-Olof Carlsson, ABB Corporate Research, Sweden
* Diagnostic Systems in Volvo.
Mats Folkesson, Volvo Data AB, Sweden
* Monitoring of Turbines and Generators.
Lars-Goran Johansson, ABB STAL, Sweden
* Generic Medical Diagnostic Systems for Industrial Usage.
Patrik Eklund, Abo Akademi, Finland
________________________________________________________________________
REGISTRATION FORM
Please use block letters
Family name _______________________________ First name ________________
Title/Profession ______________________________________________________
Institution/Organization/Company ______________________________________
Mailing address _______________________________________________________
___________________________________________ Country ___________________
Telephone ________________ Telex _______________ Telefax ______________
Accompanied by (family member) Name(s) __________________________ (015)
ACCOMONDATION
Arrival Departure
in Stockholm from Stockholm
_____/_____ 1990 _____/_____ 1990
Hotel price Single room Double room
category SEK/night incl. No. of SEK/night incl. No. of
breakfast buffet rooms breakfast buffet rooms
A 1520:- (____) 1695:- (____)
B 1190:- (____) 1385:- (____)
C 780 - 920:- (____) 890 - 1090:- (____)
D
student room 325:- (____) 375:- (____)
ADVANCE REGISTRATION
Conference Fee
Date Price/pers No. of (Code) Total
August SEK pers SEK
8-10 ECCAI Member
received before June 1 2600:- 1 (001) (_____)
received before July 15 3100:- 1 (002) (_____)
received after July 15 4000:- 1 (003) (_____)
8-10 Non-member
received before June 1 2900:- 1 (004) (_____)
received before July 15 3400:- 1 (005) (_____)
received after July 15 4000:- 1 (006) (_____)
8-10 Student
received before June 1 1400:- 1 (007) (_____)
received before July 15 1900:- 1 (008) (_____)
received after July 15 3000:- 1 (009) (_____)
________________________________________________________________________
________________________________________________________________________
Tutorials
Monday Tuesday Price/ Total
Aug. 6 Aug. 7 tutorial SEK
1 2 3 4 5 6 7 SEK
ECCAI Member
rec. before June 1 (_) (_) (_) (_) (_) (_) (_) 2000:- (____)
rec. before July 15 (_) (_) (_) (_) (_) (_) (_) 2500:- (____)
rec. after July 15 (_) (_) (_) (_) (_) (_) (_) 3000:- (____)
Non-member
rec. before June 1 (_) (_) (_) (_) (_) (_) (_) 2500:- (____)
rec. before July 15 (_) (_) (_) (_) (_) (_) (_) 3000:- (____)
rec. after July 15 (_) (_) (_) (_) (_) (_) (_) 3500:- (____)
Student
rec. before June 1 (_) (_) (_) (_) (_) (_) (_) 1300:- (____)
rec. before July 15 (_) (_) (_) (_) (_) (_) (_) 1800:- (____)
rec. after July 15 (_) (_) (_) (_) (_) (_) (_) 2300:- (____)
Application Workshops Price/
Workshop Total
Tuesday, August 7 SEK SEK
08:30 Financial Applications of AI 2950:- (_____)
13:00 Industrial Diagnostic Knowledge Based Systems 2950:- (_____)
SOCIAL PROGRAMS
All the social activities should be booked and paid for in advance,
events included in the fee as well.
Date Price/pers No. of Total
August SEK pers SEK
6 Sightseeing Tour 110:- (___) (_____)
6 Get-together Party incl. (___) (_____)
7 Sightseeing Tour 110:- (___) (_____)
7 Reception - Stockholm City Hall incl. (___) (_____)
8 Archipelago Tour 575:- (___) (_____)
9 Congress Dinner 500:- (___) (_____)
Accompanying persons' program
8 Drottningholm 225:- (___) (_____)
9 Art Tour 115:- (___) (_____)
Post Conference Tour Program
11-13 Lapland, single room 7275:- (___) (_____)
double room 6925:- (___) (_____)
Hotel Deposit per room Cat. A: 1700:-, B+C: 1100:-, D: 400:-
GRAND TOTAL SEK ___________
________________________________________________________________________
________________________________________________________________________
PAYMENT
Please make sure to indicate ECAI-90 and YOUR NAME on all money
transfers
(_) Bank account, S-E-Banken, Stockholm No 5267-10 066 16,
SWIFT-address: ESSESESS
(_) Banker's Draft (Personal, Company or EURO cheques cannot
be accepted)
(_) Bankgiro 644-8773 (_) Postal Giro 65 37 38-5
(_) American Express Card (_) Diners Club
(_) Eurocard/Master Card (_) Visa
Charge my card no: ____________________________________________________
with expiry date ______________________ TOTAL SEK _____________________
Payments should be made in SEK, payable to ECAI, c/o Stockholm
Convention Bureau.
Signature: ____________________________ Date: _________________________
PLEASE DO NOT FORGET TO TAKE A COPY FOR YOUR OWN RECORD.
The Organizing Committee can accept no liability for
personal injuries, or for loss or damage to property
belonging to conference participants, either during
or as a result of the Conference. Please check the
validity of your personal insurance.
I---------------------------------------------------------------I
I NOTE! IN ORDER TO BE ABLE TO PROCESS YOUR REGISTRATION FORM I
I QUICKLY, WE URGE YOU TO SEND IT TO US BY TELEFAX. OUR FAX I
I NUMBER IS: +46 8 34 84 41. I
I---------------------------------------------------------------I