Call for Abstracts: Synthesis, Verification, and Analysis of Rich Models

The workshop on Synthesis, Verification, and Analysis of
Rich Models (SVARM) will take place July 20-21 in Edinburgh,
UK, as part of FLoC 2010. The event is affiliated with two
FLoC conferences: IJCAR 2010 and CAV 2010.

The event will be simultaneously a meeting for all work
groups of the Rich Model Toolkit Initiative

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

Invited Talks:
* Natarajan Shankar: Inference Architectures for Satisfiability Modulo Theories
* Bernhard Beckert: Formal Verification of System Software

Further selected presentations:
* over 10 presentations by Rich Model Toolkit initiative members

The event is now open for additional abstract submissions
from the scientific community until 23 April 2010.

Important dates:
* April 23: Abstract Submission Deadline
* April 30: Notification. Program Published Online
* July 20-21: The Workshop

The submitted abstracts will be selected for presentation
based on the originality of summarized results, expected
presentation quality, and the likelihood of initiating
discussion at SVARM.  The focus of the event is on
presentations and discussions; there will be neither
electronic nor paper proceedings before the event.

Program Committee
* Roderick Bloem (TU Graz, Austria)
* Armin Biere (Johannes Kepler University, Linz, Austria)
* Maria Paola Bonacina (Universita degli Studi di Verona, Italy)
* Enric Rodriguez Carbonell (TU Catalonia, Spain)
* Silvia Ghilezan (University of Novi Sad, Serbia)
* Ian Horrocks (University of Oxford, UK)
* Paul Jackson (University of Edinburgh, UK)
* Predrag Janicic (University of Belgrade, Serbia)
* Viktor Kuncak (EPFL, Switzerland)
* Marius Minea (Politehnica University of Timisoara, Romania)
* Ilkka Niemela (Helsinki University of Technology, Finland)
* Tobias Nipkow (TU Munich, Germany)
* Alexander Rabinovich (Tel-Aviv University, Israel)
* Stefan Ratschan (Academy of Sciences, Czech Republic)
* Andrey Rybalchenko (MPI-SWS, Germany)
* Cesar Sanchez (IMDEA-Software, Spain)
* Natasha Sharygina (University of Lugano, Switzerland)
* Tomas Vojnar (Brno Univ. of Technology, Czech Republic)

Program and Conference Chairs
* Paul Jackson
* Viktor Kuncak
* Tomas Vojnar
Publicity Chair: Ruzica Piskac

For more details, please see