AVOCS 2013 Call for Participation ********************************************************************** 13th Automated Verification of Critical Systems (AVOCS) 2013 Workshop http://www.avocs2013.org.uk 11-13th September, 2013 University of Surrey, UK ********************************************************************** REGISTRATION The registration to AVOCS2013 can be done on the web through the Surrey online store: http://www.avocs2013.org.uk Note: Early Bird Registration deadline (including accommodation): 8th August 2013 INVITED SPEAKERS - Marcio Roveri, Senior Researcher Fondazione Bruno Kessler, Italy. His talk will be on software model checking with explicit scheduler and symbolic threads. The talk will refer to the software model checker Kratos and its use in the railway domain. - Alessio Lomuscio, Professor in logic for multi-agent systems in the Department of Computing, Imperial College London. His talk will be on verification of multi-agent systems via model checking. - Sofia Guerra, Adelard. She is a Partner in Adelard and responsible for Adelard's Quality Assurance System. Her industrial talk will be on software assessment of smart sensors. PRESENTATIONS We have 14 regular papers and 2 short papers. Details of the accepted papers are on the website. OBJECTIVES OF WORKSHOP The aim of Automated Verification of Critical Systems (AVoCS) 2013 is to contribute to the interaction and exchange of ideas among members of the international research community on tools and techniques for the verification of critical systems. The subject is to be interpreted broadly and inclusively. It covers all aspects of automated verification, including model checking, theorem proving, SAT/SMT constraint solving, abstract interpretation, and refinement pertaining to various types of critical systems which need to meet stringent dependability requirements (safety-critical, business-critical, performance-critical, etc.). The workshop will be relatively informal, with an emphasis on discussion. PROGRAMME COMMITTEE Phil Brooke (University of Teeside, UK) Radu Calinescu (University of York, UK) Alessandro Fantechi (University of Florence, Italy) Michael Goldsmith (University of Oxford, UK) Gudmund Grov (Heriot-Watt, Edinburgh, UK) Anne Haxthausen (TU, Denmark) Constance Heitmeyer (Naval Research Laboratory, US) Thai Son Hoang (ETH, Zurich) Cliff Jones (Newcastle University, UK) Temesghen Kahsai (NASA Ames Research Center, USA) Gerald Lüttgen (University of Bamberg, Germany) Stephan Merz (INRIA Nancy & LORIA, France) Alice Miller (University of Glasgow, UK) Hoang Nga Nguyen (University of Swansea, UK) Jaco van de Pol (University of Twente, The Netherlands) Kristin Yvonne Rozier, (NASA Ames Research Center, USA) Markus Roggenbach (Swansea University, UK) Marco Roveri (Fondazione Bruno Kessler, Italy) Thomas Santen (Microsoft Research Aachen, Germany) Steve Schneider (University of Surrey, UK, Co-Chair) Helen Treharne (University of Surrey, UK, Co-Chair) Laurent Voisin (Systerel, France) Lijun Zhang (TU, Denmark) STEERING COMMITTEE Michael Goldsmith (University of Oxford, UK) Stephan Merz (INRIA Nancy & LORIA, F) Markus Roggenbach (Swansea University, UK) ORGANIZATION COMMITTEE Helen Treharne Steve Schneider ************************************************************************* This call for participation and additional information about the conference can be found at http://www.avocs2013.org.uk For information regarding the conference you can contact: info@avocs2013.org.uk ************************************************************************* - - - - - - Dr Helen Treharne Senior Lecturer Department of Computing University of Surrey GU2 7XH Phone: +44 1483 683161