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 AD54E5D4 for ; Mon, 13 Aug 2018 09:47:43 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.53,232,1531778400"; d="scan'208,217";a="342301616" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 13 Aug 2018 11:47:41 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 5ED48824CA; Mon, 13 Aug 2018 11:47:41 +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 CF15D81792 for ; Mon, 13 Aug 2018 11:47:34 +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-f42.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AgpJrHBcMgq5L7QOlxy6eUiMblGMj4u6mDksu8pMi?= =?us-ascii?q?zoh2WeGdxcS6YB7h7PlgxGXEQZ/co6odzbaO7ea4ASQp2tWoiDg6aptCVhsI24?= =?us-ascii?q?09vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7?= =?us-ascii?q?Ovr6GpLIj8Swyuu+54Dfbx9HiTahYL5+Ngm6oRnMvcQKnIVuLbo8xAHUqXVSYe?= =?us-ascii?q?RWwm1oJVOXnxni48q74YBu/SdNtf8/7sBMSar1cbg2QrxeFzQmLns65Nb3uhnZ?= =?us-ascii?q?TAuA/WUTX2MLmRdVGQfF7RX6XpDssivms+d2xSeXMdHqQb0yRD+t6LplSALziC?= =?us-ascii?q?cfKTE27H3XhMJ3jKJeuh2hphp/yJPQbIyaMPdye6XQctQGSGdOQspdSzVNDp+y?= =?us-ascii?q?YoASC+YMPPpUo5X4q1YIsBCwBxSjBPn3xzBHhnH406403fk/Hw7axwEvBc4CvW?= =?us-ascii?q?7OodnpKKsfU+a4x7TIwzXZaPNW3C/w5pDJch89ovGHQKh+ftDJyUkoFwLFilSQ?= =?us-ascii?q?ppb+PziI0ekNtXCb4PB4VeKoi28nrwBxrSK0xso3hYnJg5gaylHA9Slj3Ik1It?= =?us-ascii?q?i4RVd9bNW5HpVQsCSaOJF3QsMkW2xotyc6yqEGuZ6mZycG0pUnxxnZZveacIaI?= =?us-ascii?q?+gruWPiNLTp8nn5oe7Kyiwys/US9xeDwTMa53EhMoyFYiNfDrGoN2AbW6sWfSv?= =?us-ascii?q?ty4EOh2TGX2gDW8O5EIEQ0mbPaK5493rI8j5QTvEvdEiPsl0X2i6iWdkog+ue2?= =?us-ascii?q?8ejofrLmppqEO491jAHxLLgul9ShDegkNgUCRWuW9OSm2LH94EH0T69Gg/Ionq?= =?us-ascii?q?XBtZDVP8Ubpqq3Aw9P1YYj7g6yDzG+0NsChXkHK1JEeBaGj4fzIFHDO//4DfKl?= =?us-ascii?q?jFStlDdn3ezJPrrkApnVNHjMjK/hfaph605b0Ac80cpQ55dQCr0YJPLzW1TxtM?= =?us-ascii?q?DDAx8iMw20xv7nB89n2oMfX2KPGK6ZP7nIvV+G/OJ8a9WLMYQcvTK4L/k++9bv?= =?us-ascii?q?i2U4kBkTZ/qHx5wSPVa5FfcuG0yBZmvog94aWTMMpgMmS/3uiVSZeTFWbne2Ga?= =?us-ascii?q?k742doW8qdEY7fS9X00/S61yChE8gIOjEfWwK8VEzwfoDBYM8iLSebI8tviDsB?= =?us-ascii?q?DOHzRIoo1BXovwj/meM+crjkvxYAvJem7+BbovXJnEhrpzNxBsWZlWqKSjMsxz?= =?us-ascii?q?5ad3oNxKl65HdF5BKD3Kx/2aEKENVS47ZITl9/O8KGieN9DN/2V0TKedLbEFs?= =?us-ascii?q?=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BlNQAmU3FbfyrWVdFchCMBPn8ogy4/g?= =?us-ascii?q?R2CVJBRi0+HH4U9gWYLBRqBWIJ1gzoZBwEENBQBAgEBAgEBAQEBEwEBCQsLCBs?= =?us-ascii?q?MJQyCQQEEAQEBAQEBAQEBAQEBAQEBBwGCbRcdARsMEgMSAw03AiQBEQEFAVCDB?= =?us-ascii?q?oFnAQMVjxeMZoMePIsLgREFAReCdgWDVQoZJg1XgkgCAQUSiQIXgUE/gRKCJj6?= =?us-ascii?q?Bb4FaAoElFQtJglSCVQKIAoUAhTKIKgmGIokygU6CUYFaiD+IGIJqhjyBRA8hg?= =?us-ascii?q?TdUgR9NI4EBgjiCMYNQgmSHcD0wi3uCSQEB?= X-IPAS-Result: =?us-ascii?q?A0BlNQAmU3FbfyrWVdFchCMBPn8ogy4/gR2CVJBRi0+HH4U?= =?us-ascii?q?9gWYLBRqBWIJ1gzoZBwEENBQBAgEBAgEBAQEBEwEBCQsLCBsMJQyCQQEEAQEBA?= =?us-ascii?q?QEBAQEBAQEBAQEBBwGCbRcdARsMEgMSAw03AiQBEQEFAVCDBoFnAQMVjxeMZoM?= =?us-ascii?q?ePIsLgREFAReCdgWDVQoZJg1XgkgCAQUSiQIXgUE/gRKCJj6Bb4FaAoElFQtJg?= =?us-ascii?q?lSCVQKIAoUAhTKIKgmGIokygU6CUYFaiD+IGIJqhjyBRA8hgTdUgR9NI4EBgji?= =?us-ascii?q?CMYNQgmSHcD0wi3uCSQEB?= X-IronPort-AV: E=Sophos;i="5.53,232,1531778400"; d="scan'208,217";a="275719900" Received: from mail-it0-f42.google.com ([209.85.214.42]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 13 Aug 2018 11:47:33 +0200 Received: by mail-it0-f42.google.com with SMTP id e14-v6so12227268itf.1 for ; Mon, 13 Aug 2018 02:47:33 -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=KI/j2JTHcXewzDVr8CpqbNewHhOR6Qi49uIGnd4Bkow=; b=S2JNdNb2wtaQdVE2Zn3vPlrJ4cBjVLvgZiD9CA+ICBYava4Kwg6wET+tuZqNQl7nqZ BVz5AMnj519iHmtkFOEkZmtymjWznIGuygGbFI0dMRpoGY5rjzb2ITxYJpmxmrmfVH2L yCg1genRcnhdLzmlLvsHBY9jf9ItbYpqEUpcP5A2Tumg5Y7pmYXCLHtCo2J08k/3KE03 mlT8s/tdl2CXWOvoWBWa3WflEfKdUrjcfioxt5Y1VUcx1fOQUclr0UDkrWiPlEesFjiS VxFZfRfD0Mi2AXhgX2NMOpJ0LpE3EVFEyM4vzx9vv3h5pDKnWSFVeWhIW3V6jI2tdqrP 6yYQ== 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=KI/j2JTHcXewzDVr8CpqbNewHhOR6Qi49uIGnd4Bkow=; b=AmPHEIq50tj+yGdLsWhdpaAxpvJ1jm6SfqutXlbLvzjqKfKDMUKxDU/GcADxusl1nH ZRG+2LfGaNw9GKCo2qT8Iiu9q/UWBrSQSXdlSWIy0M9LkXr+MMS5Z/8Y249zHAzTJ/Kg eNOxU6ycIIeEosgP+8F4ElhbQRyFWbhDEH9SKl8Ljx1iYfWCwK/y5n0z5vmsUrPfRUqd vSXWh+gYUT3HascmzFuxD4/gtPGgMNoVa2Q8s0wm3wvTxrLQuI+49PFT5ez5GJ6GaHtr 62FFjzQNzJWXFGmbTL7kVgzhsBI5Q2R2kdoQHdqd+4xjEpZDFIHiGUcVP7MAHwc51Ou0 Q+4w== X-Gm-Message-State: AOUpUlGdhPRiuRxz/pv/4lvXtZLuWUOONWX26doMsPVcdUB3dxyB8AqZ d8Toz6BRWp0wZlT94p/YH86DFpEUBNctBoyWNUGqpZQtro0= X-Google-Smtp-Source: AA+uWPzEhiUkuRDDqgQwIf/oJjUHC89Ei4iiizGQXUnKReG0VdwdLF1Ymxmo5mWvPo/OHyWvF2dpFBDC+E0K3YFBnbE= X-Received: by 2002:a24:4207:: with SMTP id i7-v6mr9963384itb.24.1534153651250; Mon, 13 Aug 2018 02:47:31 -0700 (PDT) MIME-Version: 1.0 From: Nick Papoylias Date: Mon, 13 Aug 2018 11:47:20 +0200 Message-ID: To: caml-list@inria.fr Content-Type: multipart/alternative; boundary="00000000000069ed5605734dfbab" Subject: [Caml-list] CfP: Next Generation Programming Paradigms and Systems (NGPS at SAC 2019) Reply-To: Nick Papoylias X-Loop: caml-list@inria.fr X-Sequence: 17024 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: --00000000000069ed5605734dfbab 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/ ---------------------------------------------------------------------------= ---- 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. DEADLINES Sept 10, 2018 Submission of regular papers and SRC research abstracts Nov 10, 2018 Notification of paper acceptance/rejection Nov 10, 2018 Notification of SRC acceptance/rejection Nov 25, 2018 Camera-ready copies of accepted papers/SRC Dec 10, 2018 Author registration due date April 8-12, 2019 ACM SAC Conference 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 (to be completed) Mohamad Al Hajj Hassan, Huawei, DE Lorenzo Bettini, DISIA, University of Florence, IT 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 Robert Hirschfeld, HPI, University of Potsdam, DE Jaakko J=C3=A4rvi, II, University of Bergen, NO Einar Broch Johnsen, UiO, University of Oslo, NO Khaled Hamidouche AMD Research, USA Geoff Hamilton, School of Computing, Dublin City University, IE Hideya Iwasaki, The University of Electro-Communications, JP Doug Lea, CS, University of New York at Oswego Michele Loreti, DI, University of Camerino, IT Alberto Lluch Lafuente, DTU COMPUTE, Technical University of Denmark, DK Hidehiko Masuhara, PRG, Tokyo Institute of Technology, JP Virginia Niculescu, CS, Babes-Bolyai University of Cluj-Napoca, RO Nick Papoulias, University of La Rochelle, UMR LIENSs, CNRS, FR Ant=C3=B3nio Ravara, DI FCT, New University of Lisbon, PT Barbara Re, SST, University of Camerino, IT Sophie Robert, LIFO, University of Orl=C3=A9ans Stefan Rudolph, OC, Augsburg University, DE Maurice ter Beek, FMT-ISTI, CNR, IT Martin Wirsing, SoSy-Lab, LMU Munich, D --=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= --00000000000069ed5605734dfbab 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 Systems (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://ngps2= 019.github.io/

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

