💾 Archived View for gemini.quux.org › 9 › Archives › mirrors › risks › 14 › risks-14.ftc captured on 2024-08-18 at 22:35:23.

View Raw

More Information

-=-=-=-=-=-=-


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  



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 

================================================================================