Séminaire IRILL : Développement de Programmes Impératifs par Raffinements, au sein de l'Assistant de Preuves Coq
GdT Programmation / Séminaire IRILL
IRILL - Research and Innovation on Free Software
GdT Programmation / Séminaire IRILL
séance spéciale dans le cadre du printemps de l'innovation Open Source
Meetup OCaml (OUPS)
Jeudi 14 décembre, Julien Lopez (LRI - université Paris sud) viendra présenter ses travaux de recherche
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...
Introduction aux /blockchains/
IRILL is happy to host the ninth Darcs Hacking Sprint on the 17th september.
Last July, more than 50 Ocaml hackers met at IRILL to exchange on the latest features of the Ocaml language.
Last June, more than 60 Ocaml hackers met at IRILL to exchange on the latest features of the Ocaml language.
On Dec 16th 2014, an unique occasion to discover three cutting-edge and complementary projects focusing on automation in the Cloud: Aeolus, ConfSolve and Saloon.