From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id EBF725D4 for ; Tue, 4 Sep 2018 13:57:21 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.53,329,1531778400"; d="scan'208,217";a="344860269" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 04 Sep 2018 15:57:18 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 87168824DD; Tue, 4 Sep 2018 15:57:18 +0200 (CEST) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 671A1824B2 for ; Tue, 4 Sep 2018 15:57:14 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=npapoylias@gmail.com; spf=Pass smtp.mailfrom=npapoylias@gmail.com; spf=None smtp.helo=postmaster@mail-it0-f49.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AWSwJfxA6Th7Quq2WpEKTUyQJP3N1i/DPJgcQr6Af?= =?us-ascii?q?oPdwSPT7o8bcNUDSrc9gkEXOFd2Cra4c1KyO6+jJYi8p2d65qncMcZhBBVcuqP?= =?us-ascii?q?49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6?= =?us-ascii?q?JvjvGo7Vks+7y/2+94fcbglUhjexe69+IAmrpgjNq8cahpdvJLwswRXTuHtIfO?= =?us-ascii?q?pWxWJsJV2Nmhv3+9m98p1+/SlOovwt78FPX7n0cKQ+VrxYES8pM3sp683xtBnM?= =?us-ascii?q?VhWA630BWWgLiBVIAgzF7BbnXpfttybxq+Rw1DWGMcDwULs7Xims77pwSB/wli?= =?us-ascii?q?gIKyI5/m/Qisx1lq1boRShrAF7z4PbZIyZMfxzcaTBcN4VWWZNQt9dWzBPD4ih?= =?us-ascii?q?a4cCDvYNMfpdo4T7ulAArwaxBRO0CezgyjFGiHz407Ak3es9CgzJxhAsEsgUvX?= =?us-ascii?q?jIsNn4NqEfWv21wqnSyjXDautb1y/86IfUcRAqvOuCUqhoccrWyUgvEwLFgU+L?= =?us-ascii?q?qYf4OD6V0PwNvHKD7+pnVeOvj28npBtqojW0yccsj5PGhoMRylze6Sp5x4M1KM?= =?us-ascii?q?S+RUVmb9CkF55QuDubN4twWs4iTGBouDo6yr0bopG3ZikKyJMhyhXCaPKHa5CF?= =?us-ascii?q?7gz/WOuVOzt1h3JodKihixqv/kWs0OLxW82y3V1XtCRKiMPMuWoI1xHL6siIVP?= =?us-ascii?q?99/kC51DaKzQ/T6+VELVk1larHN5It27Awm5UXvEjZES/2n0L2jKCSdko64OSn?= =?us-ascii?q?9+PnYrD+qp+dMY97lB3+P7wwlsCjBek0KAsDUmiB9eiiybHu8lf1TbpOg/Eul6?= =?us-ascii?q?nWqpHaJcAVpq6jBA9V154u6xCnDzi8yNQYmnkGLFZEeB2dlIjkIF7OIPXiAve+?= =?us-ascii?q?h1Sgiitkx/fDPrH5GJXCMmDDkKv9fbZ680NT1BA8zdVb555NDrEBIenzWlPqud?= =?us-ascii?q?zDDh45NhS0zPz9BNV80IMeQ2OPDbWDPKPcq1/brt4oduKFYYtQvDfmN9Ak4eTv?= =?us-ascii?q?hDk3gwwzZ66siL0WY3PwJv1+JFSdYHP3yoMHCW4SuRs6TeXxoFKHWD9XIX21Wv?= =?us-ascii?q?RvtXkAFIu6ANKaFciWi7ub0XLlQswPNzJ2T2uUGHKtTL2qHvIFaSacOMhky2VW?= =?us-ascii?q?Wr2oSotn3har5lajl+hXa9HM8yhdjqrNkcBv7rSKxx43/D1wSc+a1jPVFjwmri?= =?us-ascii?q?YzXzYzmZtHjwl9x1OEi/UqhvVZEZlS+6sMXFtrc5HbyON+Bpb5XQeTJto=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AbQgArjo5bfzHWVdFahCMBQH8ogzM/g?= =?us-ascii?q?R2CWpBKi1yHK4VHgWYLBRqBWIJ1gzYZBwEEMxUBAgEBAgEBAQEBEwEBCQsLCCc?= =?us-ascii?q?lDIJBAQQBAQEBAQEBAQEBAQEBAQEHAYJtFx0BGwwSAxIDDTcCJAERAQUBUIMHg?= =?us-ascii?q?WgBAxWHcoxmgx48iwuBEQUBF4J2BYNdChkmDVeBbwIBBRKKRheBQT+BEoImgi0?= =?us-ascii?q?BgVkCgSUVC0mCVIJXAogbhReFRYhfCYY0iUUXgUCCVoFhiGKILIJ7hmuBRA8hg?= =?us-ascii?q?TZWgSFNI4EBgjuCMYNQgmSHcD0wimWCSgEB?= X-IPAS-Result: =?us-ascii?q?A0AbQgArjo5bfzHWVdFahCMBQH8ogzM/gR2CWpBKi1yHK4V?= =?us-ascii?q?HgWYLBRqBWIJ1gzYZBwEEMxUBAgEBAgEBAQEBEwEBCQsLCCclDIJBAQQBAQEBA?= =?us-ascii?q?QEBAQEBAQEBAQEHAYJtFx0BGwwSAxIDDTcCJAERAQUBUIMHgWgBAxWHcoxmgx4?= =?us-ascii?q?8iwuBEQUBF4J2BYNdChkmDVeBbwIBBRKKRheBQT+BEoImgi0BgVkCgSUVC0mCV?= =?us-ascii?q?IJXAogbhReFRYhfCYY0iUUXgUCCVoFhiGKILIJ7hmuBRA8hgTZWgSFNI4EBgju?= =?us-ascii?q?CMYNQgmSHcD0wimWCSgEB?= X-IronPort-AV: E=Sophos;i="5.53,329,1531778400"; d="scan'208,217";a="277680736" Received: from mail-it0-f49.google.com ([209.85.214.49]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 04 Sep 2018 15:57:12 +0200 Received: by mail-it0-f49.google.com with SMTP id h1-v6so4864937itj.4 for ; Tue, 04 Sep 2018 06:57:12 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to; bh=6Qy9zjMeoOw0nfxiSmVn/xJT2arz1jp9m8cIvpV3/KY=; b=gGI1ErmjOewoaED1/bmmi4xHRZJH7HX09XYT4x7lLu89swbtY7xc/8FBafXn5EgDUC xBiBKJkf2trFdZp/N8t9ST/2QPdM0QXQOisikq8ZuYZgdxVu4kbUyxgFOBT8ntbUpAzK H55gPdM2+gLUDQcQcn/UW0oXSbfYUHzG3XKppqE7EZqrkhLj8obvFB/ZXIOC3Cg23f/r D4Y/KAtK57w+7MSq7qoj/vMJetoNd+yJe1LEJ6qQn+FSjsGRuNM4P4xodsQNzBIzuezA QA4vCbTfreSfrtDdPgZXOQvhUBFgvF95PNQU793X1TtlnC/3ZlE+Ym2/J7odq9NCh0bz L2yA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=6Qy9zjMeoOw0nfxiSmVn/xJT2arz1jp9m8cIvpV3/KY=; b=U2Y8LOyrlqJHM3PbSxAwe4g6+5UZZtGF477TlFelotf6gSMyafLlqH6VAmHEou/Xjg nScL02VijB2ftBGpoNfKybtXEmsOwkLcGCoaobUMHbK6llg+5NpD4bqTt4qNkWU8Z5wH v9jxYx4Wrp6wvkEJaxWVQI160TT53bSa22s57kbshsgoGCLy9egvKXaFO+nRADupxNdk D3vaDMIrO/8/Z2WqhwNcgmh3Tzjr0LGvmGqK0H7fSg3tEHBugqjpZFeHeKz6lXXlkD0H +Mw/iP2FmyFwzrI1xVFGVsdhZVABzyY5zH5OkQqFeN8RvJhGl4Jz+Y5tnf89CfadgZrf 6fWw== X-Gm-Message-State: APzg51C4oLa07VN6IiNHDY/+23PR9sMcSX5+n0dY8Fwk5XnM6Ssi/Wlg 71ElHYfq7mzNSQ6ucvXIKnNIXvVFTyos6LKoeyLNlubtlA8= X-Google-Smtp-Source: ANB0Vda40/VR3GS9ZJmyJf3xihY7PWSt864jDeDH8FGuLuP6NhX0zA88jvpCzoWN7svrS4ua5oONjHIdGGvadzcRv/M= X-Received: by 2002:a02:55c2:: with SMTP id e185-v6mr23470269jab.141.1536069431070; Tue, 04 Sep 2018 06:57:11 -0700 (PDT) MIME-Version: 1.0 From: Nick Papoylias Date: Tue, 4 Sep 2018 15:56:59 +0200 Message-ID: To: caml-list@inria.fr Content-Type: multipart/alternative; boundary="000000000000ca211205750c08a2" Subject: [Caml-list] [NGPS at SAC 2019] extended submission deadline Sept 24 Reply-To: Nick Papoylias X-Loop: caml-list@inria.fr X-Sequence: 17049 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: --000000000000ca211205750c08a2 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable ---------------------------------------------------------------------------= ---- Next Generation Programming Paradigms and Systems (NGPS 2019) Track of the 34th ACM/SIGAPP Symposium On Applied Computing Limassol, Cyprus https://ngps2019.github.io/ ---------------------------------------------------------------------------= ---- IMPORTANT DATES *Sept 24, 2018 (extended)* Submission of regular papers and SRC research abstracts *Nov 24, 2018 (extended)* Notification of paper acceptance/rejection *Nov 24, 2018 (extended)* Notification of SRC acceptance/rejection *Dec 10, 2018 (extended)* Camera-ready copies of accepted papers/SRC Dec 10, 2018 Author registration due date April 8-12, 2019 ACM SAC Conference AIMS AND TOPICS The complexity of modern software systems is continuously growing together with the communication capabilities and computational power of pervasive technology, embodied by a wide range of interacting heterogeneous smart devices. This new scenario is posing serious challenges to software development, which hardly keeps pace with this technological evolution. Sophisticated frameworks exposed through application programming interfaces, or directly integrated with mainstream programming languages provide partial solutions to support big data streaming and complex analytic; dynamic, autonomous, and collective coordination and adaptation capabilities; emergent behavior in cooperating systems; Internet of Things (IoT) systems development and maintenance; and employment of cloud platforms and parallel architectures, in particular heterogeneous ones. This calls for new abstractions, features, middlewares and tools able to reduce the time, effort, and cost of designing and developing the next generation software systems, improving performance, and ensuring reliability and security. To this aim, NGPS is seeking to advance the state-of-the-art and the state-of-the-practice of computational models and paradigms, formal techniques and software methods for easing software development and verification, and improving efficiency of complex modern systems. The specific topics of interest for the NGPS track include, but are not limited to, the following: - Integration of computational paradigms - Runtime verification and monitoring - Platforms for the Cloud - IoT systems - Secure and dependable software - Formal models and verification - Testing and debugging - System evaluation - Design, implementation and optimization of high-level programming languages - Middleware platforms - Scenarios, case studies and experience reports on innovative applications - High-level parallel programming - Distributed systems and concurrency - Development tools - Coordination models, specification, and technologies - Multi-agent systems, mobile agents, intelligent agents, and agent-based simulations - Models, frameworks and tools for Collective Adaptive Systems - Internet, Web, and pervasive computing systems - Self-organizing, self-adaptive, context-aware and nature-inspired systems - Security, trust and privacy management SUBMISSIONS Prospective papers should be submitted to the track in pdf format using the START submission system for regular and SRC papers available through the SAC 2019 home page. Submission of the same paper to multiple tracks is not allowed; all papers should represent original and previously unpublished works that are currently not under review in any conference or journal. Both basic and applied research papers are welcome. SAC 2019 will use double-blind reviewing; to facilitate this, author name(s) and institution(s) must be omitted, and references to authors=E2=80=99 own = related work should be in the third person. The format of the paper must adhere to the sig-alternate style. Full papers are limited to 8 pages, in camera-ready format, included in the registration fee. Authors have the option to include up to two (2) extra pages at additional fee of US$80 per page. Papers accepted as posters are limited to 3 pages, in camera-ready format, included in the registration fee. Authors have the option to include only one (1) extra page at additional fee of US$80. SRC abstracts are limited to 4 pages, in camera-ready format, included in the registration fee. No extra pages are allowed. Accepted papers will be published by ACM in the annual conference proceedings. Accepted posters will be published as extended abstracts in the same proceedings. Papers that fall short the above requirements are subjected to rejection. All papers must be submitted by September 10, 2018. For more information please visit the SAC 2019 home page. Paper registration is required, allowing the inclusion of the paper/poster in the conference proceedings. An author or a proxy attending SAC MUST present the paper: This is a requirement for the paper/poster to be included in the ACM/IEEE digital library. No-show of scheduled papers and posters will result in excluding them from the ACM/IEEE digital library. TRACK CO-CHAIRS Davide Ancona, DIBRIS, University of Genova, IT Frederic Loulergue, SICCS, Northern Arizona University, USA Danilo Pianini, DISI, University of Bologna, IT Mirko Viroli, DISI, University of Bologna, IT PROGRAM COMMITTEE Mohamad Al Hajj Hassan, Huawei, DE Victor Allombert, Orl=C3=A9ans University, FR Lorenzo Bettini, DISIA, University of Florence, IT Carl Friedrich Bolz-Tereick, DE Jo=C3=A3o Costa Seco, New University of Lisbon, PT H=C3=A9l=C3=A8ne Coullon, IMT Atlantique, Inria, FR Ferruccio Damiani, DI, University of Torino, IT Simon Dobson, CS, University of St Andrews, UK Kento Emoto, IPL-Lab, Kyushu Institute of Technology, JP Erik Ernst, Google Inc., USA Lukas Esterle, ALICE, Aston University, UK Fr=C3=A9d=C3=A9ric Gava, LACL, Universit=C3=A9 Paris-Est Cr=C3=A9teil, FR Philipp Haller, KTH Royal Institute of Technology, SE Khaled Hamidouche AMD Research, USA Geoff Hamilton, School of Computing, Dublin City University, IE Robert Hirschfeld, HPI, University of Potsdam, DE Hideya Iwasaki, The University of Electro-Communications, JP Einar Broch Johnsen, UiO, University of Oslo, NO Jaakko J=C3=A4rvi, II, University of Bergen, NO Doug Lea, State University of New York at Oswego, USA Alberto Lluch Lafuente, DTU COMPUTE, Technical University of Denmark, DK Michele Loreti, DI, University of Camerino, IT Hidehiko Masuhara, PRG, Tokyo Institute of Technology, JP Virginia Niculescu, CS, Babes-Bolyai University of Cluj-Napoca, RO Tobias Pape, HPI, University of Potsdam, DE Nick Papoulias, University of La Rochelle, UMR LIENSs, CNRS, FR Susanna Pelegatti, University of Pisa, IT Ant=C3=B3nio Ravara, DI FCT, New University of Lisbon, PT Barbara Re, SST, University of Camerino, IT Sophie Robert, LIFO, Orl=C3=A9ans University, FR Stefan Rudolph, OC, Augsburg University, DE Maurice ter Beek, FMT-ISTI, CNR, IT Martin Wirsing, SoSy-Lab, LMU Munich, DE --=20 Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs= --000000000000ca211205750c08a2 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
------------------------------------= -------------------------------------------

