CfP: Next Generation Programming Paradigms and Systems (NGPS at SAC 2019)

-------------------------------------------------------------------------------

          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’ 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élène 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édéric Gava, LACL, Université Paris-Est Créteil, FR

Robert Hirschfeld, HPI, University of Potsdam, DE

Jaakko Järvi, 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ónio Ravara, DI FCT, New University of Lisbon, PT

Barbara Re, SST, University of Camerino, IT

Sophie Robert, LIFO, University of Orléans

Stefan Rudolph, OC, Augsburg University, DE

Maurice ter Beek, FMT-ISTI, CNR, IT

Martin Wirsing, SoSy-Lab, LMU Munich, D