[TYPES/announce] 11th International Federated Conferences on Distributed Computing Techniques (DisCoTec 2016): First Call For Papers

George Baryannis g.bargiannis at hud.ac.uk
Mon Oct 19 05:11:21 EDT 2015


[We apologize for multiple copies]

*****************************************************************

First Call for Papers

DisCoTec 2016

11th International Federated Conferences on
Distributed Computing Techniques

http://2016.discotec.org/

Heraklion, Greece, 6-9 June 2016

*****************************************************************

The DisCoTec series of federated conferences is one of the major
events sponsored by the International Federation for Information
processing (IFIP). The main conferences are:

   * COORDINATION
   * DAIS
   * FORTE

This year IFIP offers an award for the best paper of DisCoTec.
All conferences share the same deadlines:

* Important Dates *

Abstract submission: February 1, 2016
Paper submission: February 8, 2016
Notification of acceptance: March 21, 2016
Camera-ready version: April 4, 2016
Early registration: May 9, 2016
Conference and workshops: June 6-9, 2016

* Invited Speakers *

Tim Harris, Oracle Labs, UK
Catuscia Palamidessi, INRIA, France
Vijay Saraswat, IBM Research, USA

* General Chair *
Kostas Magoutis, University of Ioannina & ICS-FORTH, Greece

* Publicity Chair *
George Baryannis, University of Huddersfield, UK

* Workshops Chair *
Vincenzo Gulisano, Chalmers University of Technology, Sweden

* Steering Board *
Elie Najm (Chair), Telecom-ParisTech, France
Rocco de Nicola, University of Florence, Italy
Kurt Geihs, University of Kassel, Germany
Farhad Arbab (Coordination), CWI, Netherlands
Rui Oliveira (DAIS), University of Minho, Portugal
Jean-Bernard Stefani (FORTE), INRIA, France
Alain Girault, INRIA, France
Uwe Nestmann, TU Berlin, Germany
Michele Loreti, University of Florence, Italy
Jim Dowling, KTH, Sweden
Marjan Sirjani, Reykjavik University, Iceland
Frank de Boer, CWI, Netherlands
Lea Kutvonen, University of Helsinki, Finland
John Derrick, University of Sheffield, UK
Gianluigi Zavattaro, University of Bologna, Italy

* Publication *

Each paper will undergo a thorough process of review and the
conference proceedings will be published by Springer-Verlag
in the LNCS series.

*****************************************************************

COORDINATION 2016
18th IFIP International Conference on
Coordination Models and Languages

*****************************************************************

* Scope *

COORDINATION 2016 is the premier forum for publishing research results
and experience reports on software technologies for collaboration and
coordination in concurrent, distributed, and complex systems. The key
focus of the conference is the quest for high-level abstractions that
can capture interaction patterns and mechanisms occurring at all levels
of the software architecture, up to the end-user domain. COORDINATION
2016 seeks high-quality contributions on the usage, study, formal
analysis, design, and implementation of languages, models, and
techniques for coordination in distributed, concurrent, pervasive, and
parallel software-intensive computing systems. COORDINATION 2016 seeks
as well to adapt and integrate traditional COORDINATION techniques in
the realm of multi-agent systems (MAS), which typically involve more
coarse-grained (cognitive, intelligent, goal-oriented) components.
Main topics of interest encompass all areas of coordination, including
(but not limited to) coordination related aspects of:
* Models and paradigms
* Programming abstractions and languages
* Foundations, types and semantics
* Specification and verification
* Middlewares and architectures
* Distributed, mobile and networked computing
* Parallel and high-performance computing
* Nature- and bio-inspired approaches
* Self-adaptation, self-organisation and autonomic computing
* Collective systems, ensembles, federations, and systems-of-systems
* Teamwork, distributed problem solving and collective intelligence
* Multi-agent systems, auction, negotiation, argumentation, and rational
agents
* Trust, policies, reputation and security
* Applications and case studies

* Program Committee Chairs *

Alberto Lluch Lafuente, Technical University of Denmark, Denmark
José Proença, KU Leuven, Belgium and University of Minho, Portugal

*****************************************************************

DAIS 2016
16th IFIP International Conference on
Distributed Applications and Interoperable Systems

*****************************************************************

* Scope *

The DAIS conference series addresses all aspects of distributed
applications, including their design, implementation and operation, the
supporting middleware, appropriate software engineering methodologies
and tools, as well as experimental studies and practice reports. This
time we welcome particular contributions on architectures, models,
technologies and platforms for large scale and complex distributed
applications and services that are related to the latest trends towards
bridging the physical/virtual worlds based on flexible and versatile
service architectures and platforms.

* Program Committee Chairs *

Evangelia Kalyvianaki, City University London, UK
Márk Jelasity, University of Szeged, Hungary

*****************************************************************

FORTE 2016
36th IFIP International Conference on
FORmal TEchniques for Networked and Distributed Systems

*****************************************************************

* Scope *

FORTE 2016 is a forum for fundamental research on theory, models, tools,
and applications for distributed systems. The conference solicits
original contributions that advance the science and technologies for
distributed systems, with special interest in the areas of:
* Component- and model-based design
* Object technology, modularity, software adaptation
* Service-oriented, ubiquitous, pervasive, grid, cloud, and mobile
computing systems
* Software quality, reliability, availability, and safety;
* Security, privacy, and trust in distributed systems;
* Adaptive distributed systems, self-stabilization;
* Self-healing/organizing;
* Verification, validation, formal analysis, and testing of the above.
Contributions that combine theory and practice and that exploit formal
methods and theoretical foundations to present novel solutions to
problems arising from the development of distributed systems are
encouraged. FORTE covers distributed computing models and formal
specification, testing and verification methods. The application domains
include all kinds of application-level distributed systems,
telecommunication services, Internet, embedded and real-time systems, as
well as networking and communication security and reliability.

* Program Committee Chairs *

Elvira Albert, Complutense University of Madrid, Spain
Ivan Lanese, University of Bologna/INRIA, Italy
University of Huddersfield inspiring tomorrow's professionals.
[http://marketing.hud.ac.uk/_HOSTED/EmailSig2014/EmailSigFooter.jpg]

This transmission is confidential and may be legally privileged. If you receive it in error, please notify us immediately by e-mail and remove it from your system. If the content of this e-mail does not relate to the business of the University of Huddersfield, then we do not endorse it and will accept no liability.


More information about the Types-announce mailing list