Edito

Dans la lettre cette semaine, on fait le point sur l'AG IRIF extraordinaire, la procédure à suivre pour les visiteurs et la date limite pour les achats. Nous vous rappelons que l'annonce de soutenances de thèses ou HDR doivent être ajoutées en ligne. 2 appels : appel à volontaires pour des formations secourisme et sécurité incendies et un appel à tuteurs pour le master GENIAL. Prenez note d'une information importante sur les travaux du bâtiment qui débuteront dès janvier 2023.

Côté actualités scientifiques, le Workshop DaLFI et l'appel à propositions CONFEST 2023.

Chez nos partenaires, la Maison de la Simulation recrute son ou sa directeur/directrice et Université Paris Cité lance un appel à contribution pour le festival Pint of Science 2023.

Le focus cette semaine s'intéresse à la Synthèse nationale des Mathématiques, document sur lequel a travaillé Valérie Berthé (IRIF) en tant que membre du comité Hcéres.

Bonne lecture !

Annonces de la direction

  • AG IRIF extraordinaire Mardi 22 novembre, 12h30-14h30
    • Salle des thèses (Halle - 580 F, capacité 90) avec la participation de l'INS2I.
    • Ordre du jour : Les chaires professeurs juniors du CNRS
    • Déroulé prévu, interventions, questions envoyées à l'INS2I : Consulter le Document partagé
    • Pour des suggestions d'ajout ou de modification : Ecrire à direction@irif.fr
  • Travaux du bâtiment dès janvier 2023 : Aujourd'hui, les directions de l'IRIF et de l'UFR ont été mis au courant du planing des travaux du bâtiment. Des réunions d'informations et de préparation auront lieu durant les prochains mois. Ces travaux de mise en conformité des façades et des salles de réunion fermées vont débuter dès janvier 2023 selon les phases prévisionnelles et contraintes suivantes :
    • Janvier - Février 2023 : Préparation extérieure
    • Avril 2023 - Janvier 2024 : Neutralisation échelonnée de certains bureaux
    • Mi-avril / mi-septembre 2023 : Travaux bruyants
    • Octobre 2023 - Janvier 2024 : Restitution échelonnée des bureaux privatisés
  • Procedure for visitors : It is the responsibility of each host to
    • Declare their visitors as soon as possible and at least two weeks in advance at https://mission.irif.fr, whether their visit is funded or not by IRIF. See Missions and invitations for details.
    • Make their visitors aware of the IRIF Members Charter.
  • PhD or HDR defences : We remind you that each PhD and Habilitation defence must be added on the dedicated webpage by clicking on “Manage defences”.
  • Recherche de tuteurs pour master GENIAL : Les reponsables GENIAL, Hugo Férée & Peter Habermehl sont à la recherche de tuteurs pour les étudiants en alternance dans le master GENIAL. Plus de détails dans ce mail.
  • Appel à volontaires : Pour des formations secourisme et sécurité incendies, qui sont nécessaires pour assurer la sécurité de tous et toutes à l'IRIF.
  • Deadline for purchases of all kind on November 25th. After this date, the purchases will be made on 2023 credits, and will have a lower prioprity. The deadline for travel expense reimbursements is on December,9th.
  • [Rappel] Stage d'observation de 3ème : Du 12 au 16 décembre 2022, l'IRIF aura le plaisir d'accueillir entre 6 et 10 élèves de 3ème dans le cadre de leur stage d’observation. Nous leur proposons durant toute cette semaine un programme diversifié qui leur permettra de mieux appréhender le monde de la recherche en informatique théorique. Nous avons besoin de votre participation pour animer et encadrer les activités proposées. Pour participer, écrivez à scolaire@irif.fr en précisant vos disponibilités.


Actualités

  • CONFEST 2023 : The submission deadline for the call for workshop proposals for CONFEST 2023 is February 2, 2023.
  • [Rappel] Femmes & Sciences / « Femmes et numérique : Ensemble, cassons les codes » : Colloque annuel de l'association Femmes & Sciences le 18 novembre 2022 sur le thème « Femmes et numérique : Ensemble, cassons les codes », à l'espace de conférences, Centre INRIA à RENNES. Quelles sont les causes de ce déséquilibre femmes-hommes ? Comment faire pour qu’il se résorbe au plus vite ? C’est à ces interrogations que le colloque 2022 de l’association Femmes & Sciences cherchera à répondre. Inscription gratuite mais obligatoire.


Focus sur la Synthèse nationale des Mathématiques

Mercredi 9 novembre a eu lieu la conférence de presse et la publication officielle de la Synthèse nationale et de prospective sur les Mathématiques.

L’objectif de cette synthèse en 3 volumes est triple : dresser un panorama de la discipline en soulignant ses forces et ses faiblesses ; identifier les interactions et coopérations scientifiques ; et formuler, à partir de ces analyses, des recommandations.

