Workshop at OPODIS 2012


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:

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

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

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

  4. 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).

More details in Displexity proposal (pdf)

(16th International ConferenceOn Principles Of DIstributed Systems - December 17th-20th)


Carole Delporte et Hugues Fauconnier (LIAFA/Université Paris Diderot)


David Ilcinkas (LABRI/Université de Bordeaux 1)

Michel Raynal (ASAP/Université de Rennes 1)


please contact

before November 15th

LOCATION: Dipartimento di Informatica e Sistemistica - Via Ariosto 25 

Salle A4




Displexity (ANR project)