Chairs and Organizers of the 2010 Edition
General chairs:
Howard Barringer (University of Manchester, UK)
Klaus Havelund (NASA/JPL, USA)
Insup Lee (University of Pennsylvania, USA)
Programme committee chairs:
Grigore Rosu (University of Illinois at Urbana-Champaign, USA)
Oleg Sokolsky (University of Pennsylvania, USA)
Local organization chair:
Gordon Pace (University of Malta)
Tutorials chair:
Bernd Finkbeiner (Saarland University)
Tool demonstrations chair:
Nikolai Tillmann (Microsoft Research)
Publicity chair:
Ylies Falcone (INRIA Rennes)
Programme Committee
Jamie Andrews (University of Western Ontario, Canada)Thomas Ball (Microsoft Research Redmond, USA)
Saddek Bensalem (Verimag, France)
Eric Bodden (Technical University Darmstadt, Germany)
Rance Cleaveland (University of Maryland, USA)
Mads Dam (KTH, SE)
Matthew Dwyer (University of Nebraska, USA)
Bernd Finkbeiner (Saarland University, Germany)
Cormac Flanagan (University of California at Santa Cruz, USA)
Jean Goubault-Larrecq (ENS Cachan, France)
Patrice Godefroid (Microsoft Research Redmond, USA)
Susanne Graf (Verimag, France)
Radu Grosu (State University of New York at Stony Brook, USA)
Lars Grunske (Swinburne University of Technology, Australia)
Rajiv Gupta (University of California at Riverside, USA)
John Hatcliff (Kansas State University, USA)
Mats Heimdahl (University of Minnesota, USA)
Sarfraz Khurshid (University of Texas at Austin, USA)
Kim Larsen (Aalborg University, Denmark)
Martin Leucker (Technical University Muenchen, Germany)
Paul Miner (NASA Langley, USA)
Greg Morrisett (Harvard University, USA)
Brian Nielsen (Aalborg University, Denmark)
Klaus Ostermann (University of Marburg, Germany)
Corina Pasareanu (NASA Ames, USA)
Doron Peled (Bar Ilan University, Israel)
Martin Rinard (Massachussets Institute of Technology, USA)
Grigore Rosu (University of Illinois at Urbana-Champaign, USA) (co-chair)
Wolfram Schulte (Microsoft Research Redmond, USA)
Koushik Sen (University of California at Berkeley, USA)
Peter Sestoft (University of Copenhagen, Denmark)
Scott Smolka (State University of New York at Stony Brook, USA)
Oleg Sokolsky (University of Pennsylvania, USA) (co-chair)
Serdar Tasiran (Koc University, Turkey)
Shmuel Ur (IBM Haifa Research Laboratory, Israel)
Willem Visser (University of Stellenbosch, South Africa)
Mahesh Viswanathan (University of Illinois at Urbana-Champaign, USA)
Brian Williams (MIT, USA)
RV Steering Committee
Howard Barringer (University of Manchester, UK)Klaus Havelund (NASA/JPL, USA) (co-chair)
Gerard Holzmann (NASA/JPL, USA)
Insup Lee (University of Pennsylvania, USA)
Grigore Rosu (University of Illinois at Urbana-Champaign, USA) (co-chair)
Oleg Sokolsky (University of Pennsylvania, USA)