caml-list - the Caml user's mailing list
 help / Atom feed
* [Caml-list] CfP: Next Generation Programming Paradigms and Systems (NGPS at SAC 2019)
@ 2018-08-13  9:47 Nick Papoylias
  0 siblings, 0 replies; 1+ messages in thread
From: Nick Papoylias @ 2018-08-13  9:47 UTC (permalink / raw)
  To: caml-list

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

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

          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

-- 
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

[-- Attachment #2: Type: text/html, Size: 8406 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-08-13  9:47 [Caml-list] CfP: Next Generation Programming Paradigms and Systems (NGPS at SAC 2019) Nick Papoylias

caml-list - the Caml user's mailing list

Archives are clonable: git clone --mirror https://inbox.ocaml.org/caml-list

AGPL code for this site: git clone https://public-inbox.org/ public-inbox