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 à 13h30 à l’amphithéâtre Astier (bâtiment Esclangon) sur le campus Pierre et Marie Curie (Jussieu) de Sorbonne Université (voir "Lieu" pour les précisions).

Programme

Attention cela commence à 13h30

13h30-14h : Galène, un système de vidéoconférence pour les masses - 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

Voir "Détails du programme" pour les résumés.

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)

Détails du programme

13h30-14h : Galène, un système de vidéoconférence pour les masses - Juliusz Chroboczek (Irif - Université Paris Cité) en visio

Résumé : Galène est un système de vidéoconférence libre qui a éte conçu pour être très facile à administrer et utiliser peu de ressources du côté serveur : pour de petits déploiements, un ordinateur de récupération ou un petit « board » (de type Raspberry Pi) suffit largement. Dans cet exposé, je décrirai la conception de Galène, et je décrirai les techniques qui m'ont permis d'obenir de bonnes performances sans sacrifier la qualité de la vidéo et de l'audio.
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)

Résumé : "D'octobre 2024 à mars 2025, une équipe de 4 ingénieurs de recherche de l'Inria ont collaboré avec la Caisse Nationale d'Allocations Familiales (CNAF) sur la mise au point d'un démonstrateur de calcul de prestations sociales en Catala à partir des spécifications fonctionnelles de la CNAF. Qu'est-ce qui était facile ? Qu'est-ce qui était difficile ? Catala est-il adapté aux besoins de la CNAF ? Comment ce démonstrateur pourra-t-il s'adapter au reste du SI de la CNAF ? Au départ projet de recherche, le langage dédié Catala qui permet de faire du literate et du pair programming avec la loi est mis à l'épreuve pour sa future industrialisation. Venez posez vos questions et découvrir comment on fait de l'informatique dans nos vénérables institutions publiques."
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)

Résumé : Cette présentation aborde les enjeux techniques et stratégiques liés à la détection des flux illicites sur les blockchains. Elle présente Argos, une solution souveraine, open source et auditable pour l'analyse graphique des transactions en temps réel.
16h30-17h : discussions sur l’IRILL
17h : pot aux caves Esclangon