Call for Abstracts: Synthesis, Verification, and Analysis of Rich Models http://richmodels.org/svarm http://www.easychair.org/conferences/?conf=svarm2010 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 (http://richmodels.org) 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. 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 http://richmodels.org/svarm http://www.easychair.org/conferences/?conf=svarm2010