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 Jonathan Bowen, 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, India 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, University of York, 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, Pune, India Zhiming Liu, United Nations University, Macau SAR, China Andrea Maggiolo-Schettini, University of Pisa, Italy xi.