FACS 2011
8th International Symposium on Formal Aspects of Component Software
Oslo, Norway, September 14-16, 2011
Program Chairs
Program Committee
Erika Ábrahám | RWTH Aachen University, Germany |
Farhad Arbab | Leiden University and CWI, The Netherlands |
Christel Baier | Technical University of Dresden, Germany |
Luís Barbosa | University of Minho, Portugal |
Mihaela Bobaru | NASA/JPL, USA |
Frank de Boer | CWI, The Netherlands |
Christiano Braga | Universidade Federal Fluminense, Brazil |
Roberto Bruni | University of Pisa, Italy |
Carlos Canal | University of Málaga, Spain |
Francisco Durán | University of Málaga, Spain |
Rolf Hennicker | Ludwig-Maximilians-Universität Munich, Germany |
Alexander Knapp | Augsburg University, Germany |
Zhiming Liu | IIST UNU, Macau |
Markus Lumpe | Swinburne University of Technology, Australia |
Eric Madelaine | INRIA, Centre Sophia Antipolis, France |
Sun Meng | Peking University, China |
Peter Ölveczky | University of Oslo, Norway |
Corina Păsăreanu | NASA Ames, USA |
František Plášil | Charles University, Czech Republic |
Gwen Salaün | Grenoble INP - INRIA, France |
Bernhard Schätz | fortiss GmbH, Germany |
Wolfram Schulte | Microsoft Research, Redmond, USA |
Nishant Sinha | NEC Labs, Princeton, USA |
Marjan Sirjani | Reykjavik University, Iceland |
Volker Stolz | University of Oslo, Norway |
Carolyn Talcott | SRI International, USA |
Emilio Tuosto | University of Leicester, UK |
Steering Committee
Zhiming Liu (coordinator) | IIST UNU, Macau, China |
Farhad Arbab | Leiden University and CWI, The Netherlands |
Luís Barbosa | University of Minho, Portugal |
Carlos Canal | University of Málaga, Spain |
Markus Lumpe | Swinburne University of Technology, Australia |
Eric Madelaine | INRIA, Centre Sophia Antipolis, France |
Peter Ölveczky | University of Oslo, Norway |
Corina Păsăreanu | NASA Ames, USA |
Bernhard Schätz | fortiss GmbH, Germany |
Organizing Committee
|