[TYPES/announce] AVoCS 2014: 2nd Call for Participation (early registration by September 1st)

[Marieke Huisman]

(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

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

Deadlines Approaching

Early registration for AVoCS 2014 closes on 1st of September!

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.There are still places free for the prospective summer school 
participants.

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 and Hotel 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.
Hotel information is to be found at
http://fmt.cs.utwente.nl/conferences/avocs2014/local.php
(note that the special price for the last hotel will also expire on
September 1st).

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