[Om-announce] AVoCS 2014: 1st Call for Participation

[Wojciech Mostowski]

(Apologies for multiple copies)

**********************************************************************

Call for Participation

14th Automated Verification of Critical Systems (AVoCS) 2014 Workshop

http://www.utwente.nl/avocs2014

24-26th September, 2014

University of Twente, Netherlands

**********************************************************************

Call for Participation

The aim of Automated Verification of Critical Systems (AVoCS) 2014 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.). Contributions that describe different
techniques, or industrial case studies are encouraged. The technical
programme will consist of invited and contributed talks and also allow
for short presentations of research ideas. The workshop will be
relatively informal, with an emphasis on discussion.

AVoCS topics include (but are not limited to)

     Model Checking
     Automatic and Interactive Theorem Proving
     SAT, SMT or Constraint Solving for Verification
     Abstract Interpretation
     Specification and Refinement
     Requirements Capture and Analysis
     Verification of Software and Hardware
     Specification and Verification of Fault Tolerance and Resilience
     Probabilistic and Real-Time Systems
     Dependable Systems
     Verified System Development
     Industrial Applications

Thanks to Formal Methods Europe (http://www.fmeurope.org/), we offer a
financial support for students registering for AVoCS in the form of a
registration fee waiver (full or partial). Because our financial support
is limited, we ask the students that would like to take the advantage of
this support to submit a short application (deadline August 14th). The
details on how to apply can be found on the AVoCS 2014 webpage
(http://www.utwente.nl/avocs2014).

AVoCS 2014 is coorganised and colocated with SPES_XT Summer School
on Model-based design and analysis of cyber-physical systems:

http://spes2020.informatik.tu-muenchen.de/summerschool2014.html

A registration reduction is offered for participants attending both events.

The workshop will have three invited speakers:

   Laura Kovacs (Chalmers, Sweden) will speak about automated assertion
     generation.
   Alastair Donaldson (Imperial College, U.K.) will speak about
     verification of OpenCL kernels.
   Guy Broadfoot (U.K.) will speak about fighting the battle to get
     industry to adopt formal based tools.

Important Dates

   Student grant application: 14th August 2014
   Early registration: 1st September 2014

   Workshop: 24-26th September 2014 (2.5 days, ends 26th lunchtime)

Registration Details

All the details on how to register and pay are to be found at the 
workshop page at
http://fmt.cs.utwente.nl/conferences/avocs2014/register.php.

Research Presentations

The following is the list of full research papers that will be presented at
AVoCS 2014:

Jan Friso Groote, Remco Van Der Hofstad and Matthias Raffelsieper.
   On the Random Structure of Behavioural Transition Systems

Paolo Arcaini, Angelo Gargantini and Elvinia Riccobene.
   Using SMT for dealing with nondeterminism in ASM-based runtime
   verification

Jingshu Chen, Marie Duflot and Stephan Merz.
   Analyzing Conflict Freedom for Multithreaded Programs with Time
   Annotations

Morteza Mohaqeqi, Mohammadreza Mousavi and Walid Taha.
   Conformance Testing of Cyber-Physical Systems: A Comparative Study

Petr Ročkai, Jiří Barnat and Luboš Brim.
   Model Checking C++ with Exceptions

Leo Hatvani, Alexandre David, Cristina Seceleanu and Paul Pettersson.
   Adaptive Task Automata with Earliest-Deadline-First Scheduling

Sven Reimer, Matthias Sauer, Paolo Marin and Bernd Becker.
   QBF with Soft Variables

Adisak Intana, Michael Poppleton and Geoff Merrett.
   A Formal Co-Simulation Approach for Wireless Sensor Network
   Development

John Mullins and Béatrice Bérard.
   Verification of Information Flow Properties under Rational Observation

Jeremy Sproston.
   Exact and Approximate Abstraction for Classes of Stochastic Hybrid
   Systems

Ernst Moritz Hahn, Arnd Hartmanns and Holger Hermanns.
   Reachability and Reward Checking for Stochastic Timed Automata

Renaud De Landtsheer, Christophe Ponsard, Nicolas Devos, Bénédicte
Moriau and Guy Anckaerts.
   A Constraint-Solving Approach for Achieving Minimal-Reset Transition
   Coverage of Smartcard Behaviour

Ali Jafari, Ehsan Khamespanah, Marjan Sirjani and Holger Hermanns.
   Performance Analysis of Distributed and Asynchronous Systems using
   Probabilistic Timed Actors

Steering Committee

   Michael Goldsmith, University of Oxford, U.K.
   Stephan Merz, INRIA Nancy & LORIA, France
   Markus Roggenbach, Swansea University, U.K.

Organization Committee

   Marieke Huisman
   Wojciech Mostowski (publicity chair)
   Jaco van de Pol

-- 
Wojciech Mostowski
University of Twente
Formal Methods and Tools, EWI
EWI-FMT, P.O. Box 217, 7500AE Enschede, The Netherlands
e-mail: w.mostowski at utwente.nl
www: http://wwwhome.ewi.utwente.nl/~mostowskiwi/
tel: +31-53-489 3640
fax: +31-53-489 3247