CfP: DisCoTec 2016
11th International Federated Conferences on Distributed Computing Techniques (DisCoTec 2016)
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).
This year 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 TJ Watson Research Lab, 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
- Jose Proenca 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
- Mark 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
- Ivan Lanese University of Bologna/INRIA, Italy
- Elvira Albert Complutense University of Madrid, Spain