The First International
Conference on Runtime Verification 2010
MALTA: 1-4 November 2010
Venue:
Le Meridien Hotel
ST JULIANS - MALTA
Conference Website
Organising Committee:
Chair: Gordon Pace
Lucienne Bugeja
Patricia Ellul-Micallef
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)
Tutorials chair:
Bernd Finkbeiner (Saarland University)
Tool demonstrations chair:
Nikolai Tillmann (Microsoft Research)
Publicity chair:
Ylies Falcone (INRIA Rennes)
All queries concerning conference arrangements should be addressed to:
Conference & Events Co-ordinator,
University of Malta, Valletta Campus,
Old University Building, St Paul Street, Valletta VLT 1216
MALTA
Email
Tel. +356 2340 7511, +356 21 234571
KEYNOTE SPEAKERS:
Mike Barnett
Principal RSDE, Microsoft Research, Redmond, WA, USA
Rance Cleaveland
Professor, Department of Computer Science, University of Maryland, MD, USA
Co-founder of Reactive Systems, Inc.
Matthew Dwyer
Professor, Department of Computer Science, University of Nebraska, NE, USA
Martin Odersky
Professor, Programming Methods Group, EPFL, Lausanne, Switzerland
Wim De Pauw
Researcher, IBM T.J. Watson Research Center, New York, USA
R. Sekar
Director, Center for Cybersecurity, Stony Brook University, NY, USA