A= IMS AND TOPICS

The complexity of modern software s= ystems is continuously growing together
with the communication ca= pabilities and computational power of pervasive
technology, embod= ied by a wide range of interacting heterogeneous smart
devices.

This new scenario is posing serious challenges to s= oftware development, which
hardly keeps pace with this technologi= cal evolution. Sophisticated frameworks
exposed through applicati= on programming interfaces, or directly integrated
with mainstream= programming languages provide partial solutions to support
big d= ata streaming and complex analytic; dynamic, autonomous, and collective
coordination and adaptation capabilities; emergent behavior in coope= rating
systems; Internet of Things (IoT) systems development and = maintenance; and
employment of cloud platforms and parallel archi= tectures, in particular
heterogeneous ones.

<= div>This calls for new abstractions, features, middlewares and tools able t= o
reduce the time, effort, and cost of designing and developing t= he next
generation software systems, improving performance, and e= nsuring reliability
and security.

To thi= s aim, NGPS is seeking to advance the state-of-the-art and the
st= ate-of-the-practice of computational models and paradigms, formal
techniques and software methods for easing software development and
<= div>verification, and improving efficiency of complex modern systems.
=

The specific topics of interest for the NGPS track incl= ude, but are not
limited to, the following:

<= div>- Integration of computational paradigms
- Runtime verificati= on and monitoring
- Platforms for the Cloud
- IoT syste= ms
- Secure and dependable software
- Formal models and= verification
- Testing and debugging
- System evaluati= on
- Design, implementation and optimization of high-level progra= mming languages
- Middleware platforms
- Scenarios, cas= e studies and experience reports on innovative applications
- Hig= h-level parallel programming
- Distributed systems and concurrenc= y
- Development tools
- Coordination models, specificat= ion, and technologies
- Multi-agent systems, mobile agents, intel= ligent agents, and agent-based simulations
- Models, frameworks a= nd tools for Collective Adaptive Systems
- Internet, Web, and per= vasive computing systems
- Self-organizing, self-adaptive, contex= t-aware and nature-inspired systems
- Security, trust and privacy= management


