11th International Conference on
Software Engineering and Formal Methods
September 25-27, 2013, Madrid, Spain
Committees
Steering Committee
- Andrea Maggiolo-Schettini, University of Pisa, Italy.
- Antonio Cerone, UNU-IIST, Macau SAR China.
- Manfred Broy Technische Universität Munich, Germany.
- Mathai Joseph, TRDDC, Pune, India.
- Mike Hinchey, Lero-The Irish Software Engineering Research Centre, Ireland.
- Zhiming Liu, UNU-IIST, Macau SAR China.
Conference Chair
- Manuel Núńez, Universidad Complutense de Madrid, Spain.
Program Co-Chairs
- Mario Bravetti,
Universitŕ di Bologna, Italy.
- Mercedes G. Merayo,
Universidad Complutense de Madrid, Spain.
- Rob Hierons,
Brunel University, United Kingdom.
Program Committee
- Wolfgang Ahrendt, Chalmers University of Technology, Sweden.
- Bernhard K. Aichernig, TU Graz, Austria.
- Jesus M. Almendros-Jimenez, Universidad de Almeria, Spain.
- Ade Azurat, Fasilkom UI, Indonesia.
- Luis Barbosa, Universidade do Minho, Portugal.
- Jonathan P. Bowen, Museophile Limited, UK.
- Mario Bravetti, Universita di Bologna, Italy.
- Ana Cavalcanti, University of York, UK.
- Antonio Cerone, United Nations University, Macao.
- Benoît Combemale, IRISA, Université de Rennes, France.
- Steve Counsell, Brunel University, UK.
- Hung Dang Van, Vietnam National University, Vietnam.
- George Eleftherakis, CITY College of Thessaloniki, Greece.
- José Luiz Fiadeiro, Royal Holloway, University of London, UK.
- Martin Fränzle, Carl von Ossietzky Universität Oldenburg, Germany.
- Dimitra Giannakopoulou, NASA Ames, USA.
- Stefania Gnesi, ISTI-CNR, Italy.
- Klaus Havelund, Jet Propulsion Laboratory, California Institute of Technology, USA.
- Rob Hierons, Brunel University, UK.
- Mike Hinchey, Lero-the Irish Software Engineering Research Centre, Ireland.
- Florentin Ipate, University of Bucharest, Romania.
- Einar Broch Johnsen, University of Oslo, Norway.
- Panagiotis Katsaros, Aristotle University of Thessaloniki, Greece.
- Joseph Kiniry, Technical University of Denmark, Denmark.
- Martin Leucker, University of Lübeck, Germany.
- Peter Lindsay, The University of Queensland, Australia.
- Zhiming Liu, United Nations University, Macao.
- Antónia Lopes, University of Lisbon, Portugal.
- Tiziana Margaria, Universität Potsdam, Germany.
- Mercedes G. Merayo, Universidad Complutense de Madrid, Spain.
- Stephan Merz, INRIA Lorraine, France.
- Mizuhito Ogawa, Japan Advanced Institute of Science and Technology, Japan.
- Fernando Orejas, Universitat Politčcnica de Catalunya, Spain.
- Olaf Owe, Universitity of Oslo, Norway.
- Gordon Pace, University of Malta, Malta.
- Anna Philippou, University of Cyprus, Cyprus.
- Mario Piattini, University of Castilla-La Mancha, Spain.
- Sanjiva Prasad, Indian Institute of Technology Delhi, India.
- Anders Ravn, Aalborg University, Denmark.
- Jakob Rehof, Fraunhofer ISST, Germany.
- Wolfgang Reisig, Humboldt-Universitaet zu Berlin, Germany.
- Leila Ribeiro, Universidade Federal do Rio Grande do Sul, Brazil.
- Bernhard Rumpe, RWTH Aachen University, Germany.
- Augusto Sampaio, Federal University of Pernambuco, Brazil.
- Ina Schaefer, Technische Universität Braunschweig, Germany.
- Gerardo Schneider, Chalmers | University of Gothenburg, Sweden.
- Steve Schneider, University of Surrey, UK.
- Massimo Tivoli, University of L'Aquila, Italy.
- Viktor Vafeiadis, MPI-SWS, Germany.
Workshops Chair
- Steve Counsel,
Brunel University, United Kingdom.
Organisation Chairs
- Jesús Correas, Universidad Complutense de Madrid, Spain.
- Luis Llana, Universidad Complutense de Madrid, Spain.
- Sonia Estévez, Universidad Complutense de Madrid, Spain.
Publicity Chair
- Haitao Dan, Brunel University, United Kingdom.
- Alberto Núńez, Universidad Complutense de Madrid, Spain.
