Paris Open Source Summit


INSCRIPTION AUX EVENEMENTS




Ateliers Exposants

11/12/2019 10h15 - 11h15 - SCENARIO

ATELIER KUZZLE : Comment j'ai (presque) arrêté de développer mon backend pour mes apps Vue.js, React Native ou Flutter grâce à Kuzzle

Tout le monde aime coder mais aujourd'hui entre la complexité des framework frontend
et la pléthore de framework backend, il est difficile de trouver du temps pour tout faire correctement.

Venez apprendre à utiliser un backend clé en main pour gagner du temps dans vos projets.
API, CRUD, authentification, sécurité, scalabilité, plus besoin de s'en soucier avec Kuzzle!
Gardez le contrôle de vos données et de votre infrastructure en utilisant un backend clé en main open source et libre.
 

Intervenant(s)

  • Monsieur Adrien MARET, Core-Product Developer , KUZZLE

Ateliers Exposants

11/12/2019 11h15 - 12h15 - SCENARIO

ATELIER MICROSOFT : Open Source future, a (biased) point of view?

Au cours des 10 dernières années, Microsoft est devenu un acteur de l’Open Source. Quels ont été les changements dans la culture de Microsoft ? Qu’est-ce qui n’a pas changé ?  Qu’est-il prévu pour la ensuite ?

Ce workshop se penche sur ce changement culturel où Microsoft est devenu une entreprise qui permet, intègre, développe et contribue au sein des communautés Open Source et s’oriente vers un avenir de croissance et d’engagement dans l’Open Source et son écosystème.

Intervenant(s)

  • Monsieur Stephen WALLI, Principle Program Manager – Office of CTO , MICROSOFT

Ateliers Exposants

11/12/2019 14h00 - 16h00 - SCENARIO

ATELIER INRIA : OCaml, Coq, Why 3: pour concevoir codes et infrastructures plus sûrs en C, Java, Javascript, Ada

Partie 1 : Suivre l'approche fonctionnelle du développement logiciel, en OCaml pour un code plus sûr

 

L'approche fonctionnelle du développement logiciel séduit de plus en plus. Java, Python, ou encore C++, langages traditionnellement orientés objets,  ont introduit des traits fonctionnels dans leurs moutures modernes. Le JavaScript est devenu avec le temps un langage de plus en plus résolument fonctionnel. 

Dans cet exposé, on tentera d'expliquer cette tendance. On décrira ensuite OCaml, un langage de programmation fonctionnelle typée qui offre des garanties et des mécanismes très riches pour profiter pleinement de tous les avantages de l'approche fonctionnelle de la programmation, en particulier pour construire des applications sûres et efficaces. L'environnement de développement aujourd'hui très complet est muni d'un compilateur vers du code natif et d'un runtime tous les deux réputés pour leur efficacité, mais aussi d'un gestionnaire de paquets très expressif, OPAM, d'un "build system", DUNE, d'un compilateur vers javascript "js_of_ocaml". Ces outils ont permis à l'écosystème OCaml d'atteindre un seuil critique à partir duquel des projets ambitieux ont pu être lancés comme, MIRAGE une bibliothèque pour construire des Unikernels, TEZOS, une "blockchain" qui s'appuie sur le "preuve d'enjeu" et une gouvernance autogérée, ou encore INFER, un analyseur statique utilisé quotidiennement par les développeurs de Facebook. 

 

Partie 2:  Vérification formelle et infrastructures certifiées avec Coq

 

Résumé: Nous donnerons une brève introduction à l'assistant de preuve Coq, un logiciel open source permettant la vérification de programmes et les formalisations mathématiques dans un langage unifié. Nous ferons un focus sur l'utilisation de Coq pour développer des programmes et des infrastructure certifiées: compilateurs, analyseurs statiques, logiciels systèmes ou logicels ayant trait à la blockchain (protocoles de consensus, langage de 'smart contracts'). Nous concluerons en donnant un aperçu des ressources de formation disponibles sur Coq.

 

Partie 3: Vérification Déductive avec le logiciel Why3 

Résumé: Why3 est un logiciel libre d'Inria dédié à la vérification de programmes par preuve formelle. Cet environnement est conçu de manière modulaire, lui permettant d'être utilisé par des environnements de développement tiers comme Frama-C pour les codes C et Spark pour les programmes en Ada. Cet exposé présentera les grands principes de l'approche déductive de la vérification et un panorama de ses applications industrielles.
 

Intervenant(s)

  • Monsieur Matthieu SOZEAU, Chargé De Recherche, Coordinateur Du Développement De Coq , INRIA
  • Monsieur Claude MARCHÉ, Directeur De Recherche, Co-Auteur De Why3 Et Directeur Du Laboratoire Commun Proofinuse En Partenariat Avec La Pme Adacore , INRIA
  • Monsieur Yann RÉGIS-GIANAS, Maître De Conférence , INRIA

Effectuer votre sélection



Partenaires
Participants