ROCKR PREUVES - ASSOCIATION POUR LA VERIFICATION FORMELLE DES INFRASTRUCTURES NUMERIQUES DE CONFIANCE

conduire, promouvoir, incuber et coordonner des travaux de recherche en vérification formelle et en sûreté des infrastructures numériques de confiance, notamment les protocoles d'identité, de règlement et d'authentification ; constituer un réseau d'expertise scientifique et d'ancrage local pour répondre aux appels à projets de recherche nationaux et européens ; promouvoir la publication des résultats, preuves théoriques et codes sources en libre accès (Open Science / Open Source) sous licences libres appropriées ; coopérer avec tout organisme public, université ou entreprise privée poursuivant un but similaire, en France et à l'étranger, notamment ROCKR Proof Labs Ltd ; entreprendre toute action se rattachant directement ou indirectement à cet objet

Domaine déclaré : autres supports de communication

Numéro RNA: W243010633
Déclarée le: 14 août 2026
Source: Répertoire National des Associations

À compléter

Où vous trouver à compléter
Horaires à compléter
Téléphone à compléter
Courriel à compléter
Site à compléter
Accessibilité à compléter

Vous ajoutez en tant que @…. Ce que vous écrivez s'affiche avec votre @ à côté, sur cette page publique : personne ne garantit le contenu d'une fiche, c'est celui qui l'avance qui le signe.

Ajouter une information nécessite un compte MANA.bzh — c'est tout, et c'est gratuit. Se connecter ou créer un compte MANA.bzh

La gestion des fiches référencées sur manafrance.org se fait sur mana.bzh : en cliquant, vous quittez manafrance.org pour y retrouver votre page sur mana.bzh.

Vous représentez une association de autres supports de communication à Grand-Brassac ? Gérer la fiche de votre association — vous parlez alors en son nom, et vous pouvez y ajouter un contact, des horaires, un site. Pourquoi cet annuaire existe.