caml-list - the Caml user's mailing list
 help / Atom feed
* [Caml-list] [NGPS at SAC 2019] extended submission deadline Sept 24
@ 2018-09-04 13:57 Nick Papoylias
  0 siblings, 0 replies; 1+ messages in thread
From: Nick Papoylias @ 2018-09-04 13:57 UTC (permalink / raw)
  To: caml-list

[-- Attachment #1: Type: text/plain, Size: 7305 bytes --]


          Next Generation Programming Paradigms and Systems (NGPS 2019)

           Track of the 34th ACM/SIGAPP Symposium On Applied Computing

                                Limassol, Cyprus




*Sept 24, 2018 (extended)* Submission of regular papers and SRC research
*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


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

This new scenario is posing serious challenges to software development,
hardly keeps pace with this technological evolution. Sophisticated
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
- 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
- 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


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
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
(1) extra page at additional fee of US$80.

SRC abstracts are limited to 4 pages, in camera-ready format, included in
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
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
in excluding them from the ACM/IEEE digital library.


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


Mohamad Al Hajj Hassan, Huawei, DE
Victor Allombert, Orléans University, FR
Lorenzo Bettini, DISIA, University of Florence, IT
Carl Friedrich Bolz-Tereick, DE
João Costa Seco, New University of Lisbon, PT
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
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ärvi, 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ónio Ravara, DI FCT, New University of Lisbon, PT
Barbara Re, SST, University of Camerino, IT
Sophie Robert, LIFO, Orléans University, FR
Stefan Rudolph, OC, Augsburg University, DE
Maurice ter Beek, FMT-ISTI, CNR, IT
Martin Wirsing, SoSy-Lab, LMU Munich, DE

Caml-list mailing list.  Subscription management and archives:
Beginner's list:
Bug reports:

[-- Attachment #2: Type: text/html, Size: 8767 bytes --]

^ permalink raw reply	[flat|nested] 1+ messages in thread

only message in thread, back to index

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2018-09-04 13:57 [Caml-list] [NGPS at SAC 2019] extended submission deadline Sept 24 Nick Papoylias

caml-list - the Caml user's mailing list

Archives are clonable: git clone --mirror

AGPL code for this site: git clone public-inbox