Dans la lettre cette semaine, l’assemblée générale de l’IRIF du 18 janvier et son ordre du jour, quelques rappels sur la procédure pour les commandes et les missions, et un point sur la situation Covid au labo.

Côté actualités scientifiques, deux papiers co-écrits par des membres de l’IRIF seront présentés à STACS 2022 et trois papiers à POPL 2022. Si vous souhaitez participer à la conférence POPL en ligne, le laboratoire peut prendre en charge les frais.

Focus cette semaine sur le 1er congrès Femmes en Sciences qui se tiendra les 18, 19 et 20 février 2022 au Centre des Congrès de la Villette à Paris.

Et enfin, l'agenda de la semaine du 17 au 21 janvier 2022.

Bonne lecture !

• Assemblée générale : Etant donnée la situation sanitaire, et la préoccupation autre d’une partie de nos collègues, la traditionnelle AG a été transformée en conseil de laboratoire étendu. Venez nombreux.
  • 18 janvier en visio 13h: https://u-paris.zoom.us/j/88169578861?pwd=c1pBSjBiNUVrdUE3ckRMQ1A2cGtQQT09
  • Point RH et financier
    • Arrivées - Départs - Prochains recrutements - Repyramidage
    • Dépenses 2021 - Ressources 2022
    • Utilisation de la subvention, projets IRIF
  • Actualités
    • Quelques faits marquants 2021
    • A venir : Evaluation HCERES - Changement direction
  • Actions du laboratoire
    • Stages de collège
    • Débat théâtral
    • Mentorat

• Commandes/missions : Pour la programmation de vos missions, merci de respecter la chronologie indiquée sur la page https://www.irif.fr/intranet/missions, en particulier merci d'attendre le retour du secrétariat avant de réserver vos billets de transport et votre hébergement.

• Situation COVID à l'IRIF : 6 nouveaux cas recensés sur la semaine - aucune contamination recensée au labo. Il convient donc de
  • Maintenir les précautions et en même temps conserver le présentiel utile à la recherche
  • Poursuivre la remontée des cas COVID à direction@irif.fr et direction-ufr@informatique.univ-paris-diderot.fr pour adapter les mesures si nécessaire afin de maintenir la sécurité de chacun

• POPL 2022 Online January 16-22 : If you wish to attend virtually this conference, IRIF will cover your registration fees.
  • POPL registration page, IRIF refund page
  • We remind you that 3 papers coauthored by IRIF members will be presented
    • Giuseppe Castagna (IRIF), Mickaël Laurent (Université de Paris), Kim Nguyen (Université Paris Saclay) and Matthew Lutze (Université de Paris) will present their paper On Type-Cases, Union Elimination, and Occurrence Typing. The paper shows a nifty way to use classic deduction rules to define a formal framework in which dynamic languages such as JavaScript can statically and precisely typed. Check the proof-of-concept implementation available at https://typecaseunion.github.io/.
    • Delia Kesner (IRIF) will present her paper A Fine-Grained Computational Interpretation of Girard’s Intuitionistic Proof-Nets. The paper introduces a functional term calculus that captures the essence of the operational semantics of Intuitionistic Linear Logic Proof-Nets with a faithful degree of granularity, both statically and dynamically.
    • Paul-André Melliès (IRIF), Arthur Vale, Zhong Shao, Jérémie Koenig (Yale) and Léo Stefanesco (MPI) will present a layered concurrent object-based game semantics for the purpose of compositional software specification and certification : https://hal.inria.fr/hal-03456034.

• Accepted papers / STACS 2022 : Two papers coauthored by IRIF members will be presented at the 39th International Symposium on Theoretical Aspects of Computer Science (STACS 2022) held in Marseille, March 15-18 2022.
  • Sander Gribling and Harold Nieuwboer. Improved quantum lower and upper bounds for matrix scaling
  • Pierre Bergé, Guillaume Ducoffe and Michel Habib. Subquadratic-time algorithm for the diameter and all eccentricities on median graphs

• Conférence 75 ans d’informatique du LIP6 : Lundi 17 janvier 2022, à 18h, en salle 105, Tour 25-26 Sorbonne Université - Faculté des Sciences, aura lieu la conférence "Intelligence Artificielle et Architecture Electroniques : un destin commun" par Bertrand Granado, Professeur à Sorbonne Université.

Le premier congrès Femmes En Sciences aura lieu les 18, 19 et 20 février 2022 au Centre des Congrès de la Villette, dans le 19e arrondissement de Paris.

Pendant 3 jours, ce congrès proposera des conférences, des tables rondes, des ateliers de science participative, des expositions, des stands variés, des temps d’échange ainsi que des projections de documentaires et autres.

Au travers de ces ateliers, les visiteurs·euses pourront découvrir de nombreuses femmes scientifiques, leurs contributions, leur parcours ainsi que leur importance dans l’ensemble des domaines scientifiques. Il sera également possible d'échanger avec elles sur leur quotidien, sur leur métier, leurs études et sur le monde scientifique dans sa globalité.

Les tables rondes :Programme des tables rondes ici.

• Préjugés et stéréotypes : démarrent-ils à l’école ?
• Métiers du numérique : ces femmes exception
• Plafond de verre : une réalité dans les carrières scientifiques
• Femmes & Sciences, les actions
• Égalité femmes-hommes, pourquoi faut-il autant de temps ?

Les conférences : Chercheuses, ingénieures ou doctorantes présenteront leur domaine, leur métier ou encore leurs études dans les domaines ci-dessous. Programme des conférences ici.

• Mathématiques
• Informatique
• Biochimie
• Sciences de la Terre
• Biologie
• Physique
• Astronomie

Les ateliers de science participative : Pour que les plus jeunes puissent participer activement durant ce Congrès Femmes En Sciences 2022, des ateliers de science participatives seront mis en place. Ces stands leur permettront de mettre le premier pied dans un univers scientifique rempli de dizaines de domaines variés. Cliquez ici pour en savoir plus sur les ateliers de science participative.

• Data Intelligence Institute of Paris / Distinguished Lecture : The next diiP distinguished lecture, Finding Approximately Repeated Patterns in Time Series: The most Useful, and yet most Underutilized Primitive in Time Series Analytics, will be presented on Zoom on February 2nd, 4pm (Central European Time) by Prof. Eamonn Keogh (University of California Riverside). Eamonn Keogh is a distinguished professor and Ross Family Chair in the Department of Computer Science and Engineering. He specializes in time series data mining, finding patterns, regularities, and outliers in massive datasets. He developed some of the most commonly used definitions, algorithms and data representations used in this area.

• [Rappel] FSMP / Stages DIM Maths Innov : La FSMP est liée contractuellement avec la Région pour déposer des offres de stages sur leur plateforme (100 000 stages pour la Région Île-de-France) et veiller à ce que ces offres soient pourvues. La FSMP propose donc de financer des stages de M2 dans les laboratoires ou des stages purement administratifs, selon les besoins. Le stage doit être d'une durée minimale de 2 mois, il doit se faire dans un laboratoire francilien et s'adresse aux personnes dont l'établissement/l'organisme de formation et le lieu de résidence sont en Île-de-France. Pour soumettre une demande de dépôt de stage, remplir ce formulaire.

• Newsletter des partenaires : Les lettres arrivent sporadiquement aux membres de l'IRIF. Elles sont donc listées ci-dessous.
  • L'actualité étudiante du 14/01/2022
  • CNRS interne du 13/01/2022 avec à lire, un grand prix scientifique destiné à des recherches portant sur le monde quantique