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

  • [Rappel] Conseil de laboratoire
    • Le prochain conseil de laboratoire aura lieu le mardi 11 avril de 13h à 14h30 en salle 3052. L'ordre du jour est le suivant :
      • changement de responsable pour équipe combinatoire,
      • changement de composition de la commission égalités,
      • nomination du nouvel assistant de prévention,
      • résultats concours CNRS
      • approbation du règlement intérieur, 
      • trajectoire pour le rapport HCERES,
    • Vous pouvez consulter la version provisoire de travail du règlement intérieur à cette adresse et envoyer vos remarques et suggestions à vos représentants du conseil de laboratoire.
  • [Rappel Élections] : Tout le personnel permanent (chercheurs, enseignants-chercheurs, ingénieurs ou techniciens) est invité à contrôler son inscription sur les listes électorales pour les élections au Conseil scientifique et aux Conseils scientifiques d'institut du CNRS sur ce site. Date limite : 11 avril.
  • Travaux à Sophie Germain : Les travaux pour la semaine prochaine pourront induire quelques nuisances sonores, l'interdiction du stationnement des vélos sur la place Aurélie Nemours, ainsi que la fermeture de l'accès principal pour des courtes périodes. Plus de détails ici.
  • IRIF&environnement : The IRIF and Environment Commission realeases its second weekly comic strip. You can follow and participate to I&E using Zulip (https://zulip.irif.fr), and via the website.
    https://www.irif.fr/en/intranet/irif-environnement/index


Actualités

  • New EATCS Fellow: Congratulations to Claire Mathieu who has been named EATCS Fellow for her fundamental contributions to solving theoretical and applied problems in approximation algorithms, online algorithms, and auction theory.
  • The ANR CoREACT will have its kick-off meeting on Wednesday 19 April. It will be in room 146 and online, open to everyone. Contact Nicolas Behr for the details.


Focus on


Appels d'offres et informations des partenaires

  • The office of the doctoral school will be closed next week. Starting on April, 18 it is relocated in Grands Moulins, office 129A on first floor.
  • CNRS / Webinaire Horizon Europe : Le pôle Europe du service Partenariat et Valorisation de la délégation Ile-de-France Villejuif du CNRS organise un webinaire sur le programme Horizon Europe le jeudi 13 avril 2023 à 14h30 (durée: 1h30). L’objectif de ce webinaire est de présenter le programme cadre Horizon Europe et ses différents outils de financement. La clôture des inscriptions est le mercredi 12 avril Un lien de connexion sera envoyé la veille du webinaire auprès des inscrit.e.s.

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