L'IRILL organise une 1/2 journée d’exposés autour de projets soutenus et de discussions sur l’avenir de l’IRILL le mercredi 11 juin après-midi à l’amphithéâtre Astier (bâtiment Esclangon) sur le campus Pierre et Marie Curie (Jussieu) de Sorbonne Université.
Voici le programme provisoire :
-
13h30-14h : Galène, nouveautés - Juliusz Chroboczek (Irif - Université Paris Cité) en visio
-
14h-14h30 : open EDA, logiciel Coriolis - Jean-Paul Chaput (équipe Cian - LIP6 - Sorbonne Université)
-
14h30-15h : Catala à la CNAF - Denis Mérigoux - Louis Gesbert - Vincent Botbol - Romain Primet (projet Catala - Inria Paris)
-
15h-15h30 : break
-
15h30-16h : OCaml 5 en production : Retours d’expérience sur la migration de Tezos - Mathias Bourgoin (Nomadic labs)
-
16h-16h30 : Crypto, mais pas incognito, suivre les blocs à la trace - Cagdas Bozman (Functori)
-
16h30-17h : discussions sur l’IRILL
-
17h : pot aux caves Esclangon
——
Lieu :
en chair et en os en amphithéâtre Astier au bâtiment Esclangon : - métro Jussieu (lignes 7 et 10) ; - rentrer sur le campus par le 4 place Jussieu, 75005 Paris ; - longer la clôture à droite jusqu'au bout ; - rentrer dans le bâtiment Esclangon ; - l’amphi Astier se trouve sur la droite
ou par vidéoconférence : https://galene.irill.org/group/irill/journee-irill/ (avec un identifiant quelconque et un mot de passe vide)