[Caml-list] AVOCS 2013 Call for Participation, September 11-13, University of Surrey

[Caml-list] AVOCS 2013 Call for Participation, September 11-13, University of Surrey

[Announcements of FME events]

13th Automated Verification of Critical Systems (AVOCS) Workshop

11-13th September, 2013
University of Surrey, UK

http://www.avocs2013.org.uk
Registration via the conference website:  Regular £220, PhD £170


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.  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 programme 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







----
Professor Steve Schneider
Department of Computing
University of Surrey
Guildford, Surrey, GU2 7XH
+44 1483 689637 




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