IRILL - Research and Innovation on Free Software Comme chaque année, l'OSIS organise une journée sur la fiabilité logicielle, l'occasion de parler d'OCaml, mais aussi d'autres langages...
Inscription obligatoire (<--- suivre ce lien, gratuite pour les non-affiliés)
Au programme :
-
13:45: Accueil
-
14:00: Mot d'introduction
-
14:15: When Ada & SPARK steal from other languages to improve safety --- Raphaël Amiard (Adacore)
-
14:45: Projet Rudder: D’une programmation objet classique aux Free Monads en 8 ans de Scala --- Vincent Membré & François Armand (Normation)
-
15:15: Quelques principes de sécurité pour le développement d'applications robustes --- Eric Jaeger (ministère de la défense)
-
15:45: pause
-
16:00: On static malware detection --- Tayssir Touilli (LIPN, univ Paris 13)
-
16:30: Mise au point sur cartes graphiques --- Mathias Bourgoin (LIFO, univ Orléans)
-
17:00: Développement des applications Web et mobiles du réseau social Be Sport grâce à la programmation multi-tier typée et au framework Ocsigen --- Vincent Balat (BeSport)
-
17:30: Pot