Lettre de l'IRIF du 4 Avril, 2025

Experimental: For now, the letter is in French. You can find the English version here. If you want to send any feedback for this format please do not hesitate to contact lettre@irif.fr

Édito

Dans la lettre de l'IRIF cette semaine, l'initiative Stand up for Science et des actions sur le prêt d'ordinateurs et téléphones portables. Nous rappelons la présentation mardi des outils de détections de projets et veille des projets (venez nombreux !). Ne manquez pas de diffuser l'annonce des postes d'ATER. Notez aussi l'ouverture des inscriptions à l'EPIT.

Bonne lecture et excellent week-end !


Annonces de la direction


Actualités



Appels à projet et informations des partenaires


Formations


Agenda de la semaine du 07 avril au 11 avril

Algorithmique distribuée et graphes · Mardi 08 avril, 15:30, 3052 ·
Laurent Viennot (INRIA et IRIF), Certificates in P and Subquadratic-Time Computation of Radius, Diameter, and all Eccentricities in Graphs

Preuves, programmes et systèmes · Jeudi 10 avril, 10:30, Room 3052 & online (Zoom link) ·
Justin Hsu (Cornell University), Type Systems for Numerical Error Analysis

Séminaire des membres non-permanents · Jeudi 10 avril, 16:00, Room 3052 ·
Vincent Moreau, TBA

Vérification · Vendredi 11 avril, 11:00, 3052 and Zoom link ·
Marc Shapiro (LIP6, Sorbonne Université), Modelling and Verifying a Database Backend

Automates · Vendredi 11 avril, 14:00, Room 3052 ·
Mahsa Shirmohammadi, Differential Tree Automata