Date: Wed, 31 Mar 93 19:53:31 +0200 From: kaaniche@tsf.laas.fr Subject: FTCS-23 ADVANCE PROGRAM Would you please include the following announcement in the next issue of the Risks Forum. Thanks, Mohamed Kaaniche: Publicity chair of FTCS 23. ================================================================================ ADVANCE PROGRAM ____________________________________________________________ | FTCS-23:The twenty third Annual International Symposium on | | Fault-Tolerant Computing | | | | Diagora, Centre de Congres de Labege, Toulouse, France | | June, 22-24, 1993 | |____________________________________________________________| To receive a hardcopy of FTCS-23 Advance program, please contact: __________________________________________________________________________ |Mohamed Kaaniche: LAAS-CNRS,7 avenue Colonel Roche, 31077 Toulouse, France| |Tel: +(33) 61 33 64 05, Fax: +(33) 61 33 64 11 | |Email: Mohamed.kaaniche@laas.fr | |__________________________________________________________________________| -----------------------------SYMPOSIUM OVERVIEW--------------------------------- FTCS is the world's most important forum for the presentation and discussion of state of the art developments in dependable computing systems. This year's program features 60 regular papers, 5 practical experience reports, 6 software demonstrations and one panel. This program is the result of a very stringent selection process carried out by the international Program Committee on more than 300 submissions. The regular paper sessions cover a breadth of topics from concurrent error detection to software-implemented and application-based fault-tolerance, from theoretical issues in modeling to field measurement of fault- tolerant system dependability, from testing to fault injection. The opening plenary session will be devoted to practical experience reports on two safety-critical, software intensive systems currently in operation: the digital fly-by-wire systems of the Airbus family of airliners, and the speed control system of the Paris subway. The panel will discuss the limits in dependability, and the software demonstrations will encompass tools for hardware and software dependability evaluation. Exhibitors from both industrial and academic communities will present commercially available products, advanced prototypes and tools relating to the conference theme. An exhitors' forum will offer technical presentations relating to the exhibited products, prototypes and tools. The symposium participants will be given the opportunity to attend a pre-symposium review of the research conducted at LAAS-CNRS, as well as joining post-symposium technical visits of Aerospatiale, CNES and Matra Marconi Space. On Monday June 21, a welcome reception will be organized at Hotel Capoul. On Tuesday June 22, the Mayor of Toulouse will give a reception in the famous "Salle des Illustres", followed by a concert at the Jacobins Cloister. On Wednesday June 23, the traditional excursion will be to Albi, home town of the famous painter Toulouse-Lautrec, followed by a banquet. ---------------------------------ABOUT TOULOUSE--------------------------------- TOULOUSE is situated in south-west France, 680 km from Paris. Toulouse is the Capital of the Midi-Pyrenees Region, the largest French province. With a population of 650 000, Toulouse is pink and green: old pink bricks and green gardens with lots of pretty fountains and even barges going through the Canal du Midi. Already bustling 2000 years ago, the city boasts a rare architectural and artistic heritage including in particular the Basilica Saint-Sernin (11th century), Saint-Etienne's Cathedral (12th century), the Church and Cloister of the Jacobins (13th century) and the Capitole (18th century). Toulouse is the European Capital of aeronautics and space, and a leading center in industry, technology and research. With a wealth of educational institutions that include universities and several research laboratories covering all spheres of knowledge, Toulouse has the second largest university in France and ranks among the top university cities in Europe. -------------------------------------PROGRAM------------------------------------ _______________________ MONDAY, JUNE 21, 1993 ----------------------- 14:00-18:00: LAAS-CNRS Research Review 18:00-19:00: Registration at Hotel Capoul 19:00: Welcome Reception at Hotel Capoul _______________________ TUESDAY, JUNE 22, 1993 ----------------------- 7:30-8:30: Registration at the Congress Center 8:30-9:00: Opening Remarks (J.-C.Laprie, LAAS-CNRS, Toulouse France; A.Goyal,IBM T.J. Watson Res. Center, Yorktown Heights, USA) 9:00-10:00: Plenary Session: Practical Experience Reports I Chair: A.Costes, LAAS-CNRS, Toulouse, France 1: AIRBUS A320/A330/A340 Electrical Flight Controls-A Family of Fault-Tolerant Systems (D.Briere, P.Traverse, Aerospatiale, Toulouse, France) 2: SACEM: A Fault-Tolerant System for Train Speed Control (C.Hennebert, RATP, Paris; G.Guiho, GEC-Alsthom, Saint-Ouen; France) 10:00-10:30: Break 10:30-12:30: Parallel sessions Track A: System Level Fault Tolerance Chair: B.Randell, U. of Newcastle upon Tyne, UK 1: Software Implemented Fault Tolerance: Technologies and Experience (Y.Huang, C.M.R. Kintala, AT&T, Murray Hill, USA) 2: Application Transparent Fault Management in Fault-Tolerant Mach (M.E.Russinovich, Z.Segall, D.P.Siewiorek, Carnegie Mellon U., Pittsburgh, USA) 3: Operating System Failures: Faults, Symptoms, and Software Fault Tolerance (I.Lee, R.K.Iyer, U. of Illinois at Urbana-Champaign, USA) 4: Increasing System Availability through On-Line Software Version Change (D.Gupta, P.Jalote, Indian Institute of Technology, Kanpur, India) Track B: Dependability Modeling Chair: J.Meyer, U. of Michigan, Ann Arbor, USA 1: Fast Simulation of Steady-State Availability in Non-Markovian Highly Dependable Systems (V.F.Nicola, P.Shahabuddin, P.Heidelberger, IBM T.J. Watson Res. Center, Yorktown Heights; P.W. Glynn, Stanford U.; USA) 2: Interval Availability Distribution Computation (G.Rubino, B. Sericola, IRISA-INRIA, Rennes, France) 3: Characterizing a Lumping Heuristic for a Markov Network Reliability Model (M. Balakrishnan, U. of Wisconsin, Madison; A. Reibman, AT&T,Holmdel; USA) 4: Comparison of Hybrid Redundant Multiprocessor Systems with respect to Performability (C.Chen, Y.Kakuda, T.Kikuno, Faculty of Eng. Science, Osaka U., Japan) 12:30-13:30: Lunch 13:30-15:00: Parallel sessions Track A: Dependability Measurement and Assessment Chair: A.Avizienis, U. of California at Los Angeles, USA 1: The Design Concepts and Operational Results of Fault-Tolerant Computer Systems for the Shinkansen Train Control (A.Hachiga, K.Akita, Y.Hasegawa, Railway Tech. Res. Inst., Tokyo, Japan) 2: Development of a Benchmark to Measure System Robustness: Experiences and Lessons Learned (J. Hudak, B-H.Suh, D.P.Siewiorek, Z.Segall, Carnegie Mellon U., Pittsburgh, USA) 3: A Study of the Variation of Time-to-Failure for Different Operational Input Profiles (P.G.Bishop, Adelard, UK) Track B: Error-Control Coding Chair: B.Courtois, TIMA, Grenoble, France 1: A Class of Error Locating Codes for Byte-Organized Memory Systems (E.Fujiwara, M.Kitakami, Tokyo Institute of Technology, Japan) 2: Unidirectional Error Control Codes (N.H. Vaidya, Texas A&M U., College Station, USA) 3: A Proposition of Error-Tolerating Codes (T.Matsubara, Y.Koga, National Defense Academy, Yokusuka, Japan) 15:00-15:30: Break 15:30-17:00: Parallel sessions Track A: Checkpointing and Recovery Chair: D.Rennels, U. of California at Los Angeles, USA 1: Progressive Retry for Software Error Recovery in Distributed Systems (Y-M.Wang, U. of Illinois at Urbana-Champaign; Y.Huang, AT&T,Murray Hill; W.K.Fuchs, U. of Illinois at Urbana-Champaign; USA) 2: Nonblocking and Orphan-Free Message Logging Protocols (L.Alvisi, B.Hoppe, K. Marzullo, Cornell U., Ithaca, USA) 3: Relaxing Consistency in Recoverable Distributed Shared Memory (B.Janssens, W.K.Fuchs, U. of Illinois at UrbanaChampaign, USA) Track B: Testing Chair: R.David, LAG/INPG, Grenoble, France 1: EXOP (Extended Operation): A New Logical Fault Model for Digital Circuits (I. Pomeranz, S.M. Reddy, U. of Iowa, Iowa City, USA) 2: Efficient Testing of Tree Circuits (R.S.Blanton, J.P.Hayes, U. of Michigan, Ann Arbor, USA) 3: A BDD-Based Algorithm for Computation of Exact Fault Detection Probabilities (R.Krieger, B.Becker, R.Sinkovic, J.W. Goethe U., Frankfurt/Main, Germany) Track C: Practical Experience Reports II Chair: J.Lala, C.S.Draper Lab., Cambridge, USA 1: Concurrent Error Detection/Correction in HAL MMU Chip (D.C-W.Chang, N.R.Saxena, HAL Computer Systems, Campbell, USA) 2: Use of Protocol Validation and Verification Techniques in the Design of a Fault-Tolerant Computer Architecture (W.D.Shambroom, Charles River Data Systems, Inc., Framingham, USA) 3: Development of a Fault-Tolerant Computer System (C.Guidal, P.David, Matra Marconi Space, Toulouse, France) 17:30: Mayor's Reception and Concert at the Jacobins Cloister ________________________ WEDNESDAY, JUNE 23, 1993 ------------------------ 8:30-10:30: Parallel sessions Track A: Fault Injection Chair: J.Torin, Chalmers U., Gothenburg, Sweden 1: Detection and Discrimination of Injected Network Faults (R.A.Maxion, R.T.Olszewski, Carnegie Mellon U., Pittsburgh, USA) 2: Software Fault Injection and its Application in Distributed Systems (H.A Rosenberg, K.G.Shin, U. of Michigan, Ann Arbor, USA) 3: Simulation of Software Behavior under Hardware Faults (K.Goswami, R.K.Iyer, U. of Illinois at Urbana-Champaign, USA) 4: Estimators for Fault Tolerance Coverage Evaluation (D.Powell, E.Martins, J.Arlat, Y.Crouzet, LAAS-CNRS, Toulouse, France) Track B: Fault-Tolerant Networks Chair: C.Georgiou, IBM T.J. Watson Res. Center, Yorktown Heights, USA 1: Fault-Tolerant Wormhole Routing in Meshes (C.J.Glass, L.M.Ni, Michigan State U., East Lansing, USA) 2: Designing Concurrent Checking Sorting Networks (K.Kantawala, D.L.Tao, SUNY at Stony Brook, USA) 3: Wildcard Dimensions, Coding Theory and Fault-Tolerant Meshes and Hypercubes (J.Bruck, R.Cypher, C-T.Ho, IBM Almaden Res. Center, San Jose, USA) 4: Design of Neural Networks to Tolerate the Mixture of Two Types of Faults (Y.Tohma, Y.Koyanagi, Tokyo Institute of Technology, Japan) 10:30-11:00: Break 11:00-12:30: Parallel sessions Track A: Application-Based Fault Tolerance Chair: T.Nanya, Tokyo Inst. of Technology, Japan 1: Exploiting Data Flow Information in Algorithm-Based Fault Tolerance (R.Shamsunder, D.J.Rosenkrantz, S.S.Ravi, U. at Albany-SUNY, USA) 2: Tolerance Determination for Algorithm-Based Checks Using Simplified Error Analysis Techniques (A.Roy-Chowdhury, P. Banerjee, U. of Illinois at Urbana-Champaign, USA) 3: Optimum Kalman Detector/Corrector for Fault-Tolerant Linear Processing (R.Redinbo, U. of California, Davis, USA) Track B: Simulation and Fault Modeling Chair: J.Hlavicka, Czech Tech. U., Prague, Czechoslovakia 1: A Fast and Accurate Gate-Level Transient Fault Simulation Environment (H.Cha, E.M.Rudnick, G.S.Choi, J.H.Patel, R.K.Iyer, U. of Illinois at Urbana-Champaign, USA) 2: Wear-out Simulation Environment for VLSI Designs (G.S.Choi, R.K.Iyer, U. of Illinois at Urbana-Champaign, USA) 3: Theory and Practice of Sequential Machine Testing and Testability (J.H.Patel, U. of Illinois at Urbana-Champaign; I.Pomeranz, S.M.Reddy, U. of Iowa, Iowa City; USA) Track C: Software Demonstration I Chair: J.Goldberg, SRI International, Menlo Park, USA 1: A Systematic and Comprehensive Tool for Software Reliability Modeling and Measurement (M.R.Lyu, Bell Communication Research, Morristown; A.P.Nikora, JPL, Pasadena; W.H.Farr, Naval Surface Warfare Center, Dahlgren; USA) 2: SoRel: A Tool for Reliability Growth Analysis and Prediction From Statistical Failure Data (K.Kanoun, M.Kaaniche, J.-C.Laprie, S.Metge, LAAS-CNRS, Toulouse, France) 3: The Use of Object Groups to Implement Dependability in a Process Control Supervision System (Y.Eychenne, M.Simatic, Alcatel-Alshtom, Marcoussis; C.Baradel, L.Junot, B.Kohen, Cegelec, Clamart; France) 12:30-13:30: Lunch 13:30-15:30: Parallel sessions Track A: Built-in-Self-Test and High-Level Testing Chair: K.Kinoshita, Osaka U., Japan 1: Programmable Space Compaction for BIST (Y.Zorian, AT&T, Princeton, USA; A.Ivanov, U. of British Columbia, Vancouver, Canada) 2: Balance Testing of Logic Circuits (K.Chakrabarty, J.P.Hayes, U. of Michigan, Ann Arbor, USA) 3: Algorithmic Synthesis of High Level Tests for Data Path Designs (N.Saxena, HAL Computer Systems, Campbell; R.Tangirala, Cadence Des. Systems, San Jose; A. Srivastava, U. of Iowa, Iowa City; USA) 4: Impact of Behavioral Learning on the Compilation of Sequential Circuit Tests (P.Vishakantaiah, J.A.Abraham, U. of Texas at Austin, USA) Panel: Limits in dependability Moderator: J.-C.Laprie, LAAS-CNRS, Toulouse, France Panelists: G.Le Lann, INRIA, Rocquencourt, France M.Morganti, ITALTEL, Milano, Italy J.Rushby, SRI International, Menlo Park, USA 15:30 Excursion to Albi and banquet _______________________ THURSDAY, JUNE 24, 1993 ----------------------- 8:30-10:30: Parallel sessions Track A: Formal Methods and Distributed Algorithms Chair: M.-C.Gaudel, LRI, Orsay, France 1: An Efficient Replication Protocol Exploiting Logical Tree Structures (H.Koch, U. Darmstadt, Germany) 2: Specifying Fault Tolerance within Stark's Formalism (A.Cau, W-P.de Roever, Christian-Albrechts-U. zu Kiel, Germany) 3: A Formally Verified Algorithm for Interactive Consistency Under a Hybrid Fault Model (P.Lincoln, J.Rushby, SRI International, Menlo Park, USA) 4: Randomized Distributed Agreement Revisited (P.Berman, Pennsylvania State U., University Park; J.A.Garay, IBM T.J.Watson Res. Center, Yorktown Heights; USA) Track B: Dependability and Performance of Storage Systems Chair: E.Schmitter, Siemens, Munich, Germany 1: Fast, On-Line Failure Recovery in Redundant Disk Arrays (M.Holland, G.A.Gibson, D.P. Siewiorek, Carnegie Mellon U., Pittsburgh, USA) 2: Disk Array Storage System Reliability (W.Burkhard, U. of California, San Diego, La Jolla; J. Menon, IBM Almaden Res. Center, San Jose; USA) 3: An Analytic Treatment of the Reliability and Performance of Mirrored Disk Subsystems (R. Geist, Clemson U.; K.Trivedi, Duke U., Durham; USA) 4: A Case for Fault-Tolerant Memory for Transaction Processing (A.Bhide, D.Dias, N.Halim, B.Smith, F.Parr, IBM T.J. Watson Res. Center,Yorktown Heights, USA) 10:30-11:00 Break 11:00-12:30: Parallel sessions Track A: System Level Diagnosis Chair: L.Simoncini, U. di Pisa, Italy 1: Efficient Distributed Diagnosis in the Presence of Random Faults (A.Pelc, U. du Quebec a Hull, Canada) 2: Distributed On-Line Diagnosis in the Presence of Arbitrary Faults (R.W.Buskens, R.P.Bianchini, Jr., Carnegie Mellon U., Pittsburgh, USA) 3: Adaptive Voting for Faulty (VFF) Node Scheme for Distributed Self-Diagnosis (J.Y.Lee, H.Y.Youn, U. of Texas at Arlington, USA) Track B: Testability and Fault Tolerance Synthesis Chair: A.Dahbura, Motorola, Cambridge, USA 1: Design and Synthesis for Testability of Synchronous Sequential Circuits Based on Strong-Connectivity (I.Pomeranz, S.M. Reddy, U. of Iowa, Iowa City, USA) 2: A Synthesis Tool for Fault-Tolerant Finite State Machines (R.Leveugle, R.Rochet, G.Saucier, INPG/CSI, Grenoble; L.Martinez, C.Pitot, Sextant Avionique, Velizy-Villacoublay; France) 3: Synthesis of Optimal Self-Recovering MicroArchitectures (R.Karri, A.Orailoglu, U. of California, San Diego, La Jolla,USA) Track C: Software Demonstration II Chair: H.Ihara, Hitachi, Yokohama, Japan 1: SURF-2: A Program for Dependability Evaluation of Complex Hardware and Software Systems (C.Beounes, M.Aguera, J.Arlat, S.Bachmann, C.Bourdeau, J.-E.Doucet, K.Kanoun, J.-C.Laprie, S.Metge, J.Moreira de Souza, D.Powell, P.Spiesser, LAAS-CNRS, Toulouse, France) 2: Dependability Evaluation Using UltraSAN (W.H.Sanders, W.D.Obal II, U. of Arizona, Tucson, USA) 3: The FIGARO Dependability Evaluation Workbench in Use: Case Studies for Fault-Tolerant Computer Systems (M.Bouissou, EDF, Clamart, France) 12:30:13:30: Lunch 13:30:15:30: Parallel sessions Track A: Fault-Tolerant Distributed Systems Chair: F.Cristian, U. of California, San Diego, USA 1: TTP - A Time-Triggered Protocol for Fault-Tolerant Real-Time Systems (H.Kopetz, G.Grunsteidl, Technische U. Wien, Austria) 2: Virtually-Synchronous Communication Based on a Weak Failure Suspector (A.Schiper, A.Ricciardi, Cornell U., Ithaca, USA) 3: Early Delivery Totally Ordered Broadcast in Asynchronous Environments (D.Dolev, S.Kramer, D.Malki, Hebrew U. of Jerusalem, Israel) 4: Byzantine Agreement with a Minimum Number of Messages Both in the Faultless and Worst Case (B.Baum-Waidner, U. Karlsruhe, Germany) Track B: Concurrent Error Detection and Data Integrity Chair: J.Shen, Carnegie Mellon U., Pittsburgh, USA 1: Low-Cost Memory Access Checking (K.D.Wilken, T.Kong, U. of California, Davis, USA) 2: The Risk of Data Corruption in Microprocessor-Based Systems (R.Horst, Tandem Computers Inc., Cupertino; D.Jewett, Tandem Computers Inc., Austin; D.Lenoski, Sun Microsystems, Mountain View; USA) 3: Efficient Implementations of Self-Checking Adders and ALUs (M.Nicolaidis, TIMA, Grenoble, France) 4: On Concurrent Error Detection, Location, and Correction of FFT Networks (C.G.Oh, H.Y.Youn, U. of Texas at Arlington, USA) 15:30:15:45: Break 15:45: Fault-Tolerant Computing Technical Committee Meeting _____________________ FRIDAY, JUNE 25, 1993 --------------------- 9:00 Post-Symposium Texhnical Tours of Aerospatiale, CNES and Matra Marconi Space ---------------------------- GENERAL INFORMATION ------------------------------- SYMPOSIUM LOCATION: DIAGORA, Centre de Congres de Toulouse-Labege, BP 667, 31319 LAB GE Cedex, Phone: (+33) 61 39 93 39, Fax: (+33) 61 39 79 80. LANGUAGES: Simultaneous English-French translation will be provided. REGISTRATION: All persons attending the symposium will be required to register. Registration fees are given hereafter: Advance (Before May 17) Late/On-Site (After May 17) IEEE or AFCET Member FF 2500 FF 3000 Non-Member FF 3150 FF 3800 Student FF 1450 FF 1800 Registration fees include admission to the Conference sessions and to the Exhibition, one copy of the Symposium Proceedings, coffee breaks, lunches, welcome reception at Hotel Capoul, Mayor's reception, concert at the Jacobins Cloister, the excursion to Albi and the banquet. Students must attach a student status proof to their registration form. Additional copies of the Proceedings, tickets for lunches and tickets for the excursion and the banquet may be purchased at the Symposium Registration Desk. Accompanying persons are kindly invited to the welcome reception at Hotel Capoul, the Mayor's reception and the concert. An information and registration desk will be available at: o Hotel Capoul, on Monday, June 21 from 18:00 and during the reception o the Congress Center, during the symposium, every day from 7:30. PAYMENT: In French Francs only: o By credit card (Visa, Eurocard or Mastercard). o By banker's draft or check to the order of ADERMIP, bank account 12719500200 at BANQUE COURTOIS, Toulouse Remusat. o For French residents only, by purchase order payable to ADERMIP. Please mention "FTCS-23", your name and address on the banker's draft, check or purchase order. CANCELLATION: Refunds of 50% will be made if a written request is received before May 17, 1993. No refunds will be made for cancellations received after this date. Registrants not attending the Symposium will receive the Proceedings by mail. EXHIBITION: Entrance to the Exhibition: Persons not registered for the Symposium may purchase an exhibition pass (FF 100) at the Registration Desk. Exhibition Space Reservation: In order to request exhibition space, either tick the corresponding box on the registration form or contact the Exhibits Chair, Jean-Claude Rault. TECHNICAL TOURS: Pre-Symposium Event: LAAS-CNRS Research Review: A review of the on-going research in computer science carried out at LAAS will be organized on Monday afternoon, June 21, from 14:00 to 18:00. Topics addressed (presentations and demonstrations): Dependable Computing and Fault-Tolerance, Software Tools for Communication, Robotics and Artificial Intelligence. Please indicate your interest in attending this review in the registration form. A special shuttle service will be organized between downtown Toulouse and LAAS: departure at 13:30 from "Place du Capitole" to LAAS and departure from LAAS at 18:00 to Hotel Capoul where the welcome reception is organized. Post-Symposium Tours: Aerospatiale, CNES, Matra Marconi Space A tour of Aerospatiale, CNES and Matra Marconi Space (three leading organizations in space and aeronautics) may be arranged upon request on Friday Morning, June 25. If interested, please mention it on the registration form and indicate your nationality. For non French participants, please indicate your passport number and enclose a copy of your passport. SOCIAL EVENTS: o June 21, evening: Welcome reception at Hotel Capoul o June 22, evening: Mayor's reception and concert at the Jacobins cloister o June 23, afternoon: Excursion to Albi (12th century), home town of the painter Toulouse-Lautrec. Visits of the town, the Cathedral Sainte-Cecile and Toulouse-Lautrec Museum, followed by a banquet. TRANSPORTATION: Access to Toulouse: Toulouse is about 1 hour from Paris by air, 5 hours by rail (TGV via Bordeaux) and 7 hours by freeway.There are about 17 flights daily between Toulouse and Paris. There are also daily flights between Toulouse and Lyon, Nice, Bordeaux, Marseille, Brussels, Geneva, London, Munich, Amsterdam, Madrid, Lisbon, Milan. A public bus is available between the airport and the city center (Fare: about FF 20). Taxi fare is around FF 110 for the ride. >From June 20 to 26, AIR-INTER offers exclusive meeting saver fares (40% reduction) to FTCS-23 participants. Please tick the appropriate box on the registration form to receive your discount voucher. >From Toulouse-Blagnac Airport to the Congress Center: -By car: The Congress Center is about a 30-minute car ride away from the airport. Take the freeway towards "Montpellier", leave it at "echangeur du Palays" (Palays flyover) and follow "Labege Innopole" signs. The taxi fare is around FF 220. -By helicopter: The fare is FF 215 per person. The heliport is a few minutes walk from Diagora. Reservation, Phone: (+33) 61 39 17 99, Fax: (+33) 61 39 18 47 >From downtown Toulouse to the Congress Center: -By bus: A free special bus service between downtown hotels and the Symposium location will be organized from June 22 to 24. The special busses will operate every day, departure on the morning at 7:45 from "Place du Capitole" and "Place Jeanne d'Arc", and return to downtown Toulouse at the end of the sessions. -By train (SNCF): Departure from Toulouse-Matabiau railway station at 7:45 and arrival at Labege Innopole station at 7:55. The railway station at Labege is about 15 minutes walk from Diagora, a free shuttle "Innobus" is also available. -By car: The Congress Center is about a 20-minute car ride away from downtown. Follow the canal towards "Montpellier", leave the freeway at "echangeur du Palays" and follow "Labege Innopole" signs. The taxi fare is around FF 150 for the ride. TOURIST INFORMATION: Office du Tourisme, Donjon du Capitole, 31000 Toulouse Phone: (+33) 61 11 02 22, Fax: (+33) 61 22 03 63. HOTEL RESERVATION: A list of hotels offering special prices to FTCS-23 participants can be provided upon request. If interested, please contact the Publicity Chair: Mohamed Kaaniche, LAAS-CNRS. -----------------------------SYMPOSIUM COMMITTEE ------------------------------- GENERAL CHAIR: Jean-Claude Laprie, LAAS-CNRS 7 avenue Colonel Roche, 31077 Toulouse, France Tel: +(33) 61 33 62 39, Fax: +(33) 61 33 64 11 Email: Jean-Claude.Laprie@laas.fr PROGRAM CHAIR: Ambuj Goyal, IBM T.J. Watson Res. Center P.O. Box 704, Yorktown Heights,NY 10598, USA Tel: +(1) 914 784 7504, Fax: +(1) 914 784 6201 Email: ambuj@watson.ibm.com CONFERENCE COORDINATOR: Marie-Therese Ippolito, LAAS-CNRS, France Tel: +(33) 61 33 62 74, Fax: +(33) 61 55 35 77 Email: Marie-Therese.Ippolito@laas.fr PUBLICATION CHAIR: David Powell, LAAS-CNRS, France Tel: +(33) 61 33 62 87, Fax: +(33) 61 33 64 11 Email: David.Powell@laas.fr PUBLICITY CHAIR: Mohamed Kaaniche, LAAS-CNRS, France Tel: +(33) 61 33 64 05, Fax: +(33) 61 33 64 11 Email: Mohamed.Kaaniche@laas.fr EXHIBITS CHAIR: Jean-Claude Rault, EC2 269 rue de la Garenne,92024 Nanterre, France Tel: +(33) 1 47 80 70 00, Fax: +(33) 1 47 80 66 29 EX OFFICIO: Jacob Abraham,FTC-TC Chair, U. of Texas at Austin, 2201 Donley Drive, Austin, TX 78758, USA Tel: +(1) 512 471 8000, Fax: +(1) 512 471 8967 Email: jaa@cerc.utexas.edu PROGRAM COMMITTEE V.Agarwal (CDN) J.Hlavicka (CS) D.Lenoski (USA) W.Sanders (USA) J.Arlat (F) R.Iyer (USA) Y.Levendel (USA) N.Saxena (USA) D.Avresky (BG) N.Kanekawa (J) R.Leveugle (F) J.Shen (USA) M.Banatre (F) J.Karlsson (S) M.Malek (USA) S.Shrivastava (GB) P.Banerjee (USA) J.Kelly (USA) G.Masson (USA) D.Siewiorek (USA) D.Blough (USA) K.Kinoshita (J) J.Meyer (USA) L.Simoncini (I) F.Cristian (USA) H.Kopetz (A) T.Nanya(J) B.Smith (USA) A.Dahbura (USA) T.Krol (NL) M.Nicolaidis (F) Y.Tamir (USA) C.Georgiou (USA) J.Lala (USA) D.Powell (F) D.Taylor (CDN) J.Gray (USA) G.Le Lann (F) S.Reddy (USA) H.Wunderlich (D) ___________________________ ---------------------------- FTCS-23 REGISTRATION FORM ------------------------- --------------------------- Please use BLOCK LETTERS and send this form to: Marie-Therese IPPOLITO, LAAS-CNRS 7 avenue Colonel Roche, 31077 Toulouse, France. Phone: (+33) 61 33 62 74, Fax: (+33) 61 55 35 77 E-mail: Marie-Therese.Ippolito@laas.fr [ ] Mr / M [ ] Mrs / Mme [ ] Dr [ ] Pr Name____________________________________________________________________________ First-name______________________________________________________________________ Affiliation_____________________________________________________________________ Address_________________________________________________________________________ Postcode/ZIP_________________________City_______________________________________ State and/or Country ___________________________________________________________ Phone________________________________Fax________________________________________ E-mail _________________________________________________________________________ Member [ ] AFCET [ ] IEEE Member Number_______________________________ Amount Enclosed_________________________________________________________________ Registration fees: Advance(Before May 17) Late or On-Site (After May 17) IEEE or AFCET member [ ] FF 2500 [ ] FF 3000 Non-member [ ] FF 3150 [ ] FF 3800 Student* [ ] FF 1450 [ ] FF 1800 * A proof of student status must be attached Payment (enclosed) [ ] Credit card : [ ] Visa [ ] MasterCard [ ] EuroCard Card number ______________________________ Expiration date_________________ Signature________________________________ Date ___________________________ [ ] Check [ ] Banker's draft (A copy must be attached ) payable to ADERMIP, account 12719500200, Banque Courtois, Toulouse Remusat [ ] Bon de commande (French residents only) payable to ADERMIP Technical Tours [ ] Interested in joining the Pre-Symposium LAAS Research Review [ ] Interested in joining the Post-Symposium technical tours [ ] Aerospatiale [ ] CNES [ ] Matra Marconi Space Nationality_________________________ Passport Number_______________________ (Non Frensh citizens must attach a copy of their passport) Exhibition Space Reservation [ ] Please send me information Air Inter Discount [ ] Please send me an Air Inter discount voucher ================================================================================