Theme : preuve formelle

Découvrez les contenus relatifs aux preuves formelles produits par l'équipe du centre de recherche Blockchain@X de l'Ecole Polytechnique.

Appel à communications – 2ème atelier sur la finance décentralisée (Defi)

Lieu Radisson Granada Beach Resort, Grenada Dates 18/02/2022 Appel à communications – 2ème atelier sur la finance décentralisée (Defi) Date limite de soumission : 26 novembre 2021 AoE UTC-12 Notification de l’auteur avant le : 17 décembre 2021 23:59 AoE...

Appel à communications – 2ème atelier sur la finance décentralisée (Defi)

Lieu Radisson Granada Beach Resort, Grenada Dates 18/02/2022 Appel à communications – 2ème atelier sur la finance décentralisée (Defi) Date limite de soumission : 26 novembre 2021 AoE UTC-12 Notification de l’auteur avant le : 17 décembre 2021 23:59 AoE...

Newsletter

Inscrivez-vous pour recevoir la newsletter du Centre de Recherche Blockchain@X et restez informé de notre actualité et de nos événements.