Dans la lettre cette semaine, nous célébrons la journée internationale des femmes et des filles de science à travers des interviews de 3 de nos doctorantes et post-doctorantes.

Quelques annonces administratives : un poste de maître de conférences en mathématiques et informatique fondamentale est à pourvoir, le prochain conseil de labo, la fermeture du service SIMBAD et l'assouplissement des mesures Covid pour la tenue d’évènements festifs et de convivialité. Notez également des informations pratiques sur la réservation de la salle 1007.

Côté actualités scientifiques, l'EPIT 2022 du CIRM, un papier accepté à STACS 2022, la vidéo TEDxTours sur la mécanique de l’informatique quantique et le séminaire MaMuPhi.

Prenez note aussi de l'ouverture de la campagne 2023 des Écoles thématiques du CNRS.

Cette semaine dans le focus, on parle de l’assistant de preuve COQ, lauréat du Prix Science Ouverte du Logiciel Libre de la Recherche, catégorie Science et Technique.

Bonne lecture !

• Prochain conseil de laboratoire Mardi 15 février 13h en visio. Pour obtenir le lien, contacter direction@irif.fr. Ordre du jour provisoire
  • Budget IRIF dont appel à projet IRIF (cf AG)
  • Tension sur les bureaux : propositions pour accueillir les stagiaires, visiteurs et prochains doctorants/post-docs
  • Position du conseil pour le soutien à une initiative ICALP consistant à prolonger des séjours de participants à ICALP par une visite de l'IRIF
  • Utilité d'un ou une représentante des besoins de l'IRIF en terme de services informatiques de la plateforme
  • Lancement d'une plateforme Zulip

• Journée internationale des femmes et des filles de science 2022 : Célébrée chaque année le 11 février, la Journée internationale des femmes et des filles de science a été adoptée par l'Assemblée générale des Nations Unies afin de promouvoir l'accès et la participation pleine et équitable des femmes et des filles à la science. Cette journée permet de rappeler que les femmes et les filles jouent un rôle essentiel dans la communauté scientifique et technologique et que leur participation doit être renforcée. Pour souligner cet évémenement, l'IRIF a proposé à quelques-unes de ses doctorantes et post-doctorantes de répondre à quelques questions. Nous remercions Ada Vienot, Klara Nosan et Vanden-Wyngaerd pour leur participation et nous publions leurs réponses ici.

• Poste à pourvoir : Un poste de Maître·sse de Conférences (références Galaxie no 204) en Mathématiques et informatique fondamentale est à pourvoir à l’UFR de Mathématiques de l’Université de Paris en vue d’une intégration à l’IRIF. La direction de l’IRIF tient à rappeler qu'elle souhaite promouvoir les recrutements extérieurs sur les postes d’enseignants-chercheurs. Par ailleurs, l'IRIF s'associe aux recommandations pour la parité et l'égalité des chances dans les comités de sélection émises par sa commission égalité femmes-hommes. Postuler sur Galaxie au plus tard le 28 février 2022 16h (heure de Paris). Date de prise de fonction : 1er novembre 2022 (si besoin, le laboratoire pourra fournir un CDD du 01/09/2022 au 31/10/2022). Plus de détails sur https://www.irif.fr/postes/universite
  • Contacts UFR de Mathématiques
    • Présentation : https://www.math.univ-paris-diderot.fr/
    • Direction, Arnaud Durand : ufr-direction@math.univ-paris-diderot.fr
  • Contacts laboratoire IRIF
    • Présentation : https://www.irif.fr/informations/presentation
    • Intégration : Responsable de pôle ou d'équipe thématique
    • Direction : Frédéric Magniez et Giuseppe Castagna, direction@irif.fr