=C2=A0= =C2=A0 =C2=A0 =C2=A0 =C2=A0 Next Generation Programming Paradigms and Syst= ems (NGPS 2019)

=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0= =C2=A0Track of the 34th ACM/SIGAPP Symposium On Applied Computing

=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 Limassol, Cyprus

=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 https://ngps2019.github.io/

--------------= -----------------------------------------------------------------

IMPORTANT DATES

*Sept 24, 2018 (ex= tended)* Submission of regular papers and SRC research abstracts
= *Nov 24, 2018 (extended)* Notification of paper acceptance/rejection
<= div>*Nov 24, 2018 (extended)* Notification of SRC acceptance/rejection
*Dec 10, 2018 (extended)* Camera-ready copies of accepted papers/SRC<= /div>
Dec 10, 2018 Author registration due date
April 8-12, 2= 019 ACM SAC Conference

AIMS AND TOPICS
<= br>
The complexity of modern software systems is continuously gro= wing together
with the communication capabilities and computation= al power of pervasive
technology, embodied by a wide range of int= eracting heterogeneous smart
devices.

Th= is new scenario is posing serious challenges to software development, which=
hardly keeps pace with this technological evolution. Sophisticat= ed frameworks
exposed through application programming interfaces,= or directly integrated
with mainstream programming languages pro= vide partial solutions to support
big data streaming and complex = analytic; dynamic, autonomous, and collective
coordination and ad= aptation capabilities; emergent behavior in cooperating
systems; = Internet of Things (IoT) systems development and maintenance; and
employment of cloud platforms and parallel architectures, in particular
heterogeneous ones.

