[TYPES/announce] Last CfP: VORTEX @ ECOOP 2016 - 1st Workshop on Runtime Verification for Object-Oriented Languages, and Systems

[Davide Ancona]

***********************************************************************
                        LAST CALL FOR PAPERS

       VORTEX 2016 - Verification of Objects at RunTime EXecution

           Co-located with ECOOP 2016, July 18, Rome, Italy

               http://2016.ecoop.org/track/VORTEX-2016
***********************************************************************

Chairs
---------

Davide Ancona, DIBRIS, Università di Genova, Italy
Frank de Boer, CWI, Amsterdam, Netherlands

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

All deadlines are at 23:59  AoE (Anywhere on Earth timezone, Howland Island time, UTC-12h)

Submission deadline: April, 30th
Notification:        May, 28th
Camera-ready:        June, 15th
Workshop:            July, 18th

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

Davide Ancona, Università di Genova, Italy (co-chair)
Frank S. de Boer, CWI-Leiden University, Netherlands  (co-chair)
Wolfgang Ahrendt, Chalmers University of Technology, Sweden
Ferruccio Damiani, Università di Torino, Italy
Stijn De Gouw, CWI, Fredhopper, Netherlands
Radu Grosu, Vienna University of Technology, Austria
Klaus Havelund, NASA/Caltech Jet Propulsion Laboratory, USA
Reiner Hähnle, TU Darmstadt, Germany
Jean-Baptiste Jeannin, Samsung Research America, USA
Martin Leucker, University of Lübeck, Germany
Gordon Pace, University of Malta, Malta
Grigore Rosu, University of Illinois at Urbana-Champaign, USA
Gerardo Schneider, University of Gothenburg, Sweden
Tarmo Uustalu, Tallinn University of Technology, Estonia

Overview
------------

Runtime verification (RV) is an approach to software verification which is
concerned with monitoring and analysis of software and hardware system
executions.

In recent years RV has gained more and more consensus as an effective and
promising approach to ensure software reliability, bridging a gap between formal
verification, and conventional testing; furthermore, monitoring a system during
runtime execution offers additional opportunities for addressing error recovery,
self-adaptation, and other issues that go beyond software reliability.

The goal of the first edition of this workshop is to bring together researchers
working on RV for object-oriented languages, and systems, on topics covering
either theoretical, or practical aspects, or, preferably, both.

Call for contributions
----------------------------

Contributions are solicited on Runtime Verification in the context of
Object-Oriented Programming addressing open questions covering theoretical
and/or practical aspects, presenting new implemented tools, proposing
interesting new applications, or describing real case studies.

Submissions suggesting speculative new approaches, raising challenging issues,
or focusing on problems deemed to be crucial for the research community are also
welcome, as well as all contributions covering topics suitable for lively
discussion at the workshop.

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

-    combination of static and dynamic analyses
-    industrial applications
-    monitor construction and synthesis techniques
-    monitoring concurrent/distributed systems
-    program adaptation
-    runtime enforcement, fault detection, recovery and repair
-    RV for safety and security
-    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.

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

Submissions must be in English, in PDF format, and are limited to 6 pages in the
ACM Proceedings Format (http://www.acm.org/publications/proceedings-template).
Papers must be submitted electronically via Easy Chair at
https://easychair.org/conferences/?conf=vortex2016.

PC members, except for the chairs, are allowed to submit papers, and any
conflict of interest will be properly managed by excluding the involved PC
members from the review and evaluation process.

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

Accepted papers will have the option of being published in the ACM Digital
Library.

Depending on the quality and the overall number of accepted papers, authors of
selected papers will be invited after the workshop to submit an extended version
for a special issue hosted by the online open-access Journal Frontiers in ICT
(Specialty Formal Methods,
http://journal.frontiersin.org/journal/all/section/formal-methods).