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