This calls for new abs= tractions, features, middlewares and tools able to
reduce the tim= e, effort, and cost of designing and developing the next
generati= on software systems, improving performance, and ensuring reliability
<= div>and security.

To this aim, NGPS is seeking to = advance the state-of-the-art and the
state-of-the-practice of com= putational models and paradigms, formal
techniques and software m= ethods for easing software development and
verification, and impr= oving efficiency of complex modern systems.

The sp= ecific topics of interest for the NGPS track include, but are not
limited to, the following:

- Integration of compu= tational paradigms
- Runtime verification and monitoring
- Platforms for the Cloud
- IoT systems
- Secure and = dependable software
- Formal models and verification
- = Testing and debugging
- System evaluation
- Design, imp= lementation and optimization of high-level programming languages
= - Middleware platforms
- Scenarios, case studies and experience r= eports on innovative applications
- High-level parallel programmi= ng
- Distributed systems and concurrency
- Development = tools
- Coordination models, specification, and technologies
- Multi-agent systems, mobile agents, intelligent agents, and agent-b= ased simulations
- Models, frameworks and tools for Collective Ad= aptive Systems
- Internet, Web, and pervasive computing systems
- Self-organizing, self-adaptive, context-aware and nature-inspire= d systems
- Security, trust and privacy management

