Hacktoberfest@Sorbonne Université 2018
An Hacktoberfest instance at Sorbonne Université
IRILL - Research and Innovation on Free Software
Séminaire IRILL : Tierless Web programming in ML
GdT Programmation / Séminaire IRILL
Ocaml Meetup d'Octobre
Last October, more than 50 Ocaml hackers met at IRILL to exchange on the latest features of the Ocaml language.
Séminaire IRILL : Développement de Programmes Impératifs par Raffinements, au sein de l'Assistant de Preuves Coq
GdT Programmation / Séminaire IRILL
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.