SUBMISSIONS
<= br>
Prospective papers should be submitted to the track in pdf fo= rmat 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 pape= rs
should represent original and previously unpublished works tha= t are currently
not under review in any conference or journal. Bo= th basic and applied
research papers are welcome.

<= /div>
SAC 2019 will use double-blind reviewing; to facilitate this, aut= hor 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-al= ternate style.

Full papers are limited to 8 pages,= in camera-ready format, included in the
registration fee. Author= s have the option to include up to two (2) extra
pages at additio= nal fee of US$80 per page.

Papers accepted as post= ers are limited to 3 pages, in camera-ready format,
included in t= he registration fee. Authors have the option to include only one
= (1) extra page at additional fee of US$80.

SRC abs= tracts 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 pr= oxy attending SAC MUST present
the paper: This is a requirement f= or the paper/poster to be included in the
ACM/IEEE digital librar= y. No-show of scheduled papers and posters will result
in excludi= ng them from the ACM/IEEE digital library.


DEADLINES

Sept 10, 2018 Submission of regu= lar papers and SRC research abstracts
Nov 10, 2018 Notification o= f paper acceptance/rejection
Nov 10, 2018 Notification of SRC acc= eptance/rejection
Nov 25, 2018 Camera-ready copies of accepted pa= pers/SRC
Dec 10, 2018 Author registration due date
Apri= l 8-12, 2019 ACM SAC Conference


