16th International Conference On Principles Of DIstributed Systems - December 17th-20th

Workshops at OPODIS 2012

There will be also two workshops co-located with the conference: TADDS 2012, and DIXPLEXITY. In the following it is possible to find the schedule, some brief information and links to the official workshop page.

The 4th Workshop on Theoretical Aspects of Dynamic Distributed Systems

When: December 17th

Organizers: Yann Busnel and Lélia Blin

Yann Busnel (LINA/Université de Nantes)
e-mail: Yann.Busnel@univ-nantes.fr
Lélia Blin (LIP6/Université d'Evry)
e-mail: lelia.blin@lip6.fr

Workshop Website: click here to be redirected

TADDS has its focus on the dynamic aspects of distributed systems, encompassing systems in existence today and looking into the future development and deployment of dynamic distributed systems, with sound theoretical foundations in mind. Distributed systems are rapidly evolving, and the advent of new classes of applications and technologies, such as VANET, Airborne Networks, social networks, Smart Environments, P2P, broad area supercomputing, and distributed cloud services, is radically changing the way we think about them. Dynamic distributed systems have structures that are self-defined at any instant by entities that might autonomously decide to participate in the same distributed application. These systems are characterized by dynamic arrival and departure of participating entities and normally it may not be possible to assume anything about the universe of participants, their identities, capabilities, or reliability. Understanding the fundamentals of how to master this dynamic dimension is of primary importance to design of robust, dependable, and predictable distributed systems.

The 1st Workshop on Distributed Computing : Computability and Complexity

When: December 17th

Organizers: Carole Delporte, Hugues Fauconnier, David Ilcinkas and Michel Raynal

e-mail: displexity@liafa.univ-paris-diderot.fr

Workshop Website: click here to be redirected

Distributed computation keep raising new questions concerning computability and complexity. For instance, as far as fault-tolerant distributed computing is concerned, impossibility results do not depend on the computational power of the processes, demonstrating a form of undecidability which is significantly different from the one encountered in sequential computing. In the same way, as far as network computing is concerned, the impossibility of solving certain tasks locally does not depend on the computational power of the individual processes. The main goal of DISPLEXITY is to establish the scientific foundations for building up a consistent theory of computability and complexity for distributed computing. In particular DISPLEXITY HAS its focus on:
  • Formalizing yes/no-problems (decision problems) in the context of distributed computing. Such problems are expected to play an analogous role in the field of distributed computing as that played by decision problems in the context of sequential computing.
  • Revisiting the various explicit (e.g., failure-detectors) or implicit (e.g., a priori information) notions of oracles used in the context of distributed computing allowing us to express them in terms of decidability/complexity classes based on oracles.
  • Identifying the impact of non-determinism on complexity in distributed computing. In particular, DISPLEXITY aims at a better understanding of the apparent lack of impact of non-determinism in the context of fault-tolerant computing, to be contrasted with the apparent huge impact of non-determinism in the context of network computing. Also, it is foreseen that non-determinism will enable the comparison of complexity classes defined in the context of fault-tolerance with complexity classes defined in the context of network computing.
  • Last but not least, DISPLEXITY will focus on new computational paradigms and frameworks, including, but not limited to distributed quantum computing and algorithmic game theory (e.g., network formation games).

sponsored by:
logo sapienza         logo cyber intelligence for information security        logo Over Technology - the smart spaces makers