Edito

Cette semaine, dans la lettre de l'IRIF, le nouveau règlement intérieur est consultable, les demandes de financement en interne sont simplifiées, le compte rendu du conseil de laboratoire est disponible et un point est fait sur l'avancée des travaux.

L'I&E vous rappelle comment recycler vos cartouches d'encre et documents, vous indique des séminaires sur la recherche et l'environnement, et vous propose sa dernière BD.

Côté actualité, deux journées dédiées à François Métayer à l'occasion de son départ à la retraite.

Le focus porte cette semaine sur les limites des grilles infinies.

Pour finir, la Fondation des Sciences Mathématiques de Paris organise une conférence sur le lien eau-mathématiques et Circle U. recrute deux nouvelles chaires.

Bonne lecture !

📢 Annonces de la direction

  • Projets IRIF : Nous vous rappelons le programme de projets internes à l'IRIF qui vise à simplifier les demandes de financement pour les projets de chercheurs n'ayant pas accès à un contrat. Les demandes se font via un simple formulaire suivant et sont validées en Conseil de direction.
    Pour une durée de 1 an (exceptionnellement jusqu'à 2 ans), ce projet interne a pour but de faciliter les échanges, visites et invitations, dans une démarche de simplification qui permet de ne faire qu'une seule demande pour toute la période. L'appel à projet est ouvert autant pour les projets individuels que pour les groupes de travail ou pour l'organisation de séminaires par exemple. Le budget prévu est de 5 000 à 10 000 euros sur toute la durée du projet. Voir la page Appel à projets IRIF
  • Conseil de laboratoire : le compte rendu du conseil de laboratoire du 9 mai est disponible ici (rédigé par Pierre Charbit). L'ordre du jour était le suivant :
    • Adoption du règlement intérieur
    • Discussion sur l'intégration dans le laboratoire des candidats auditionnés sur les postes d'enseignants chercheurs
  • Déclaration de revenus : Vous avez jusqu'au jeudi 8 juin 2023 pour déclarer en ligne vos impôts sur vos revenus perçus en 2022. Si vous envoyez le document par la poste, vous avez jusqu'au 22 mai 2023, le cachet de la Poste faisant foi.
  • Bibliothèque MIR : Du 20 avril au 12 septembre inclus, la bibliothèque MIR Sophie Germain est fermée. L’équipe de la bibliothèque est relogée dans un bureau de la bibliothèque des grands moulins (BGM). Une salle de lecture sera à votre disposition du lundi au vendredi de 9h-20h et le samedi de 11h-19h. Plus de renseignements disponibles sur le site de l'Université Paris Cité.
  • 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 75205
      2. Other rooms : rooms 146, 147, 163, 164, 165, and 166 see https://reservation.irif.fr
  • Informations sur l'avancée travaux : Le chantier avance à un bon rythme. Les nuisances sonores vont s’intensifier sur les semaines à venir (15 et 22 mai) du fait de l’augmentation du nombre de façades concernées (plusieurs chantiers concomitants). En plus des façades donnant sur les rues Watt et Lepaute qui se poursuivent, les travaux vont donc commencer au niveau des façades donnant sur le jardin et sur le parvis. Les déplacements de mobiliers des locaux vont commencer dès la semaine prochaine. Dans les étages supérieurs (à partir du R+3), nous vous invitons à emprunter en priorité les circulations donnant sur la rue Einstein afin de limiter les risques liés aux croisements de flux.
  • Accomodation at Cité Universitaire : The secretariat is no more able to help the students and postdocs to get an accomodation in Cité Universitaire. The students now have to apply for an accomodation themselves on the CIUP website, the secretariat cannot intervene in the affectation process.


♻ IRIF & Environnement 🌱

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

  • Évènement : mercredi 17 mai, de 14h à 16h au centre d'Alembert de l'Université Paris-Saclay, ou par zoom, vous pouvez assister à une conférence intitulée Réchauffement climatique, alertes environnementales : va-t-on faire de la recherche autrement ? Pour le lien de connexion, écrire à centre.dalembert@universite-paris-saclay.fr.
  • Le saviez-vous ? FR - Vous ne savez pas où jeter vos cartouches d'encre et vous avez des piles de papiers qui s'amoncellent dans votre bureau ? Pour les recycler, il vous suffit de les descendre au secrétariat, à l’accueil, qui se charge de les recycler.
    EN -You don't know where to throw away your ink cartridge and you have a pile of paper in your office? You can bring all of that to the administration office at the entrance of the building, they will take care of it!


📰 Actualités

  • LHC DAYS and event in honor of François Métayer : The GT LHC (Logic, Homotopie et Catégories) of GDR IM will have a meeting on June 6th and 7th. It will be followed by a two days event, on the 8th and 9th of June, dedicated to François Métayer who is retiring. You still can register for this event.
  • 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. Merci d'avance !


👁 Focus on "the Secret Limit of an Infinite Grid"


This is an extract from the article of Kevin Hartnett, on Quanta Magazine, of April 20.

“As an undergraduate at the University of Chile, Bernardo Subercaseaux took a dim view of using computers to do math. It seemed antithetical to real intellectual discovery. “There’s some instinct or gut reaction against using computers to solve your problems, like it goes against the ideal beauty or elegance of a fantastic argument,” he said.
But then in 2020 Subercaseaux fell in love, and as often happens, his priorities changed. The object of his obsession was a question he saw on an online forum. Most problems he scanned and forgot, but this one caught his eye. He swiped right. “The first thing I did was to like the post in the Facebook group, hoping to get a notification later when somebody else posted a solution,” he said. The question was about filling an infinite grid with numbers. It was not, as it turned out, the kind of problem one solves on a lark. In order to do it, Subercaseaux had to leave Chile for graduate school at Carnegie Mellon University.”

Here is the link to read the whole article.


🗣 Appels d'offres et informations des partenaires

  • “A l'eau les maths !” : la Fondation des Sciences Mathématiques de Paris vous invite ce samedi 13 mai à une mini-conférence de 14h à 18h pour explorer le rôle des mathématiques dans la compréhension de diverses problématiques liées à l'eau : gestion de l'eau potable, prévention des tsunamis, modélisation des inondations, etc. Rendez-vous à l'amphithéâtre Hermite de l'Institut Henri Poincaré (11 rue Pierre et Marie Curie 75005 Paris) pour y participer et pour s'inscrire cliquez ici. Le détail du programme est à retrouver ici.
  • Circle U - Nouvelles Chaires académiques : Dans le cadre de la phase d’expansion « Circle U. 2030 », l’alliance européenne Circle U. recrute de nouvelles chaires académiques pour 2 ans, travaillant sur la démocratie, le climat, ou la santé globale, mais aussi l’innovation pédagogique ou le multilinguisme. Vous avez jusqu'au 1er septembre pour présenter votre projet. Pour en savoir plus, cliquez-ici.
  • Enquête du Ministère de l'Enseignement Supérieur : afin de connaître et reconnaître la production logicielle et constituer un catalogue ouvert des logiciels issus de la recherche, le Ministère de l’Enseignement Supérieur organise une enquête et rendra son rapport en septembre 2023. Pour y contribuer, il faudra répondre à 42 questions (compter environ 20 minutes).
  • Journée thématique de l'Université : le Comité “Plateformes & Équipements Scientifiques” organise une Journée thématique le vendredi 02 Juin 2023, de 8h30 à 16h30 dans l’amphithéâtre Vulpian (site Odéon). L'inscription à la Journée est gratuite mais obligatoire via ce formulaire (avant le 22 mai à 18h). Pour plus d'informations, voici le programme.

Aucune newsletter des partenaires cette semaine.


📅 Agenda de la semaine du 15 mai au 19 mai

Vérification · Lundi 15 mai, 11:00, Olympe de Gouges 146 and Zoom link ·
Salim Chehida (Université Grenoble Alpes), A Formal MDE Framework for Inter-DSL Collaboration

Algorithmes et complexité · Mardi 16 mai, 11:00, Room 146 (Olympe de Gouges) ·
Isabella Ziccardi (University of L'Aquila), Distributed Self-Stabilizing MIS with Few States and Weak Communication

Algorithmique distribuée et graphes · Mardi 16 mai, 14:00, 147 Olympe de Gouges ·
Frédéric Meunier (CERMICS), Coloring complements of line graphs.

Séminaire des membres non-permanents · Vendredi 19 mai, 11:00, Olympe de Gouges 146 and Zoom link ·
Herman Goulet-Ouellet (IRIF), TBA

Automates · Vendredi 19 mai, 14:00, Room 3052 ·
Andrea Cali, Non encore annoncé.

Graph Transformation Theory and Applications · Vendredi 19 mai, 15:00, online ·
David Sprunger (Department of Mathematics and Computer Science, Indiana State University, USA), Rewriting for Monoidal Closed Categories