AVoCS 2015: Final Call for Research Idea Papers & Participation

REGISTRATION

  Registration for AVoCS is available from

    https://sites.google.com/site/avocs15/registration

  Early registration ends 18 August.

SPONSORS

  Altran

  D-RisQ Software Systems

  Formal Methods Europe (FME)

  The Scottish Informatics & Computer Science Alliance (SICSA)

BACKGROUND 

  The aim of Automated Verification of Critical Systems (AVoCS) 2015 

  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. 

SCOPE

  We encourage the submissions of research ideas in order to stimulate 

  discussions at the workshop. Reports on ongoing work or surveys on work 

  published elsewhere are welcome. The Programme Committee will select 

  research ideas on the basis of submitted abstracts according to significance 

  and general interest. The subject of the ideas 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. 

  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

IMPORTANT DATES

  Submission of research idea papers: 10th August 2015

  Submission of student grant application: 10th August 2015

  Notification (research idea): 14th August 2015

  Early registration: 18th August 2015

  Submissions of final versions: 21st August 2015 

INVITED SPEAKERS

  Colin O'Halloran (D-RisQ & the University of Oxford)

  Don Sannella (Contemplate & the University of Edinburgh)  

WORKSHOPS

  AI4FM 2015: 1 September 2015 -- www.ai4fm.org/ai4fm-2015/

  including invited talk by J Strother Moore (Univerity of Texas at Austin)

VENUE

  The event will be held in the International Centre for Mathematical Sciences 

  (ICMS) in the centre of the historic old town of Edinburgh - an UNESCO world

  heritage site. 

SUBMISSION DETAILS

  Research ideas must be written in English and not exceed 2 pages using the 

  dedicated AVoCS 2015 EASST template available from the the following link 

  (for LaTeX and Word):

       http://journal.ub.tu-berlin.de/public/template/

  The presentation of these ideas will be organised around discussions, where the presenter 

  should also prepare a set of question in which the audience will discuss.

  Submissions are handled via Easychair: 

       https://easychair.org/conferences/?conf=avocs2015

  The research ideas will be included in the pre-proceedings, which will be available 

  in the form of a Heriot-Watt University Technical Report and will be available at the

  workhsop.

STUDENT GRANTS

  Thanks to sponsorships from Altran, FME and SICSA we can offer financial 

  support for a limited number of students registering for AVoCS in the form

  of a registration fee waiver (full or partial). As this is limited, we 

  ask the students that would like to take the advantage of this support 

  to submit a short application. The details on how to apply is available

  from AVoCS webpage.

SPECIAL SCP JOURNAL ISSUE

  Authors of a selection of the best papers presented at the workshop will be 

  invited to submit extended versions of their work for publication in a 

  special issue of Elsevier's journal Science of Computer Programming.

PROGRAM COMMITTEE  

  Ernie Cohen, University of Pennsylvania, USA

  Ewen Denney, NASA Ames, USA

  Jean-Christophe Filliatre, CNRS, France

  Michael Goldsmith, University of Oxford, UK

  Gudmund Grov, Heriot-Watt University, UK (co-chair)

  Keijo Heljanko, Aalto University, Finland

  Mike Hinchey, University of Limerick, Ireland

  Marieke Huisman, University of Twente, Netherlands

  Andrew Ireland, Heriot-Watt University, UK (co-chair)

  Gerwin Klein, NICTA/UNSW, Australia

  Thierry Lecomte, ClearSy, France

  Yuhui Lin, Heriot-Watt University, UK

  Peter Gorm Larsen, Aarhus University, Denmark 

  Panagiotis (Pete) Manolios, Northeastern University, USA

  Stephan Merz, INRIA Nancy & LORIA, France

  Jaco van de Pol, University of Twente, Netherlands

  Markus Roggenbach, Swansea University, UK

  Marco Roveri, FBK, Italy

  Thomas Santen, Microsoft Research, Germany

  Bernard Steffen, Technical University Dortmund, Germany

  Jan Strejček, Masaryk University, Czech Republic

  Jun Sun, Singapore University of Technology and Design, Singapore

  Tayssir Touili, LIAFA, CNRS & University Paris Diderot, France

  Helen Treharne, University of Surrey, UK

  Laurent Voisin, Systerel, France

  Angela Wallenburg, Altran, UK

  John Wickerson, Imperial College London, UK

  Peter Ölveczky, University of Oslo, Norway

ORGANISERS 

  Gudmund Grov, Heriot-Watt University, UK

  Andrew Ireland, Heriot-Watt University, UK

  Yuhui Lin, Heriot-Watt University, UK (local arrangements and publicity chair)

STEERING COMMITTEE 

  Michael Goldsmith, University of Oxford, UK

  Stephan Merz, INRIA Nancy & LORIA, France

  Markus Roggenbach, Swansea University, UK