QuAND est un projet PEPS de l'INS2I.
L'objectif de ce projet est de former un groupe de réflexion multidisciplinaire sur l'élaboration de méthodes quantitatives pour la représentation et l'analyse du non déterminimse calculatoire. Cette initiative est motivée par le constat que des approches étonnamment similaires ont récemment émergé dans les travaux des participants, et ce dans des domaines et avec des motivations a priori indépendants: logique, calcul quantique et programmation concurrente. Nous souhaitons renforcer les liens déjà partiellement établis entre ces démarches, développer des outils théoriques communs et rechercher un cadre fondamental unifié.
Plus de détails dans le projet scientifique.