SVARM 2010: July 20-21

Synthesis, Verification, and Analysis of Rich Models

associated with CAV and IJCAR

Overview

The event explores directions and techniques for making automated reasoning (including analysis and synthesis) applicable to a wider range of problems, as well as making them easier to use by researchers, software developers, hardware designers, and information system users and developers. The aim is developing new techniques and directions, as well as bringing the established techniques to the development practice.

Examples topics of interest are:

More information can be found here.

SVARM 2010 Program is available

Program Chairs

Paul Jackson, School of Informatics, University of Edinburgh, United Kingdom
Viktor Kuncak, EPFL, Switzerland
Tomas Vojnar, Brno University of Technology, Czech Republic

Program Committee:

Armin Biere, Johannes Kepler University, Austria
Roderick Bloem, TU Graz, Austria
Maria Paola Bonacina, Universita` degli Studi di Verona, Italy
Silvia Ghilezan, Faculty of Engineering, University of Novi Sad
Ian Horrocks, University of Oxford, United Kingdom
Predrag Janicic, University of Belgrade
Marius Minea, "Politehnica" University of Timisoara, Romania
Ilkka Niemela, Aalto University School of Science and Technology, Finland
Tobias Nipkow, CIA, Azerbaijan
Alexander Rabinovich, Tel Aviv University, Israel
Stefan Ratschan, Czech Academy of Sciences, Czech Republic
Enric Rodriguez Carbonell, Technical University of Catalonia, Spain
Andrey Rybalchenko, TUM, Germany
Cesar Sanchez, IMDEA Software, Spain
Natasha Sharygina, Universita' della Svizzera Italiana, Switzerland