TRA= CK CO-CHAIRS

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


<= /div>
PROGRAM COMMITTEE (to be completed)

Moha= mad Al Hajj Hassan, Huawei, DE
Lorenzo Bettini, DISIA, University= of Florence, IT
H=C3=A9l=C3=A8ne Coullon, IMT Atlantique, Inria,= FR
Ferruccio Damiani, DI, University of Torino, IT
Sim= on Dobson, CS, University of St Andrews, UK
Kento Emoto, IPL-Lab,= Kyushu Institute of Technology, JP
Erik Ernst, Google Inc., USA<= /div>
Lukas Esterle, ALICE, Aston University, UK
Fr=C3=A9d=C3= =A9ric Gava, LACL, Universit=C3=A9 Paris-Est Cr=C3=A9teil, FR
Rob= ert Hirschfeld, HPI, University of Potsdam, DE
Jaakko J=C3=A4rvi,= II, University of Bergen, NO
Einar Broch Johnsen, UiO, Universit= y of Oslo, NO
Khaled Hamidouche AMD Research, USA
Geoff= Hamilton, School of Computing, Dublin City University, IE
Hideya= Iwasaki, The University of Electro-Communications, JP
Doug Lea, = CS, University of New York at Oswego
Michele Loreti, DI, Universi= ty of Camerino, IT
Alberto Lluch Lafuente, DTU COMPUTE, Technical= University of Denmark, DK
Hidehiko Masuhara, PRG, Tokyo Institut= e of Technology, JP
Virginia Niculescu, CS, Babes-Bolyai Universi= ty of Cluj-Napoca, RO
Nick Papoulias, University of La Rochelle, = UMR LIENSs, CNRS, FR
Ant=C3=B3nio Ravara, DI FCT, New University = of Lisbon, PT
Barbara Re, SST, University of Camerino, IT
Sophie Robert, LIFO, University of Orl=C3=A9ans
Stefan Rudolph= , OC, Augsburg University, DE
Maurice ter Beek, FMT-ISTI, CNR, IT=
Martin Wirsing, SoSy-Lab, LMU Munich, D
--00000000000069ed5605734dfbab--