Committees

Organizing Committee

Conference Chair

Ken MacGregor, University of Cape Town, South Africa

Finance Chair

Mike Hinchey, University of Limerick, Ireland

Program Co-Chairs

Antonio Cerone, United Nations University, Macau SAR, China Stefan Gruner, University of Pretoria, South Africa

Local Arrangement Chair

Anet Potgieter, University of Cape Town, South Africa

SEFM 2008 Program Committee

Marco Aiello, University of Groningen, Netherlands Luis Barbosa, University of Minho, Portugal Bernhard Beckert, University of Koblenz, Germany , King’s College London, UK Antonio Cerone (Co-Chair), United Nations University, Macau SAR, China Flavio Corradini, University of Camerino, Italy Patrick Cousot, ENS, France Hamdan Z. Dammag, Yemeni Centre for Studies and Research, Yemen Rocco De Nicola, University of Firenze, Italy George Eleftherakis, CITY College, Greece Stefania Gnesi, ISTI-CNR, Italy Valentin Goranko, University of the Witwatersrand, South Africa Stefan Gruner (Co-Chair), University of Pretoria, South Africa Klaus Havelund, Jet Propulsion Laboratory/Caltech, USA Thomas A. Henzinger, EPFL, Switzerland Mike Hinchey, University of Limerick, Ireland Dang Van Hung, Vietnam National University, Vietnam Jean-Marie Jacquet, University of Namur, Belgium Tomasz Janowski, United Nations University, Macau SAR, China Shmuel Katz, The Technion, Israel Padmanabhan Krishnan, Bond University, Australia Peter Gorm Larsen, Aarhus University, Denmark Peter Lindsay, The University of Queensland, Australia Tiziana Margaria, University of Potsdam, Germany Carlo Montangero, University of Pisa, Italy Cecilia Esti Nugraheni, Parahyangan Catholic University, Indonesia Tunji Odejobi, Obafemi Awolowo University, Nigeria

x David von Oheimb, Siemens Corporate Technology, Germany Philippe Palanque, IRIT, Univ. of Toulouse III, France Doron Peled, Bar Ilan University, Israel Wojciech Penczek, IPI PAN and Univ. of Podlasie, Poland Alexander K. Petrenko, ISPRAS, Russia Paul Petterson, Mälardalen University, Sweden Anet Potgieter, University of Cape Town, South Africa Sanjiva Prasad, Indian Institute of Technology, Delhi, Steve Reeves, University of Waikato, New Zealand Ingrid Rewitzky, University of Stellenbosch, South Africa Djamel Eddine Saidouni, Univ. Mentouri of Constantine, Algeria Augusto Sampaio, Federal University of Pernambuco, Brazil Gerardo Schneider, University of Oslo, Norway Siraj Shaikh, Cranfield University, UK Bernhard Steffen, TU Dortmund, Germany Sergiy Vilkomir, University of Tennessee, USA Jim Woodcock, , UK Huibiao Zhu, East China Normal University, China

Steering Committee

Manfred Broy, Technische Universität München, Germany Antonio Cerone (Coordinator), United Nations University, Macau SAR, China Geoff Dromey, Griffith University, Australia Mike Hinchey, University of Limerick, Ireland Mathai Joseph, TRDDC, , India Zhiming Liu, United Nations University, Macau SAR, China Andrea Maggiolo-Schettini, University of Pisa, Italy

xi