Edito

Cette semaine dans la lettre de l'IRIF, nous vous proposons le 6ème épisode de la BD d'I&E et deux conférences, l'une du diiP avec le professeur distingué S. Mostafa Mousavi et l'autre, un séminaire de vérification.

Puis, vous pourrez découvrir un focus sur l'IA et son influence américaine auquel Claire Mathieu a participé, ainsi qu'un projet d'art réalisé grâce à l'IA et le machine learning.

Concernant les informations de nos partenaires, Orasis-Ear cherche un post-doctorant et l'université propose une formation pour devenir sauveteur secouriste du travail.

Bonne lecture !

📢 Annonces de la direction

  • Olympe de Gouges rooms [REMINDER]: The keys to access the closed rooms are in the coded boxes outside the rooms. To use them:
    1. Dial the code to open the box
    2. Open the door with the key found in the box
    3. Put the key back in the box and lock it
    4. Important: Do not carry the key with you and lock the room if you are the last one in.
    • Codes for the keyboxes: (see plan)
      1. Room 105: This week's code is 91190
      2. Other rooms : rooms 146, 147, 163, 164, 165, and 166 see https://reservation.irif.fr
  • Informations sur les travaux [RAPPEL] :
    • Vous avez peut-être reçu un mail vous demandant de finir d'évacuer tout ce qui reste à enlever. Merci de le faire au plus vite.
    • Au cours des semaines à venir, le niveau des nuisances sonores devrait augmenter significativement.
      • Semaine du 9 mai
        • Poursuite des sciages sur la façade Watt (en face de Lamarck) et Lepaute
        • Démarrage des sciages au niveau de la façade donnant sur le jardin
          ➡ Nuisances sonores à prévoir liées aux percements, à l’usage du marteau piqueur et au sciage du béton
        • Poursuite des déménagements
          ➡ Privilégier les circulations côté Einstein pour éviter les croisements de flux
  • Fermetures administratives de l'Université Paris Cité en 2023 [RAPPEL] :
    • Du mardi 25 juillet 2023 au soir au mercredi 16 août 2023 au matin
    • Du vendredi 22 décembre 2023 au soir au mardi 2 janvier 2024 au matin


♻ IRIF & Environnement 🌱

  • The IRIF and Environment Commission realeases its sixth weekly comic strip. You can follow and participate to I&E using Zulip (https://zulip.irif.fr), and via the website.

  • Le saviez-vous ? En 2019, environ 70% de l'emprunte carbone du laboratoire était due aux missions en avion, avec une estimation haute de 25% pour le chauffage, et une estimation de seulement 2% pour le matériel informatique.


📰 Actualités

  • diiP (data intelligence institute of Paris) conference : a distinguished lecture will be held by Dr. S. Mostafa Mousavi about “Deep Learning of Seismograms” the 7th of June at 4pm, online. You can join the conference by clicking here.
  • Verification seminar : On Tuesday the 9th, Stéphane Gaubert will talk about Universal Complexity Bounds Based on Value Iteration for Stochastic Games and Entropy Games. The seminar will be held in Olympe de Gouges, Room 146 at 2pm. You can also follow it online.
  • Nous avons besoin de votre participation pour accueillir les stagiaires de seconde dans de bonnes conditions et les initier à l'informatique et à la programmation !
    ↪ Pour participer, écrivez nous à scolaire@irif.fr en précisant vos disponibilités. Ils seront parmi nous entre le 13 et le 17 juin Merci d'avance !


👁 Focus sur l'IA

Dans le cadre d'un article réalisé par le journal La Croix, sur le sujet “Intelligence artificielle : pourquoi sa vision du monde est-elle si biaisée ?”, Claire Mathieu a été citée. En effet, dans le cadre de sa recherche pour comprendre comment l'IA ChatGTP est entrainée, elle soulève que “ Par défaut, il génère des réponses calibrées comme celles d’un écolier américain, en cinq paragraphes : une introduction, trois idées discutées l’une après l’autre, et une conclusion”.

Pour lire l'article cliquez ici pour sa version numérique ou ici en version PDF.



🎨 Art & IA

Can AI give birth to a piece of Art ? Can IA create something ?

This is the crazy projet of Ouchhh studio, “pioneer of data paintings&sculptures, AI - Machine Intelligence”. Through different ways, using sofwares, treating huge amounts of DATA, using IA and machine learning, Ouchhh participates in the invention of a new genre mixing science and art.

As an example, in 2018, Ouchhh created “POETIC AI” Solo Exhibition at Atelier des Lumières in Paris. 50K pixel, 146 projectors… by using machine learning and AI algorithms, “we create scientific conscious Poetic Refraction of AI reality which learns from millions of lines of theory, articles and books about light, physics, space-time that is written by scientists who change the destiny of the world and write history”.

You can check all their projects on their website.



🗣 Appels d'offres et informations des partenaires

  • Formation Sauveteur Secouriste du Travail (SST) : pour connaître les gestes de premiers secours et être certifié SST, vous pouvez suivre une formation certifiante les mardis 30 et mercredi 31 mai 2023, de 9h à 17h au Site des Grands Moulins.
    Deux options sont possibles : une formation initiale et une formation recyclage (si vous avez suivi une formation initiale depuis moins de 24 mois). Vous avez jusqu'au mardi 27 mai pour vous inscrire. Toutes les informations sont ici.
    Si vous souhaitez y participer, envoyez-nous un mail à lettre@irif.fr.

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


📅 Agenda de la semaine du 08 mai au 12 mai

Formath · Mardi 09 mai, 11:00, 147 (Olympe de Gouges) ·
Louise Dubois De Prisque (LSV, CNRS & ENS Paris-Saclay), Compositional pre-processing for Coq’s tactics

One world numeration seminar · Mardi 09 mai, 14:00, Online ·
Craig S. Kaplan (University of Waterloo), An aperiodic monotile

Vérification · Mardi 09 mai, 14:00, Olympe de Gouges 146 and Zoom link ·
Stéphane Gaubert (INRIA and CMAP, Ecole polytechnique, IP Paris, CNRS), Universal Complexity Bounds Based on Value Iteration for Stochastic Games and Entropy Games

Algorithmique distribuée et graphes · Mardi 09 mai, 15:00, 147, Salles Olympe de Gouge ·
Sebastiano Vigna, Monotonicity on undirected networks.

Analyse et conception de systèmes · Mercredi 10 mai, 14:00, Room 147, batiment Olympe de Gouge ·
Jean Krivine (Mangrove Exchange), Developing a decentralised exchange protocol for the EVM

Combinatoire énumérative et analytique · Jeudi 11 mai, 14:00, 146, Olympes de Gouge ·
Tia Ruza (Waterloo (Canada)), Multivariate Limit Theorems and Asymptotics via Analytic Combinatorics in Several Variables

Séminaire des membres non-permanents · Jeudi 11 mai, 16:00, Olympe de Gouges 146 and Zoom link ·
Alexandra Rogova, Graph databases : how we got here, what they are and how to query them

Automates · Vendredi 12 mai, 14:00, Room 3052 ·
Maxime Buron, TBA