[ecoop-info] Extended deadline: VORTEX 2017 - 2nd ECOOP Workshop on Runtime Verification for Object-Oriented Languages, and Systems

Davide Ancona davide.ancona at unige.it
Fri Apr 21 00:18:45 CEST 2017

                           CALL FOR PAPERS

       VORTEX 2017 - Verification of Objects at RunTime EXecution

   *Extended submission deadline: Sat 6 May 2017 23:59 AoE (UTC-12h)*

           Co-located with ECOOP 2017, June 20, Barcelona, Spain


VORTEX 2017 is the second edition of the ECOOP workshop devoted to runtime verification for 
object-oriented languages and systems.

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

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.

Important Dates (*updated*)

Paper submission: *Sat 6 May 2017 23:59 AoE (UTC-12h)*
Notification: Tue 30 May 2017
VORTEX: Tue 20 Jun 2017

Submission Instructions

Submissions must be in English, in PDF format, and are limited to 6 pages in the sigconf ACM Format

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

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 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

- Wolfgang Ahrendt, Chalmers University of Technology, Germany
- Davide Ancona (co-chair), University of Genova, Italy
- Ezio Bartocci, Vienna University of Technology, Austria
- Frank S. de Boer (co-chair), Centrum Wiskunde & Informatica, Leiden University
- Adrian Francalanza, University of Malta, Malta
- Klaus Havelund, NASA/Caltech Jet Propulsion Laboratory, USA
- Martin Leucker, University of Lubeck, Germany
- Gordon J. Pace, University of Malta, Malta
- Antonio Ravara, Universidade Nova de Lisboa, Portugal
- Cesar Sanchez, IMDEA Software Institute, Spain
- Gerardo Schneider, University of Gothenburg, Sweden

More information about the ecoop-info mailing list