Workshop Description

Distribution and concurrency are currently mainstream. The Internet and the broad availability of multi-processors radically influence software. This brings renewed interest in developing both new concurrency models and associated programming languages techniques that help in understanding, analyzing, and verifying the behavior of concurrent and distributed programs. The actors or active objects concurrency model has emerged as an alternative to the usual thread-based concurrency model, providing programmers with high-level concurrency constructs that help in producing concurrent applications more modularly and in a less error-prone way. It is gaining a lot of popularity mainly because of the success of languages like Scala and Erlang. Also, most mainstream languages are nowadays providing actors or active-objects libraries.

The objective of the workshop is to discuss about current evolution of actors and active objects and related languages, technology and tools. The goal is to make the workshop an active discussion forum for all work related to actor languages and active-objects in order to have a better view on the current and future trends in this field and perhaps build longer term collaborations. The workshop will be a mixture of invited presentations and short tutorials on state-of-the-art languages/techniques/tools by experts in the field, presentations of recently published high-quality papers, prototype demonstrations, and presentations of proofs-of-concept and promising ideas.

Important Dates

  • Abstract submission deadline:
    		• June 7, 2017 (extended)
  • Paper submission deadline:
    		• June 9, 2017 (extended)
  • Author notification:
    		• July 10, 2017

    Call For Papers

    [.txt]

    Submission

    We solicit papers in the following categories:
    1. Regular research papers of at most 12 pages (excluding references) describing original scientific research results or its relevance to real applications. Case studies and tool demonstrations are also welcome, in these cases with a maximum length of 8 pages. The paper should explain why the technique/case-study/tool is relevant for the community, and, in particular, for practitioners. Submissions will be judged on the basis of significance, relevance, correctness, originality, and clarity.

    2. Position papers of at most 4 pages describing exciting but not fully polished research (proofs-of-concept, promising ideas, etc.).

    3. High-quality already published papers. Authors will send an extended abstract of at most 2 pages describing the work and a link to the publication.

    For submissions in categories 2) and 3) there will be a light-weight reviewing process, where submissions will be judged on their interest to the workshop audience. After the workshop, regular papers, case studies and tool demonstrations will be invited to contribute to a special issue in EPTCS. Invitations will be based on submissions and presentations.

    Papers can be submitted (as PDF) through the Easychair page

    https://easychair.org/conferences/?conf=wao2017.

    Program Committee

    Program Chairs

    Miguel Gomez-Zamalloa Complutense University of Madrid, Spain
    Guillermo Román-Díez Technical University of Madrid, Spain

    Program Committee

    Gul Agha University of Illinois
    Nikolaos Bezirgiannis Centrum Wiskunde & Informatica (CWI)
    Richard Bubel Technische Universitat Darmstadt
    Stijn De Gouw Open University (OU), The Netherlands
    Enrique Martin-Martin Complutense University of Madrid
    Ludovic Henrio CNRS, Sophia Antipolis
    Ka I Pun University of Oslo
    Rudolf Schlatte University of Oslo
    Kostis Sagonas Uppsala University
    Salvador Tamarit Technical University of Valencia

    Invited Talks

    Lars-Åke Fredlund Technical University of Madrid

    Program

    Shared program with the ALP4IoT Workshop

    8:15 - 8:45 - Entrance, via Verdi 9

    • Registration

    8:45 - 9:00 - Sala Multifunzione 1, via Verdi 9

    • Plenary session, Paola Pisano (Deputy Mayor for Innovation and Smart City at the City of Turin)

    9:00 - 10:00 - Aula Magna del Rettorato, via Verdi 8, first floor

    • Keynote 1 by Einar Broch Johnsen - joint with ARVI

    10:00 - 10:30

    • Coffee break

    10:30 - 12:10 - Sala Principe d'Acaja, via Verdi 8, ground floor

    • Onoriode Uviase and Gerald Kotonya. IoT Architectural Framework: A review of Connection and Integration Framework for IoT systems
    • Davide Ancona, Luca Franceschini, Giorgio Delzanno, Maurizio Leotta, Marina Ribaudo and Filippo Ricca. Towards Runtime Monitoring of Node.js and Its Application to the Internet of Things
    • Sven Linker and Michele Sevegnani. Formalising Sensor Topologies for Target Counting

    12:10 - 13:40

    • Lunch

    13:40 - 14:20 - Sala Principe d'Acaja, via Verdi 8, ground floor

    • Invited industrial talk by Cristina Chesta

    14:20 - 15:20 - Sala Principe d'Acaja, via Verdi 8, ground floor

    • Giorgio Audrito, Ferruccio Damiani and Mirko Viroli. Aggregate Graph Statistics
    • Giorgio Audrito and Sergio Bergamini. Resilient Blocks for Summarising Distributed Data

    15:20 - 15:50

    • Coffee break

    15:50 - 17:30 - WAO'17 Session - Sala Principe d'Acaja, via Verdi 8, ground floor

    • Keynote 2 by Lars-Åke Fredlund (1 hour)
    • Eduard Kamburjan and Reiner Hähnle. Prototyping Formal System Models with Active Objects (20 min)
    • Minas Charalambides, Karl Palmskog and Gul Agha. Types for Progress in Actor Programs (20 min)

    17:30 - Sala Principe d'Acaja, via Verdi 8, ground floor

    • Closing