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
Séminaire IRILL : IoT & fiabilité logicielle (OSIS 2018)
séance spéciale dans le cadre du printemps de l'innovation Open Source
OCaml Users In Paris at IRILL
Meetup OCaml (OUPS)
Séminaire IRILL : Language-integrated queries: a BOLDR approach
Jeudi 14 décembre, Julien Lopez (LRI - université Paris sud) viendra présenter ses travaux de recherche
OSIS2017 : Langages et Outils pour la fiabilité logicielle
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/
Introduction aux /blockchains/
Darcs Hacking sprint #9
IRILL is happy to host the ninth Darcs Hacking Sprint on the 17th september.
Ocaml Meetup July
Last July, more than 50 Ocaml hackers met at IRILL to exchange on the latest features of the Ocaml language.
Ocaml Meetup June
Last June, more than 60 Ocaml hackers met at IRILL to exchange on the latest features of the Ocaml language.
Workshop on cutting-edge technology for Cloud Automation
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.