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
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 !
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