fm2011 /
Program Committee
GENERAL CHAIR
Mike Hinchey, Lero, Ireland
PC CHAIRS
Michael Butler, University of Southampton, UK
Wolfram Schulte, Microsoft Research, USA
PROGRAMME COMMITTEE
| Farhad | Arbab | CWI Amsterdam | The Netherlands |
| Jos | Baeten | Eindhoven University of Technology | The Netherlands |
| Anindya | Banerjee | IMDEA Software Institute | Spain |
| David | Basin | ETH Zurich | Switzerland |
| Eerke | Boiten | University of Kent | UK |
| Jonathan | Bowen | Museophile Limited | UK |
| Einar | Broch Johnsen | University of Oslo | Norway |
| Michael | Butler | University of Southampton | UK |
| Andrew | Butterfield | Trinity College Dublin | Ireland |
| Ana | Cavalcanti | University of York | UK |
| Byron | Cook | Microsoft Research Cambridge | UK |
| Jin Song | Dong | National University of Singapore | Singapore |
| Colin | Fidge | QUT Brisbane | Australia |
| Bernd | Finkbeiner | Universität des Saarlandes | Germany |
| John | Fitzgerald | University of Newcastle | UK |
| Marc | Frappier | Université de Sherbrooke | Canada |
| Dimitra | Giannakopoulou | Carnegie Mellon / NASA Ames | USA |
| Stefania | Gnesi | ISTI-CNR Pisa | Italy |
| Reiner | Hähnle | Chalmers University of Technology | Sweden |
| Klaus | Havelund | NASA JPL | USA |
| Mats | Heimdahl | University of Minnesota | USA |
| Jane | Hillston | University of Edinburgh | UK |
| Daniel | Jackson | MIT | USA |
| Randolph | Johnson | National Security Agency | USA |
| Sarfraz | Khurshid | University of Texas at Austin | USA |
| Gerwin | Klein | NICTA Sydney | Australia |
| Daniel | Kroening | University of Oxford | UK |
| Regine | Laleau | Université Paris-Est | France |
| Peter Gorm | Larsen | Engineering College Aarhus | Denmark |
| Kim | Larsen | Aalborg University | Denmark |
| Timo | Latvala | Space Systems Finland | Finland |
| Gary | Leavens | University of Central Florida | USA |
| Elizabeth | Leonard | Naval Research Lab | USA |
| Michael | Leuschel | Heinrich-Heine-Universität Düsseldorf | Germany |
| Zhiming | Liu | UNU-IIST | Macao |
| Tom | Maibaum | McMaster University | Canada |
| Joao | Marques-Silva | University College Dublin | Ireland |
| Sjouke | Mauw | University of Luxembourg | Luxembourg |
| Annabelle | McIver | Macquarie University | Australia |
| Simão | Melo de Sousa | Universidade da Beira Interior | Portugal |
| Tobias | Nipkow | Technische Universität München | Germany |
| Manuel | Nunez | University Complutense de Madrid | Spain |
| José | Nuno Oliveira | Universidade do Minho | Portugal |
| Colin | O'Halloran | QinetiQ | UK |
| Ganesan | Ramalingam | Microsoft Research India | India |
| S | Ramesh | General Motors India Science Laboratory | India |
| Grigore | Rosu | University of Illinois at Urbana-Champaign | USA |
| Andreas | Roth | SAP | Germany |
| Augusto | Sampaio | Universidade Federal de Pernambuco | Brazil |
| Wolfgang | Schreiner | Johannes Kepler University | Austria |
| Wolfram | Schulte | Microsoft Research Redmond | USA |
| Kaisa | Sere | Åbo Akademi University | Finland |
| Kenji | Taguchi | AIST | Japan |
| Andrzej | Tarlecki | University of Warsaw | Poland |
| Mark | Utting | Waikato University | New Zealand |
| Huibiao | Zhu | East China Normal University | China |
WORKSHOP CHAIRS
Emil Vassev, Lero, Ireland
David Sinclair, Lero, Ireland
TUTORIALS CHAIR
Nico Plat, West Consulting, The Netherlands
INDUSTRY DAY CHAIRS
Andrew Butterfield, Trinity College Dublin, Ireland
Thierry Lecomte, ClearSy, France
DOCTORAL CHAIR
Norah Power, Lero, Ireland
PUBLICITY CHAIR
Top
