FTSCS 2012
First International Workshop on Formal Techniques for Safety-Critical Systems
(An ICFEM 2012 Satellite Event)
Kyoto, Japan, November 12, 2012
Program Chairs
Program Committee
| Erika Ábrahám | RWTH Aachen University, Germany |
| Musab AlTurki | King Fahd University of Petroleum and Minerals, Saudi Arabia |
| Farhad Arbab | Leiden University and CWI, The Netherlands |
| Cyrille Artho | AIST, Japan |
| Armin Biere | Johannes Kepler University, Austria |
| Saddek Bensalem | Verimag, France |
| Péter Bokor | Technical University Darmstadt, Germany |
| Santiago Escobar | Universidad Politécnica de Valencia, Spain |
| Bernd Fischer | University of Southampton, UK |
| Klaus Havelund | NASA JPL, USA |
| Marieke Huisman | University of Twente, The Netherlands |
| Ralf Huuck | NICTA/UNSW, Sydney, Australia |
| Fuyuki Ishikawa | National Institute of Informatics, Tokyo, Japan |
| Takashi Kitamura | AIST, Japan |
| Alexander Knapp | Augsburg University, Germany |
| Yang Liu | NUS, Singapore |
| Steven P. Miller | Rockwell Collins, USA |
| Tang Nguyen | AIST, Japan |
| Thomas Noll | RWTH Aachen University, Germany |
| Peter Ölveczky | University of Oslo, Norway |
| Grigore Rosu | University of Illinois at Urbana-Champaign, USA |
| Neha Rungta | NASA Ames, USA |
| Carolyn Talcott | SRI International, USA |
| Tatsuhiro Tsuchiya | Osaka University, Japan |
Organizing Committee
|