=

SUBMISSIONS

Prospective = papers should be submitted to the track in pdf format using the
S= TART submission system for regular and SRC papers available through the SAC=
2019 home page.

Submission of the same = paper to multiple tracks is not allowed; all papers
should repres= ent original and previously unpublished works that are currently
= not under review in any conference or journal. Both basic and applied
=
research papers are welcome.

SAC 2019 will us= e double-blind reviewing; to facilitate this, author name(s)
and = institution(s) must be omitted, and references to authors=E2=80=99 own rela= ted
work should be in the third person.

= The format of the paper must adhere to the sig-alternate style.
<= br>
Full papers are limited to 8 pages, in camera-ready format, i= ncluded in the
registration fee. Authors have the option to inclu= de up to two (2) extra
pages at additional fee of US$80 per page.=

Papers accepted as posters are limited to 3 pages= , in camera-ready format,
included in the registration fee. Autho= rs have the option to include only one
(1) extra page at addition= al fee of US$80.

SRC abstracts are limited to 4 pa= ges, in camera-ready format, included in the
registration fee. No= extra pages are allowed.

Accepted papers will be = published by ACM in the annual conference
proceedings. Accepted p= osters will be published as extended abstracts in the
same procee= dings.

Papers that fall short the above requiremen= ts are subjected to rejection.

