Committees

GENERAL CHAIR
Einar Broch Johnsen, University of Oslo, NO

PC CHAIRS
Nikolaj Bjørner, Microsoft Research, US
Frank de Boer, CWI, NL

WORKSHOPS CHAIRS
Marieke Huisman, Twente University, NL
Volker Stolz, University of Oslo, NO

INDUSTRY DAY CHAIRS
Ralf Huuck, Red Lizard Software, AUS
Peter Gorm Larsen, Aarhus University, DK
Andreas Roth, SAP, DE

TOOL EXHIBITION CHAIRS
Richard Bubel, TU Darmstadt, DE
Rudolf Schlatte, University of Oslo, NO

TUTORIAL CHAIRS
Ferruccio Damiani, University of Torino, IT
Cristian Prisacariu, University of Oslo, NO

DOCTORAL SYMPOSIUM CHAIRS
Bernhard Aichernig, TU Graz, AT
Alessandro Rossini, Sintef, NO

FINANCE CHAIRS
Arnaud Gotlieb, Simula Research Labs, NO
Ingrid Chieh Yu, University of Oslo , NO

PUBLICITY CHAIR
Martin Steffen, University of Oslo, NO

LOCAL ORGANIZATION CHAIRS
Violet Pun, University of Oslo, NO
S. Lizeth Tapia Tarifa, University of Oslo, NO

PROGRAM COMMITTEE
Erika Ábrahám, RWTH Aachen University
Bernhard K. Aichernig, TU Graz
Gilles Barthe, IMDEA Software Institute
Nikolaj Bjørner, Microsoft Research
Marcello Bonsangue, Leiden University
Michael Butler, University of Southampton
Andrew Butterfield, Trinity College Dublin
Ana Cavalcanti, University of York
David Clark, University College London
Frank S. de Boer, CWI
Jin Song Dong, National University of Singapore
Michael Emmi, IMDEA Software Institute
John Fitzgerald, Newcastle University
Nate Foster, Cornell University
Vijay Ganesh, University of Waterloo
Diego Garbervetsky, Dep. de Computación, U. de Buenos Aires
Dimitra Giannakopoulou, NASA Ames Research Center
Stefania Gnesi, ISTI-CNR
Ganesh Gopalakrishnan, University of Utah
Orna Grumberg, Technion, Israel Institute of Technology
Arie Gurfinkel, Carnegie Mellon University
Reiner Hähnle, Technical University of Darmstadt
Klaus Havelund, NASA Jet Propulsion Laboratory
Anne E. Haxthausen, Technical University of Denmark
Ian J. Hayes, University of Queensland
Gerard Holzmann, NASA Jet Propulsion Laboratory
Daniel Jackson, MIT
Cliff Jones, Newcastle University
Gerwin Klein, NICTA and UNSW
Laura Kovacs, Chalmers University of Technology
Marta Kwiatkowska, University of Oxford
Peter Gorm Larsen, Aarhus University
Yves Ledru, Lab. d’Informatique de Grenoble, U. Joseph Fourier
Rustan Leino, Microsoft Research
Martin Leucker, University of Lübeck
Shaoying Liu, Hosei University
Tom Maibaum, McMaster University
Dominique Méry, Université de Lorraine, LORIA
Peter Müller, ETH Zürich
César Muñoz, National Aeronautics and Space Administration
David Naumann, Stevens Institute of Technology
Tobias Nipkow, TU München
José Oliveira, Universidade do Minho
Olaf Owe, University of Oslo
Sam Owre, SRI International
Andrei Paskevich, Université Paris-Sud 11, IUT d’Orsay
Grigore Rosu, University of Illinois at Urbana-Champaign
Kristin Yvonne Rozier, NASA Ames Research Center
Sanjit A. Seshia, UC Berkeley
Natasha Sharygina, Università della Svizzera Italiana
Viorica Sofronie-Stokkermans, Max-Planck Institute for Informatics
Jun Sun, Singapore University of Technology and Design
Kenji Taguchi, AIST
Margus Veanes, Microsoft Research
Ji Wang, National Lab. for Parallel and Distributed Processing
Alan Wassyng, McMaster University
Heike Wehrheim, University of Paderborn
Michael Whalen, University of Minnesota
Jim Woodcock, University of York
Gianluigi Zavattaro, University of Bologna
Pamela Zave, AT&T

20th International Symposium on Formal Methods