[ecoop-info] ECOOP 2017 workshops (COP / FTfJP / ICOOOLPS / IWACO / JSTools / PMLDC / VORTEX) - Joint CFP

Silvia Crafa crafa at math.unipd.it
Fri Mar 31 09:39:30 CEST 2017

               ECOOP 2017 Workshops - Joint Call for Papers


                   19-20 June 2017, Barcelona, Spain

           http://2017.ecoop.org   #ECOOP2017  @ECOOPconf

The European Conference on Object-Oriented Programming (ECOOP) is the 
premier forum in Europe for bringing together researchers, 
practitioners, and students to share their ideas and experiences in all 
topics related to programming languages, software development, 
object-oriented technologies, systems, and applications.

In 2017, ECOOP will host seven workshops, addressing the following topics:

COP: 9th International Workshop on Context-Oriented Programming
         Its goal is to establish context orientation as a common thread 
         language design, application development, and system support.

FTfJP: 19th Workshop on Formal Techniques for Java-like Programs
          Aimed at describing, analysing, and verifying aspects and 
properties of Java-like
          programming languages themselves or of programs written in 
these languages.

ICOOOLPS: 12th Workshop on Implementation, Compilation, Optimization of 
Object-Oriented Languages, Programs and Systems Workshop
           Aimed at fostering the discussion of emerging problems and 
research directions
           as well as new solutions to classic performance challenges.

IWACO: 8th International Workshop on Aliasing, Capabilities and Ownership
              Focusing on techniques to describe and reason about 
stateful programs,
              and how they have been applied to programming languages.

JSTools: 6th Annual Workshop on Tools for JavaScript Analysis
             Its goal is the analysis of JavaScript and its dialects to 
share ideas and problems,
             with a focus on presentations of shareable infrastructure 
created by the participants.

PMLDC: 2nd Workshop on Programming Models and Languages for Distributed 
             Aimed at discussing new approaches to distributed 
programming that provide efficient execution
             and the elimination of accidental nondeterminism resulting 
from concurrency and partial failure.

VORTEX: 2nd Workshop on Runtime Verification
              Addressing open questions covering theoretical and/or 
practical aspects, presenting
              new implemented tools, proposing interesting new 
applications, or describing real case studies
              for runtime verification in object-oriented programming .

We encourage authors whose background is targeted to these areas of 
expertise to submit papers to the different workshops. Submission 
deadlines vary by workshop:
Earliest submission deadline: April 13th, 2017
Notification of acceptance: May 15th, 2017

More information about the call far papers and a detailed description of 
each workshop can be found at: 

More information about the ecoop-info mailing list