Séminaire IRILL / Groupe de travail "Programmation"

       site Jussieu (plan d'accès)
       Sorbonne Université
       4 place Jussieu
       75005 Paris

Horaire : le jeudi après-midi de 14h à 15h30
Fréquence : tous les quinze jours

Pour ce début d'année, tous les abonnés ont été inscrit sur la liste de diffusion irill-news.
Si vous désirez vous abonner ou vous désabonner, cliquez sur le lien précédent.

La plupart des séances sont communes avec le séminaire IRILL, mais il peut avoir d'autres annonces d'exposés ou de réunions à l'IRILL :

-> suivre le lien IRILL events.

exposés et journées à venir

• jeudi 20 octobre 2022, à 14h (sur le campus Jussieu 15-16 101)

  Guillaume Bau (APR-LIP6-SU/Nomadic Labs)

  Interprétation abstraite de smart-contracts Michelson avec MOPSA

• jeudi 20 octobre 2022, à 14h (sur le campus Jussieu 15-16 101)

  Guillaume Bau (APR-LIP6-SU/Nomadic Labs)

  Interprétation abstraite de smart-contracts Michelson avec MOPSA (annonce)

• jeudi 23 juin 2022, à 14h (sur le campus Jussieu 15-16 101)
  • Gael Blondelle, VP Ecosystem Development, (Eclipse Foundation)

    Open Source, Europe et indépendance technologique

  • Philippe Krief, Director, Research Relations,(Eclipse Foundation)

    Comment bien utiliser l'open source pour promouvoir vos résultats de recherche

• jeudi 16 juin 2022, à 14h (sur le campus Jussieu 15-16 101)

  Romain Beguet, Raphael Amiard et Hugo Guerrier (AdaCore)

  The Langkit technology: an ecosystem for language front-ends (abstract)

• jeudi 24 mars 2022, à 14h (sur le campus Jussieu 15-16 101)

  Loic Sylvestre (Equipe APR/LIP6/Sorbonne Université)

  Macle : un langage dédié à l'accélération de programmes OCaml sur circuits FPGA (abstract)

• jeudi 17 mars 2022 , à 14h (sur le campus Jussieu 15-16 101)

  • Bastien Guerry (pôle logiciels libres, ETALAB, DINUM)

    Présentation du pôle logiciels libres de la DINUM et du plan d'action logiciels libres et communs numériques (abstract)

  • Sandra Chakroun (beta.gouv)

    Présentation du programme d'incubation beta.gouv et de quelques-uns des produits réalisés (abstract)

• jeudi 10 février 2022, à 14h (sur le campus Jussieu 15-16 101)

  Gabriel Scherer (Partout / Inria Saclay & LIX)

  Déboîter les constructeurs (abstract)

• jeudi 2 décembre 2021, à 14h (sur le campus Jussieu 15-16 101)

  Raphael Monat (Equipe APR/LIP6/Sorbonne Université)

  A Modern Compiler for the French Tax Code (abstract)

• jeudi 18 novembre, à 14h (sur le campus Jussieu 15-16 101)

  Xavier Thompson (Nexedi)

  Un système d'objets sans le GIL dans Cython (abstract)

• jeudi 28 octobre, à 14h (sur le campus Jussieu 15-16 101)

  Hugo Pompougnac (Inria)

  Weaving Synchronous Reactions Into the Fabric of SSA-Form Compilers (abstract, video)

• jeudi 21 octobre, à 14h (sur le campus Jussieu 15-16 101)

  Marie-Minerve Louerat, Roselyne Chotin, Jean-Paul Chaput (Equipe CIAN/LIP6/Sorbonne Université)

  Des petits pas vers l'Open Hardware (abstract, video)

• jeudi 7 octobre, à 14h (sur le campus Jussieu 15-16 101)

  Louis Gesbert (OCP)

  learn-ocaml: plate-forme en ligne d'enseignement pour OCaml (abstract, video)

Page maintenue par Emmanuel Chailloux, dernière modification le 18/10/2022

---

LIP6/APR

IRIF

IRILL