FTSCS 2012
First International Workshop on Formal Techniques for Safety-Critical Systems

(An ICFEM 2012 Satellite Event)

Kyoto, Japan, November 12, 2012


Program Chairs


Cyrille ArthoAIST, Japan
Peter ÖlveczkyUniversity of Oslo, Norway

Program Committee


Erika ÁbrahámRWTH Aachen University, Germany
Musab AlTurkiKing Fahd University of Petroleum and Minerals, Saudi Arabia
Farhad ArbabLeiden University and CWI, The Netherlands
Cyrille ArthoAIST, Japan
Armin BiereJohannes Kepler University, Austria
Saddek BensalemVerimag, France
Péter BokorTechnical University Darmstadt, Germany
Santiago EscobarUniversidad Politécnica de Valencia, Spain
Bernd FischerUniversity of Southampton, UK
Klaus HavelundNASA JPL, USA
Marieke HuismanUniversity of Twente, The Netherlands
Ralf HuuckNICTA/UNSW, Sydney, Australia
Fuyuki IshikawaNational Institute of Informatics, Tokyo, Japan
Takashi KitamuraAIST, Japan
Alexander KnappAugsburg University, Germany
Yang LiuNUS, Singapore
Steven P. MillerRockwell Collins, USA
Tang NguyenAIST, Japan
Thomas NollRWTH Aachen University, Germany
Peter ÖlveczkyUniversity of Oslo, Norway
Grigore RosuUniversity of Illinois at Urbana-Champaign, USA
Neha RungtaNASA Ames, USA
Carolyn TalcottSRI International, USA
Tatsuhiro TsuchiyaOsaka University, Japan

Organizing Committee