Ocaml Meetup d'Octobre
Meetup OCaml d'octobre (bis)
IRILL - Research and Innovation on Free Software
Soutenance de thèse de Pierrick Couderc
Thèse de Pierrick Couderc - mardi 23.10.18 à 15h15 à l'Irill
Hacktoberfest@Sorbonne Université 2018
An Hacktoberfest instance at Sorbonne Université
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...