🎓 [Ajourné] Initiation au langage Blockchain Simplicity

Détails

🔥Annonce :
Le gouvernement a pris la décision de fermer un grand nombre de lieux accueillant le public. Nous avons décidé d'ajourner le Meetup pour une durée indéterminée. Plus d'informations sur nos comptes des réseaux sociaux Twitter et Linkedin.

🐥https://bit.ly/2WjHxTU
📎https://bit.ly/2xCXni1

----------

Aurait-on pu prévenir des événements comme le hack du fond d'investissement en ethers, TheDAO, grâce aux « vérifications formelles » ? 🤔

Pour le savoir, nous vous invitons à notre Meetup consacré à Simplicity pour y découvrir si ce nouveau langage proposé en remplacement de Bitcoin Script a un avenir.

----------

👉Qu'est-ce que Simplicity ?
Simplicity est un langage de programmation de bas niveau pour les Smart Contracts. Dès le départ, il a été conçu pour avoir une sémantique « simple » qui se prête à l'analyse statique de programmes et au raisonnement avec des Méthodes Formelles.

👉À quoi sert Simplicity ?
Simplicity facilite la lecture, l'écriture, et l'utilisation des Smart Contracts pour les développeurs, pour le protocole Bitcoin et même Ethereum.

Venez à notre rencontre, afin de savoir ce qu'il en est réellement des fondements de Simplicity et des Méthodes Formelles.

----------

🕢Votre programme :
18h30 | Ouverture des portes et accueil des participants.
19h | Première partie : Présentation de Simplicity avec quelques exemples. L'objectif est d'appréhender la sémantique et vous proposez les premières conclusions que l'on peut en tirer quant à ses intérêts.
20h | Seconde partie : Explications et exemples de méthodes formelles concrets en production sur des systèmes automatisés, et application directe sur un ou des scripts Bitcoin principalement utilisés.

----------

👨🏽‍🏫Votre intervenant :
Nicolas Ayache est ingénieur-chercheur en méthodes formelles. Après un doctorat à Orsay sur des outils pour la vérification de systèmes-sur-puce, et un post-doctorat à l'INRIA sur la compilation certifiée, Nicolas intègre ClearSy, une société qui développe des systèmes sécuritaires. Il effectue quelques missions de développement formel dans des grands groupes, et gère à présent des projets de R&D, encadre des projets de développement logiciel, est responsable de formation, et enseigne les méthodes formelles à l'université et en école d'ingénieur.

----------

📌Fondé en 2014, Eureka est un organisme de formation et d’expertise pionnier sur le sujet « blockchain ».
🌍www.eureka.co
🐥www.twitter.com/EurekaCertif
📎www.linkedin.com/company/eureka-certification