Pour réaliser ce travail, le comité, composés de 16 experts et expertes dont fait partie Valérie Berthé (IRIF), a utilisé les rapports d’évaluations des laboratoires de mathématiques français réalisées par le Hcéres depuis 2011. Il s’est également appuyé sur plusieurs analyses et rapports émanant du ministère de l’enseignement supérieur et de la recherche, d’établissements publics scientifiques ou encore des sociétés savantes. Il a aussi été accompagné par l’Observatoire des Sciences et Techniques. Il a enfin rencontré plusieurs acteurs des mondes politiques, académiques et économiques et a mené plus de 200 interviews de personnalités scientifiques.

Le premier volume est le cœur de la synthèse. Il est étayé de nombreux indicateurs chiffrés, dont certains inédits issus des extractions que nous avons effectuées. Ce volume se veut chirurgical et sans complaisance, et a été rédigé en toute indépendance, y compris vis-à-vis du Hcéres. Il contient un diagnostic argumenté et une liste de 21 recommandations.

Le second volume est une étude scientifique de la discipline, analyse sur laquelle s’appuie la synthèse. Il s’agit d’un travail de fond sur 14 domaines des mathématiques et de leurs interactions, travail qui met en valeur l’influence mondiale de l’école française.

Enfin le troisième volume, rédigé par l’Observatoire des sciences et techniques, est une étude bibliométrique des mathématiques, en France et dans le monde.

A lire, l'article Mathématiques : pour éviter le "déclassement" de la France, le HCERES préconise un "programme à horizon 2030" paru sur AEF info.


Appels d'offres et informations des partenaires

  • INS2I / Recrutement : La Maison de la Simulation, une Unité d’Appui et de Recherche (UAR), rattachée au CNRS, au CEA et aux universités Paris-Saclay et Versailles-Saint-Quentin, recrute un directeur/directrice de la Maison. La date limite de dépôt des candidatures est fixée au 15 décembre 2022, avec une prise de fonction début avril 2023.
  • Université Paris Cité / Appel à contribution Pint of Science 2023 : The Labex Who Am I?, the EUR G.E.N.E, and the Faculté des Sciences of Université de Paris join forces to organize events during the next edition of the Pint of Science 2023 festival (May 22 to 24, 2023). They are looking for people wishing to be involved in the following activities. If you are interested or have questions, contact Valérie Drouet (valerie.drouet@u-paris.fr) before December 4, 2022.
    • to give a talk (short presentations on your research topics for the general public, in French or English),
    • to participate in the organization and animation of the events (integrate the organization team and ensure the smooth running of the evenings).

The following topics can be addressed : Beautiful Mind (neuroscience, psychology, and psychiatry) ; Atoms to Galaxies (physics, chemistry, maths, astronomy) ; Our body (medicine, human biology, health) ; Planet Earth (geosciences, plant sciences, zoology) ; Tech Me Out (biotechnology, robotics, computers) ; Our Society (law, history, politics, policy, languages).

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

Agenda de la semaine du 14 novembre au 18 novembre

Vérification · Lundi 14 novembre, 11:00, 1007 and Zoom link ·
Philip Offtermatt (Université de Shrebrooke), The Complexity of Soundness in Workflow Nets

Sémantique · Lundi 14 novembre, 14:00, Room 3052 ·
Floris Van Doorn (Université de Paris Saclay), Formalizing sphere eversion in Lean

Algorithmes et complexité · Mardi 15 novembre, 11:00, Room 3052 ·
Arnaud De Mesmay (LIGM), Fitting Metrics and Ultrametrics with Minimum Disagreements

One world numeration seminar · Mardi 15 novembre, 14:00, Online ·
Seul Bee Lee (Scuola Normale Superiore di Pisa), Regularity properties of Brjuno functions associated with by-excess, odd and even continued fractions

Théorie des types et réalisabilité · Mercredi 16 novembre, 14:00, Room 1007 ·
Hugo Férée Et Sam Van Gool, Une formalisation de l'interpolation de Pitts en Coq

Algorithmes et complexité · Mercredi 16 novembre, 14:00, Room 3052 ·
Daniel Vaz (DIENS/IRIF), Good and Efficient Approximation for the Sparsest Cut Problem in Bounded-Treewidth Graphs

Combinatoire énumérative et analytique · Jeudi 17 novembre, 14:00, Room 3052 et zoom ·
Grant Barkley (Harvard University), Extending the weak Bruhat order

Séminaire des doctorants · Jeudi 17 novembre, 16:00, 3052 ·
Sander Gribling, TBA

Soutenances de thèses · Vendredi 18 novembre, 13:30, Room 0011 du bâtiment Sophie Germain & Zoom ·
Loïc Peyrot (IRIF), From Proof Terms to Programs. An operational and quantitative study of intuistionistic Curry-Howard calculi

Automates · Vendredi 18 novembre, 14:00, Room 3052 ·
Anantha Padmanabha, Databases and Predicate Modal Logics: A tale of two cities

Graph Transformation Theory and Applications · Vendredi 18 novembre, 15:00, online ·
Arend Rensink (Department of Computer Science, University of Twente, Netherlands), GROOVE: A tutorial overview