• Fermeture du service SIMBAD : le service SIMBAD de préparation des missions CNRS sera fermé du 21 février au 1 mars. A partir du 1 mars, la préparation des missions se fera sur l’Intranet du CNRS (accessible via l'identifiant Janus) à la page suivante : https://intranet.cnrs.fr/cnrs_pratique/partir_mission/avant-mission/pages/Transportethebergement.aspx

• Salles 1007 et 3058 : Vous avez la possibilité de réserver les salles 1007 et 3058 via la procédure de réservation : https://www.irif.fr/intranet/logistique

• Assouplissement mesures COVID : Selon une note de la DGS FDS annonçant un assouplissement des mesures sanitaires à partir du 16 février, les événements festifs et de convivialité (pots de thèses, cocktails, repas festif, soirées, activités des associations étudiantes, etc…) seront à nouveau autorisés dans le respect des protocoles sanitaires spécifiques aux événements festifs et le strict respect des gestes barrières. Le traditionnel IRIF cake pourra donc recommencer ainsi que les petits-déjeuners des séminaires étudiants et les cocktails des soutenance de thèse.

• CIRM / EPIT 2022 : The 2022 EPIT on Machine Learning aims at presenting modern and promising aspects of Machine Learning to interested, but possibly non-specialist young researchers. The 2022 EPIT will be composed of five 6-hours lectures given by international specialists. They present a great variety, from very theoretical aspects to applications and theoretical answer to social expectations. This selection is also meant to build bridges with other topics and communities. Pre-registration / application: https://www.azur-colloque.fr/DR07/inscription/preinscription/277/fr. Warning: only 60 places in total! There will be a selection among applicants. IRIF can cover you expenses.
  • Course 1: Introduction to theory of multi-armed bandits and reinforcement learning, by Shipra Agrawal
  • Course 2: Optimization And (Deep) Learning, by Francis Bach
  • Course 3: Learning And Graph Theory, by Pierre Vandergheynst
  • Course 4: Privacy In Machine Learning, by Rachel Cummings
  • Course 5: Machine Learning In Natural Language Processing, by François Yvon

• Séminaire MaMuPhi : Mirna Džamonja (IRIF - CNRS & Université de Paris) introduira le prochain séminaire MaMuPhi (Mathématiques, Musique et Philosophie) qui se tiendra le 12 février 10h-12h30 / 15h-18h. Le thème de cette séance sera “L’indépendance mathématique et ses limites logiques”. Lien zoom : https://u-pec-fr.zoom.us/j/86448599486.

• STACS 2022 / Accepted paper : Sander Gribling (IRIF) and Harold Nieuwboer (University of Amsterdam) will present their paper Improved quantum lower and upper bounds for matrix scaling in which they show classical second-order methods together with quantum spectral sparsifiers lead to faster quantum algorithms for the matrix scaling problem, in the poly(1/eps)-regime. Moreover, they show that no quantum speedup is possible in the polylog(1/eps)-regime.

• Vidéo TEDxTours : Retrouvez en vidéo la présentation de Frédéric Magniez au TEDxTours. Il nous emmène dans un voyage pour comprendre la mécanique de l’informatique quantique, l’impact que cette technologie sur le fonctionnement de notre société et mesurer les enjeux de la suprématie quantique sur le futur du monde.

The software COQ developed by teams at INRIA and IRIF was rewarded by the Open Science Award for Open Source Research Software 2022, category Scientific and Technical quality.

COQ is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs. Typical applications include the certification of properties of programming languages, the formalization of mathematics and teaching.

Coq implements a program specification and mathematical higher-level language called Gallina that is based on an expressive formal language called the Calculus of Inductive Constructions that itself combines both a higher-order logic and a richly-typed functional programming language. Through a vernacular language of commands, Coq allows:

• to define functions or predicates, that can be evaluated efficiently;
• to state mathematical theorems and software specifications;
• to interactively develop formal proofs of these theorems;
• to machine-check these proofs by a relatively small certification “kernel”;
• to extract certified programs to languages like OCaml, Haskell or Scheme.

Coq is the result of more than 30 years of research. It started in 1984 from an implementation of the Calculus of Constructions at INRIA-Rocquencourt by Thierry Coquand and Gérard Huet. In 1991, Christine Paulin extended it to the Calculus of Inductive Constructions. All in all, more than 200 people have contributed to the development of Coq.

• CNRS / Écoles thématiques 2023 : La campagne 2023 des écoles thématiques, dispositifs de formation destinés à développer l’interdisciplinarité autour de sujets et technologies en émergence, est ouverte. Date limite d'envoi des déclarations d’intention : 18 mars. En savoir plus.

• Sorbonne Nouvelle / Projection : Projection du documentaire « Briser le silence des amphis » le vendredi 11 février à 18h à l’Amphi B – Campus Censier, Sorbonne Nouvelle. Projection suivie d'un débat avec la salle. Dans ce documentaire, des étudiantes, des doctorantes ou encore des membres du personnel témoignent des violences sexistes et sexuelles qu’elles ont subies au sein de l'université devant la caméra de la réalisatrice Lysa Heurtier Manzanares.

• Data Intelligence Institute of Paris / Next seminar : The next diiP seminar, Statistical Machine Learning: Overview and Applications will be presented on Zoom on February 16, 4pm (Central Eastern Time) by Dr Foula Vagena (Université de Paris, diiP). She has worked on different analytics problems including forecasting, image processing, graph analytics, multidimensional data analysis, text processing, recommendation systems, sequential data analysis and optimization within various fields such as transportation, healthcare, retail, finance/insurance and accounting.

• Newsletter des partenaires : Les lettres arrivent sporadiquement aux membres de l'IRIF. Elles sont donc listées ci-dessous.
  • Fil Info Recherche du 09/02/2022
  • CNRS interne du 10/02/2022 avec l'annonce d'Antoine Petit reconduit à la tête du CNRS pour un second mandat