FTSCS 2013
Second International Workshop on Formal Techniques for Safety-Critical Systems
(An ICFEM 2013 Satellite Event)
Queenstown, New Zealand, October 29-30, 2013
Workshop Chair
Program Chairs
Program Committee
| Erika Ábrahám | RWTH Aachen University, Germany |
| Musab AlTurki | King Fahd University of Petroleum and Minerals, Saudi Arabia |
| Toshiaki Aoki | JAIST, Japan |
| Farhad Arbab | Leiden University and CWI, The Netherlands |
| Cyrille Artho | AIST, Japan |
| Saddek Bensalem | Verimag, France |
| Armin Biere | Johannes Kepler University, Austria |
| Santiago Escobar | Universidad Politécnica de Valencia, Spain |
| Ansgar Fehnker | University of the South Pacific, Fiji |
| Mamoun Filali | IRIT, France |
| Bernd Fischer | Stellenbosch University, South Africa/University of Southampton, UK |
| Kokichi Futatsugi | JAIST, Japan |
| 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 |
| Paddy Krishnan | Oracle Labs Brisbane, Australia |
| Yang Liu | Nanyang Technological University, Singapore |
| Robi Malik | University of Waikato, New Zealand |
| César Muñoz | NASA Langley, USA |
| Tang Nguyen | Hanoi University of Industry, Vietnam |
| Thomas Noll | RWTH Aachen University, Germany |
| Peter Ölveczky | University of Oslo, Norway |
| Paul Pettersson | Mälardalen University, Sweden |
| Camilo Rocha | Escuela Colombiana de Ingeniería, Colombia |
| Grigore Rosu | University of Illinois at Urbana-Champaign, USA |
| Neha Rungta | NASA Ames, USA |
| Ralf Sasse | ETH Zürich, Switzerland |
| Oleg Sokolsky | University of Pennsylvania, USA |
| Sofiène Tahar | Concordia University, Canada |
| Carolyn Talcott | SRI International, USA |
| Tatsuhiro Tsuchiya | Osaka University, Japan |
| Michael Whalen | University of Minnesota, USA |
| Peng Wu | Chinese Academy of Sciences, China |
Organizing Committee
TBA
|
