[ecoop-info] [VORTEX 2018]: extended deadline May 31st

Davide Ancona davide.ancona at unige.it
Fri May 18 15:35:31 CEST 2018

          VORTEX 2018, ECOOP and ISSTA, Amsterdam, Tuesday 17 July, 2018

                   *Extended submission deadline: May 31st*

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 31, 2018, 23:59 AoE (UTC-12h) (* extended *)
Notification: June 14, 2018
Workshop: July 17, 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.

Invited Speakers

- Wolfgang Ahrendt, Chalmers University of Technology, Sweden

- Martin Leucker, University of Lubeck, Germany

- Frank S. de Boer, Centrum Wiskunde & Informatica, Leiden University, Netherlands

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, University of Michigan, 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 ecoop-info mailing list