University of Malta
 

Runtime Verification 2010
UOM Main Page
 
 
 
Newspoint

rv10

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
Calendar
Notices
 
 

Log In back to UoM Homepage