The 13th International Workshop on Automated Verification of Critical Systems
Date: Sep 11, 2013 1:30 am – Sep 13, 2013 10:30 pm
Location: Guildford, Surrey
The 13th International Workshop on Automated Verification of Critical Systems will take place at the University of Surrey in Guildford, Surrey. The workshop will run from lunchtime on Wednesday 11th September to midday on Friday 13th September 2013.
Important Dates
- Submission (abstract for full paper): 31st May 2013
- Submission (full papers): 7th June 2013
- Submission (short papers): 19nd July 2013
- Notification (short papers): 26th July 2013
News- Confirmed invited speakers
We are pleased to confirm the following speakers:
- Dino Distefano, Professor of Software Verification, Queen Mary, University of London will be one of our invited speakers at the workshop. His main research interest is in automatic program verification.
- Marco Roveri, Senior Researcher Fondazione Bruno Kessler -- Embedded Systems, Italy. Marco will speak about 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.
About AVoCS
The aim of 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, security-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 ongoing work. The workshop will be relatively informal, with an emphasis on discussion.
Sponsorship
We are grateful to Formal Methods Europe and IBM for their generous sponsorship of this event.
Submitted by Anonymous
on
The 13th International Workshop on Automated Verification of Critical Systems will take place at the University of Surrey in Guildford, Surrey. The workshop will run from lunchtime on Wednesday 11th September to midday on Friday 13th September 2013.
Important Dates
- Submission (abstract for full paper): 31st May 2013
- Submission (full papers): 7th June 2013
- Submission (short papers): 19nd July 2013
- Notification (short papers): 26th July 2013
News- Confirmed invited speakers
We are pleased to confirm the following speakers:
- Dino Distefano, Professor of Software Verification, Queen Mary, University of London will be one of our invited speakers at the workshop. His main research interest is in automatic program verification.
- Marco Roveri, Senior Researcher Fondazione Bruno Kessler -- Embedded Systems, Italy. Marco will speak about 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.
About AVoCS
The aim of 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, security-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 ongoing work. The workshop will be relatively informal, with an emphasis on discussion.
Sponsorship
We are grateful to Formal Methods Europe and IBM for their generous sponsorship of this event.