Lettre de l'IRIF du 7 avril 2023

Edito

Dans la lettre cette semaine, le prochain conseil de laboratoire, le point travaux, et la deuxième BD IRIF et environnement. Côté actualités scientifiques, à noter la nomination de Claire Mathieu à EATCS Fellow, ainsi que deux meetings organisés par des membres de l'IRIF. Cette semaine, pas de focus.


Bonne lecture !

Annonces de la direction


Actualités


Focus on


Appels d'offres et informations des partenaires

Newsletter des partenaires : Les lettres arrivent sporadiquement aux membres de l'IRIF. Elles sont donc listées ci-dessous.

Agenda de la semaine du 10 avril au 14 avril

Algorithmes et complexité
Mercredi 12 avril 2023, 11 heures, Salle 3052
Harold Nieuwboer (University of Amsterdam and Ruhr University Bochum) Interior-point methods on manifolds: theory and applications

Combinatoire énumérative et analytique
Jeudi 13 avril 2023, 11 heures, IHP
Seminaire Flajolet TBD

Preuves, programmes et systèmes
Jeudi 13 avril 2023, 10 heures 30, Salle 3052 & online (Zoom link)
Giulio Manzonetto (Université Sorbonne Paris Nord) The Lambda Calculus - 40 Years Later

Séminaire des doctorants
Jeudi 13 avril 2023, 16 heures, 3052 and Zoom link
Enrique Román Calvo But… what is verification? (A short introduction to distributed databases and DPOR)

Analyse et conception de systèmes
Jeudi 13 avril 2023, 14 heures, salle séminaires au plateau SCAI (Esclangon, 1er étage, campus Jussieu)
Lionel Broye Et Emmanuel Guez (PAMAL_Group) Le Minitel et nous. Une archéologie artistique des média

Vérification
Lundi 17 avril 2023, 11 heures, Olympe de Gouge 146 and Zoom link
Björn Brandenburg (MPI SWS) PROSA: Trustworthy Schedulability Analysis for Safety-Critical Real-Time Systems