Lettre de l'IRIF du 12 mai 2023

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


♻ IRIF & Environnement 🌱


📰 Actualités


👁 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

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