OCaml Users In Paris at IRILL (Dec 11 2018)
Meetup OCaml (OUPS)
IRILL - Research and Innovation on Free Software
Séminaire IRILL : Une introduction à l'analyse topologique de données
GdT Programmation / Séminaire IRILL / Séminaire APR
Ocaml Meetup d'Octobre
Meetup OCaml d'octobre (bis)
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)