ABZ Conference
Conference Chairs
Steve Reeves, University of Waikato, New Zealand (stever@cs.waikato.ac.nz)
Elvinia Riccobene, University of Milan, Italy (elvinia.riccobene@unimi.it)
Track Chairs
Alloy Track Chair :
Sarfraz Khurshid, University of Texas at Austin, USA (khurshid@ece.utexas.edu)
ASM Track Chair :
Elvinia Riccobene, University of Milan, Italy (elvinia.riccobene@unimi.it)
B Track Chair :
Michael Leuschel , University of Düsseldorf, Germany (leuschel@cs.uni-duesseldorf.de)
VDM Track Chair:
John Fitzgerald, Newcastle University, UK (john.fitzgerald@newcastle.ac.uk)
Z Track Chair:
Steve Reeves, University of Waikato, New Zealand(stever@cs.waikato.ac.nz)
Program Committee
Jean-Raymond Abrial, Marseille, France
Yamine Ait-Ameur, IRIT-ENSEEIHT, Toulouse, France
Rob Arthan, Lemma 1 Ltd., UK
Nick Battle, Fujitsu Services, UK
Juan Bicarregui, STFC, UK
Dines Bjorner, DTU Informatics, Denmark
Eerke Boiten, University of Kent, UK
Jonathan P. Bowen, Museophile Limited, UK
Ana Cavalcanti, University of York, UK
David Deharbe, UFRN, Brazil
John Derrick, University of Sheffield, UK
Juergen Dingel, Queen's University, Canada
Andriy Dunets, Universität Augsburg, Germany
Steve Dunne, University of Teesside, UK
Kerstin Eder, University of Bristol, UK
Roozbeh Farahbod, Researcher at Defence , Canada
Kathi Fisler, Worcester Polytechnic Institute, USA
John Fitzgerald, Newcastle University, UK
Marc Frappier, University of Sherbrooke, Canada
Vincenzo Gervasi, University of Pisa, Italy
Uwe Glaesser, Simon Fraser University, Canada
Anthony Hall, independent consultant, UK
Stefan Hallerstede, University of Aarhus, Denmark
Klaus Havelund, Jet Propulsion Laboratory/NASA, USA
Ian J. Hayes, University of Queensland, Australia
Rob Hierons, Brunel University, UK
Thai Son Hoang, ETH Zürich, Switzerland
Jeremy Jacob, University of York, UK
Cliff Jones, Newcastle University, UK
Sarfraz Khurshid, University of Texas at Austin, USA
Régine Laleau, Univesity of Paris-Est, France
Peter Gorm Larsen, Aarhus School of Engineering, Denmark
Daniel Le Berre, Université d'Artois, France
Thierry Lecomte, ClearSy, France
Michael Leuschel, University of Düsseldorf, Germany
Darko Marinov, University of Illinois, USA
Christophe Métayer, Systerel, France
José Oliveira, Minho University, Portugal
Marie-Laure Potet, IMAG Grenoble, France
Andreas Prinz, Agder University College, Norway
Alexander Raschke, University of ULM, Germany
Steve Reeves, University of Waikato, New Zealand
Burkhardt Renz, Univirsity of Gieben-Friedberg, Germany
Elvinia Riccobene, University of Milan, Italy
Ken Robinson, Univ. of New South Wales, Australia
Shin Sahara, SCSK Corporation & Hosei University, Japan
Thomas Santen, Microsoft Innovation Center, Aachen, Germany
Patrizia Scandurra, University of Bergamo, Italy
Gerhard Schellhorn, University of Augsburg, Germany
Klaus-Dieter Schewe, SCCH, Linz, Austria
Steve Schneider, University of Surrey, UK
Colin Snook, University of Southampton, UK
Kevin Sullivan, University of Virginia, USA
Mana Taghdiri, Karlsruhe Institute of Technology, Germany
Bernard Thalheim, University of Kiel, Germany
Margus Veanes, Microsoft Research, USA
Marcel Verhoef, CHESS BV, Netherlands
Kirsten Winter, University of Queensland, Australia