[Caml-list] 11-13 Septmber AVOCS2013 Call for Participation

[Caml-list] 11-13 Septmber AVOCS2013 Call for Participation

[Announcements of FME events]

[-- Attachment #1.1: Type: text/plain, Size: 3891 bytes --]

AVOCS 2013 Call for Participation


**********************************************************************
13th Automated Verification of Critical Systems (AVOCS) 2013 Workshop

http://www.avocs2013.org.uk<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


[-- Attachment #1.2: Type: text/html, Size: 18456 bytes --]

[-- Attachment #2: Type: text/plain, Size: 144 bytes --]

_______________________________________________
events mailing list
events@fmeurope.org
http://fmeurope.hosting.west.nl/mailman/listinfo/events