All papers must be = submitted by September 10, 2018.

For more informat= ion please visit the SAC 2019 home page.

Paper reg= istration is required, allowing the inclusion of the paper/poster in
<= div>the conference proceedings. An author or a proxy attending SAC MUST pre= sent
the paper: This is a requirement for the paper/poster to be = included in the
ACM/IEEE digital library. No-show of scheduled pa= pers and posters will result
in excluding them from the ACM/IEEE = digital library.

TRACK CO-CHAIRS

Davide Ancona, DIBRIS, University of Genova, IT
Frederic = Loulergue, SICCS, Northern Arizona University, USA
Danilo Pianini= , DISI, University of Bologna, IT
Mirko Viroli, DISI, University = of Bologna, IT


PROGRAM COMMITTEE

Mohamad Al Hajj Hassan, Huawei, DE
Victor = Allombert, Orl=C3=A9ans University, FR
Lorenzo Bettini, DISIA, Un= iversity of Florence, IT
Carl Friedrich Bolz-Tereick, DE
Jo=C3=A3o Costa Seco, New University of Lisbon, PT
H=C3=A9l=C3= =A8ne Coullon, IMT Atlantique, Inria, FR
Ferruccio Damiani, DI, U= niversity of Torino, IT
Simon Dobson, CS, University of St Andrew= s, UK
Kento Emoto, IPL-Lab, Kyushu Institute of Technology, JP
Erik Ernst, Google Inc., USA
Lukas Esterle, ALICE, Aston = University, UK
Fr=C3=A9d=C3=A9ric Gava, LACL, Universit=C3=A9 Par= is-Est Cr=C3=A9teil, FR
Philipp Haller, KTH Royal Institute of Te= chnology, SE
Khaled Hamidouche AMD Research, USA
Geoff = Hamilton, School of Computing, Dublin City University, IE
Robert = Hirschfeld, HPI, University of Potsdam, DE
Hideya Iwasaki, The Un= iversity of Electro-Communications, JP
Einar Broch Johnsen, UiO, = University of Oslo, NO
Jaakko J=C3=A4rvi, II, University of Berge= n, NO
Doug Lea, State University of New York at Oswego, USA
=
Alberto Lluch Lafuente, DTU COMPUTE, Technical University of Denmark, = DK
Michele Loreti, DI, University of Camerino, IT
Hideh= iko Masuhara, PRG, Tokyo Institute of Technology, JP
Virginia Nic= ulescu, CS, Babes-Bolyai University of Cluj-Napoca, RO
Tobias Pap= e, HPI, University of Potsdam, DE
Nick Papoulias, University of L= a Rochelle, UMR LIENSs, CNRS, FR
Susanna Pelegatti, University of= Pisa, IT
Ant=C3=B3nio Ravara, DI FCT, New University of Lisbon, = PT
Barbara Re, SST, University of Camerino, IT
Sophie R= obert, LIFO, Orl=C3=A9ans University, FR
Stefan Rudolph, OC, Augs= burg University, DE
Maurice ter Beek, FMT-ISTI, CNR, IT
Martin Wirsing, SoSy-Lab, LMU Munich, DE
--000000000000ca211205750c08a2--