==== Lettre de l'IRIF du 11 février 2022 ====

=== Edito ===   

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 !

=== Annonces de la direction ===    

  * **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 [[https://www.irif.fr/egalite-fh/jfs22|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 [[https://www.irif.fr/egalite-fh/portraits-ada-vienot|Ada Vienot]], [[https://www.irif.fr/egalite-fh/portraits-klara-nosan|Klara Nosan]] et [[https://www.irif.fr/egalite-fh/portraits-anna-vanden-wyngaerd|Vanden-Wyngaerd]] pour leur participation et nous [[https://www.irif.fr/egalite-fh/jfs22|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 [[https://www.irif.fr/egalite-fh/index|commission égalité femmes-hommes]]. [[https://galaxie.enseignementsup-recherche.gouv.fr/antares/can/astree/index.jsp|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 {{ :intranet:lettre-irif:2022-02-11:note_dgs-fsd_2022-02-03_assouplissement_des_restrictions_sanitaires_covid_16fe_vrier2022_signe_e.pdf |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. 

\\ 

=== Actualités ===  

  * **CIRM / EPIT 2022** : The [[https://conferences.cirm-math.fr/2542.html|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]]. <color #D9230F> **Warning: only 60 places in total! There will be a selection among applicants.** </color> 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** : [[https://www.logiqueconsult.eu/|Mirna Džamonja]] (IRIF - CNRS & Université de Paris) introduira le prochain [[http://www.entretemps.asso.fr/2021-2022/|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** : [[https://www.irif.fr/~gribling/|Sander Gribling]] (IRIF) and Harold Nieuwboer (University of Amsterdam) will present their paper [[https://arxiv.org/abs/2109.15282|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 [[https://www.youtube.com/watch?v=RyM5V0azRhA|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.
\\

=== Focus on COQ, awarded by the Open Science Award for Open Source Research Software === 

{{:intranet:lettre-irif:2022-02-11:coq.png?200 |}}

The [[https://coq.inria.fr|software COQ]] developed by teams at INRIA and IRIF was rewarded by the [[https://www.ouvrirlascience.fr/open-science-free-software-award-ceremony/|Open Science Award for Open Source Research Software 2022]], **category Scientific and Technical quality**. 

[[https://coq.inria.fr|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.

[[https://coq.inria.fr/coq-team.html|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. 
 

\\

=== Appels d'offres et informations des partenaires ===                 
 
  * **CNRS / Écoles thématiques 2023** : La [[https://intranet.cnrs.fr/Cnrs_pratique/recruter/Pages/Écoles-thématiques-2023.aspx|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.** [[https://intranet.cnrs.fr/Cnrs_pratique/recruter/carriere/formation/Pages/Ecoles-Thematiques.aspx|En savoir plus]].

  * **Sorbonne Nouvelle / Projection** :  Projection du [[http://www.univ-paris3.fr/saison-culturelle-703804.kjsp?RH=1179926172259|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 [[https://u-paris.zoom.us/j/87985617838?pwd=QW9DMHdxdVFJL3lQdHZTQWlXeS9PZz09|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.
    * [[https://u-paris.fr/?mailpoet_router&endpoint=track&action=click&data=WyI1MzciLCIxMnNwaWs2c3dhZXM4Y2t3b2MwbzBzZ29rbzAwZ3NvZyIsIjM0MiIsImMyNjMyMDU5NTQ4ZSIsZmFsc2Vd|Fil Info Recherche]] du 09/02/2022
    * [[https://intranet.cnrs.fr/delegations/dr1/Pages/Lettreinterne.aspx?IdLettre=9|CNRS interne]] du 10/02/2022 avec l'annonce d'Antoine Petit reconduit à la tête du CNRS pour un second mandat
  


\\ 

=== Agenda de la semaine du 14 février au 18 février === 

<panel>

[[:seminaires:adg:|Algorithmique distribuée et graphes]] · Mardi 15 février, 14:00, Room 1007 · \\ **Pierluigi Crescenzi** (GSSI, L'Aquila, Italy), //Planning with Biological Neurons and Synapses//

[[:seminaires:numeration:|One world numeration seminar]] · Mardi 15 février, 14:30, Online · \\ **Wolfgang Steiner** (IRIF), //Unique double base expansions//

[[:seminaires:pps:|Preuves, programmes et systèmes]] · Jeudi 17 février, 10:30, TBA · \\ **Xavier Denis** (LMF, Paris-Saclay), //Creusot: A prophetic verifier for Rust//

[[:seminaires:doctorants:|Séminaire des doctorants]] · Jeudi 17 février, 11:00, Room 3052 · \\ **Klara Nosan**, //On matrix groups, the Zariski topology and what they both have to do with automata and verification//

[[:seminaires:automates:|Automates]] · Vendredi 18 février, 14:30, Room 3052 · \\ **Klara Nosan**, //On computing the algebraic closure of matrix groups//

</panel>