DisCoTec 2017: 12th International Federated Conference on Distributed Computing Techniques Neuchâtel, Switzerland, June 19-22, 2017 |
Conference website | http://2017.discotec.org/ |
Abstract registration deadline | February 17, 2017 |
Submission deadline | February 24, 2017 |
DisCoTec 2017
12th International Federated Conference on Distributed Computing Techniques
http://2017.discotec.org
Neuchâtel, Switzerland, 19-22 June 2017
************************************************************************
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 some travel grants for students and an award for the best paper of DisCoTec.
All conferences share the same deadlines:
* Important Dates *
- February 3, 2017: Submission of abstract
- February 10, 2017: Submission of papers
- April 10, 2017: Notification of acceptance
- April 24, 2017: Final version
- June 19-22, 2017: Conference and workshops
* General Chair *
Pascal Felber, University of Neuchatel, Switzerland
* Organisation Chair *
Valerio Schiavoni, University of Neuchatel, Switzerland
* Publicity Chair *
Ivan Lanese, University of Bologna/INRIA, Italy
* Workshops Chair *
Romain Rouvoy, University of Lille, France
* Steering Board *
Farhad Arbab (CWI, Amsterdam, Netherlands)
Rocco De Nicola (IMT Lucca, Italy)
Kurt Geihs (University of Kasel, Germany)
Michele Loreti (University of Florence, Italy)
Elie Najm (Telecom Paris Tech -- Chair)
Rui Oliveira (University do Minho, Portugal)
Jean-Bernard Stefani (INRIA Grenoble, France)
Uwe Nestmann (TU Berlin, Germany)
* 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 2017
19th IFIP International Conference on Coordination Models and Languages
************************************************************************
* Scope *
Modern information systems rely increasingly on combining concurrent, distributed, mobile, adaptive, reconfigurable and heterogeneous components. New models, architectures, languages and verification techniques are necessary to cope with the complexity induced by the demands of today's software development. Coordination languages have emerged as a successful approach, in that they provide abstractions that cleanly separate behaviour from communication, therefore increasing modularity, simplifying reasoning, and ultimately enhancing software development.
Building on the success of the previous editions, this conference provides a well-established forum for the growing community of researchers interested in models, languages, architectures, and implementation techniques for coordination.
Topics of interest encompass all areas of coordination, including (but not limited to) coordination related aspects of:
- Theoretical models and foundations for coordination: component composition, concurrency, mobility, dynamic, spatial and probabilistic aspects of coordination, emergent behaviour, types, semantics;
- Specification, refinement, and analysis of architectures: patterns and styles, verification of functional and non-functional properties, including performance aspects;
- Coordination, architectural, and interface definition languages: implementation, interoperability, heterogeneity;
- Middlewares and coordination;
- Dynamic software architectures: distributed mobile code, configuration, reconfiguration, networked computing, parallel, high-performance and cloud computing;
- Nature- and bio-inspired approaches to coordination;
- Coordination of multiagent and collective systems: models, languages, infrastructures, self-adaptation, self-organisation, distributed solving, collective intelligence and emerging behaviour;
- Coordination and modern distributed computing: Web services, peer-to-peer networks, grid computing, context-awareness, ubiquitous computing, mobile computing;
- Programming languages, middleware, tools, and environments for the development of coordinated applications;
- Programming methodologies and verification of coordinated applications;
- Industrial relevance of coordination and software architectures: programming in the large, domain-specific software architectures and coordination models, case studies;
- Interdisciplinary aspects of coordination.
* Program Committee Chairs *
- Jean-Marie Jacquet, University of Namur, Belgium
- Mieke Massink, CNR-ISTI, Italy
************************************************************************
DAIS 2017
17th 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. Submissions will be judged on their originality, significance, clarity, relevance, and technical correctness.
The topics of interest to the conference include, but are not limited to:
- Novel and innovative distributed applications and systems, particularly in areas of middleware, data store, cloud computing, edge and fog computing, big data systems, data center and internet-scale systems, social networking, cyber-physical systems, mobile computing, software-defined network (SDN), service-oriented computing, and peer-to-peer systems;
- Novel architectures and mechanisms, particularly in areas of pub/sub systems, language-based approaches, overlay protocols, virtualization, resource allocation, blockchains, parallelization, and bio-inspired distributed computing;
- System issues and design goals, including self-management, security and practical applications of cryptography, trust and privacy, cooperation incentives and fairness, fault-tolerance and dependability, scalability and elasticity, and tail-performance and energy-efficiency;
- Engineering and tools, including model-driven engineering, domain-specific languages, design patterns and methods, profiling and learning, testing and validation, and distributed debugging.
* Program Committee Chairs *
- Lydia Y. Chen, IBM Research Zurich Lab, Switzerland
- Hans P. Reiser, University of Passau, Germany
************************************************************************
FORTE 2017
37th IFIP International Conference onFormal Techniques for Distributed Objects, Components and Systems
************************************************************************
* Scope *
FORTE 2017 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.
Topics of interest include but are not limited to:
- Languages and semantic foundations: new modeling and language concepts for distribution and concurrency, semantics for different types of languages, including programming languages, modeling languages, and domain-specific languages; real-time and probability aspects;
- Formal methods and techniques: design, specification, analysis, verification, validation, testing and runtime verification of various types of distributed systems including communications and network protocols, service-oriented systems, adaptive distributed systems, cyber-physical systems and sensor networks;
- Foundations of security: new principles for qualitative and quantitative security analysis of distributed systems, including formal models based on probabilistic concepts;
- Applications of formal methods: applying formal methods and techniques for studying quality, reliability, availability, and safety of distributed systems;
- Practical experience with formal methods: industrial applications, case studies and software tools for applying formal methods and description techniques to the development and analysis of real distributed systems.
* Program Committee Chairs *
- Ahmed Bouajjani, University Paris Diderot, France
- Alexandra Silva, University College London, UK