[TYPES/announce] CfP: VORTEX 2018, Verification of Objects at RunTime EXecution

Davide Ancona davide.ancona at unige.it
Thu Apr 5 06:43:05 EDT 2018


           VORTEX 2018, ECOOP and ISSTA, Amsterdam, July 16-21, 2018
     (https://conf.researchr.org/track/ecoop-issta-2018/vortex-2018-papers)
=================================================================================

Runtime verification (RV) is an approach to software verification concerned with
monitoring and analysis of software and hardware under execution. Recently, RV
has gained more traction as an effective and promising approach to ensure
software reliability, bridging a gap between formal verification and
conventional testing; monitoring a system at runtime offers additional
opportunities for addressing error recovery, self-adaptation, and other issues
that go beyond software reliability. The goal of VORTEX is to bring together
researchers working on runtime verification for topics covering either
theoretical, or practical aspects, or, preferably, both, with emphasis on
object-oriented languages, and systems.

Topics of interest include, but are not limited to, the following ones:

* behavioural types for RV
* combination of static and dynamic analyses
* industrial applications
* language support for RV
* monitor construction and synthesis techniques
* monitoring concurrent/distributed systems
* monitoring oriented programming
* program adaptation
* runtime enforcement, fault detection, recovery and repair
* RV for safety and security
* RV for the Internet of Things
* specification formalisms and formal underpinning of RV
* specification mining
* tool development

Contributions will be formally reviewed by at least three reviewers, and
selection will be based on originality, relevance, technical accuracy, and the
potential to generate interesting discussions.

Important Dates
---------------

Paper submission: May 16, 2018 23:59 AoE (UTC-12h)
Notification: June 14, 2018

Submission Instructions
-----------------------

Submissions must be unpublished work, in English, formatted in PDF with acmart
sigplan style (http://www.sigplan.org/Resources/Author), and are allowed to be
position papers or surveys (max 6 pages), short papers (max 3 pages) presenting
preliminary ongoing scientific work, or long papers (max 6 pages) providing more
consolidated research contributions.

Papers must be submitted electronically via EasyChair at
https://easychair.org/conferences/?conf=vortex2018 .


Proceedings and Special Issue
-----------------------------

Accepted papers will, upon agreement by the authors, be published in the ACM
Digital Library. Depending on the quality of submissions, authors of selected
papers will be invited after the workshop to submit an extended version for a
special issue hosted by a prime journal in the field.


Program Committee
-----------------

- Davide Ancona, University of Genova, Italy (co-chair)
- Gordon Pace, University of Malta, Malta (co-chair)

- Wolfgang Ahrendt, Chalmers University of Technology, Sweden
- Cyrille Artho, KTH Royal Institute of Technology, Sweden
- Ezio Bartocci, Technische Universität Wien, Austria
- Borzoo Bonakdarpour, Iowa State University, USA
- Ylies Falcone, Univ. Grenoble Alpes, Inria, France
- Klaus Havelund, NASA/Caltech Jet Propulsion Laboratory, USA
- Reiner Hahnle, Technical University of Darmstadt, Germany
- Jean-Baptiste Jeannin, Carnegie Mellon University, USA
- Martin Leucker, University of Lubeck, Germany
- Rumyana Neykova, Imperial College London, UK
- Luca Padovani, University of Turin, Italy
- Antonio Ravara, New University of Lisbon, Portugal
- Giles Reger, University of Manchester, UK
- Gerardo Schneider, University of Gothenburg, Sweden
- Volker Stolz, Hogskulen pa Vestlandet, Norway
- Cesar Sanchez, IMDEA Software Institute, Spain
- Frank S. de Boer, Centrum Wiskunde & Informatica, Leiden University, Netherlands
- Oleg Sokolsky, University of Pennsylvania, USA



More information about the Types-announce mailing list