Edito

Dans la lettre cette semaine, la matinée des doctorant·e·s, l’accès à Sophie Germain, les mises à jour des consignes sanitaires, le prochain conseil de labo et le concours chercheurs et chercheuses du CNRS.

Côté actualités scientifiques, le lancement du projet HPCQS “High-Performance Computer and Quantum Simulator hybrid”, la visite de Serge Massar et la suite des conférences autour des 75 ans d’informatique.

Pour faire suite à la formation parentalité qui s'est tenue les 29 et 30 novembre, retour sur quelques faits marquants.

Et enfin, l’agenda de la semaine du 06 au 10 décembre.

Bonne lecture !

Annonces de la direction

  • Matinée doctorant·e·s à l'IRIF : Tuesday 7th of December, from 10h30 to 12h30, in room 2022 at Sophie Germain, “les correspondant·e·s doctorant·e·s” organizes a morning seminar for PhD students, ATER and postdocs of the laboratory. The morning will be organized in two parts:
    • From 10h30 to 11h30, first part for all PhD students, ATER and young postdocs: Meeting with Amina Hariti, correspondent of ED (doctoral school) that will talk about the ED and end-of-thesis administrative procedures, and a talk of Amélie Gheerbrant on CNRS recruiting.
    • From 11h30 to 12h30, second part mostly for first and second year PhD students: presentation of PhD correspondents, of the thesis proceedings and the laboratory's environment (GDR and GT, FSMP…)
  • Conseil de laboratoire : Le prochain conseil de laboratoire se tiendra le 14 décembre. A l'ordre du jour, l'approbation des candidats soutenus par le laboratoire pour le concours chercheurs et chercheuses CNRS 2022.
  • Accès bâtiment Sophie Germain / vacances de Noël : L'Université de Paris sera fermée du vendredi 24 décembre 2021 au soir au lundi 03 janvier 2022 au matin. Les agents souhaitant accéder au bâtiment Sophie Germain durant cette période sont priés de compléter le tableau figurant dans ce mail et de le retourner à mahdaoui@irif.fr au plus tard le mercredi 08 décembre 2021. Sans retour de votre part, l’accès ne pourra pas vous être donné durant la période de fermeture de l'Université.
  • COVID updates and reminders : IRIF COVID-19 Guidelines are regularly updated on the intranet : https://www.irif.fr/intranet/prpa.
    • Strictly follow the protocol : Wear an approved mask at all time (available in 4001), ventilate the rooms regularly (CO2 sensors installed and available for meetings).
    • Importance of vaccination in protecting ourselves and others : For unvaccinated staff, please perform two tests per week (self-tests available in 3003).
    • Teleworking : No new restrictions or recommendations. Social events are also maintained, but for the most part with the obligation to hold a valid health pass.
    • “Risky” contact case : The procedure to follow is described in French here : https://mesconseilscovid.sante.gouv.fr/.
  • Nouvelles chaises : 9 chaises de bureau sont disponibles au secrétariat. Si vous souhaitez récupérer une nouvelle chaise, merci de venir la chercher et d'apporter votre ancienne chaise.


Actualités

  • Conférence 75 ans d’informatique du LIP6 : Jeudi 9 décembre, à 18 heures, à Sorbonne Université (Campus Pierre et Marie Curie), en tour 25.26, premier étage, salle 105 aura lieu la conférence « L’informatique dans le septième art : fiction ou réalité ? » par Fabrice Kordon, Professeur à Sorbonne Université. L’adresse du campus : 4 Place Jussieu, 75005 Paris. Cette conférence est ouverte à tous, sans réservation et avec pass sanitaire. Notez dès à présent la prochaine conférence le 6 janvier à 18h00 avec Frédéric Grosshans.

« L’objectif de cette conférence est de regarder l'informatique au travers du prisme de quelques films de science fiction qui ont marqué leur temp. Nous avons sélectionné quelques films :“ 2001 l'odyssée de l'espace” (1968), “Alien” (1979) et “I, robot” (2004). Ce sera le prétexte pour aborder différents points comme l'interaction homme machine, les éléments qui constituent les ordinateurs, le démarrage d'un ordinateur ou les architecture éminemment réparties des systèmes informatiques actuels »

  • Workshop CIRM : Mirna Džamonja et Sylvain Schmitz (IRIF) font partie du comité d’organisation du Workshop Discrete mathematics and logic : between mathematics and the computer science qui se tiendra au Centre International de Rencontres Mathématiques (CIRM) de Marseille du 16 au 20 janvier 2023 : https://conferences.cirm-math.fr/2023-calendar.html.
  • HPCQS project : IRIF is excited to be part of the HPCQS project aiming at creating a world-class supercomputing ecosystem. With this new project “High-Performance Computer and Quantum Simulator hybrid” (HPCQS), Europe enters into the new era of hybrid quantum-high-performance computing. HPCQS sets out to integrate two quantum simulators, each controlling about 100+ qubits in supercomputers located at two European HPC centers. To learn more about the project: https://www.hpcqs.eu.


Focus sur l'égalité femmes/hommes et la parentalité

A l’occasion de la formation parentalité qui s’est tenue les 29 et 30 novembre à l’IRIF (formation proposée à l’initiative de la commission Égalité Femmes/Hommes), revenons sur quelques faits marquants partagés lors de cette formation.

Parentalité et égalité professionnelle entre les femmes et les hommes
L’Égalité professionnelle désigne l’égalité de traitement entre les femmes et les hommes en termes d’accès à l’emploi, à la formation, à la mobilité et à la promotion ou en termes d’égalité salariale.

Quelques statistiques provenant du plan d'égalité professionnelle de l'Université de Paris :

  • Enseignant·es et chercheur·es titulaires
    • MCF : 47 % de femmes
    • PU : 31 % de femmes
    • Âge médian : 49 ans pour les deux genres
  • Arrêt de travail
    • Enseignant·es et chercheur·es : 87 femmes (27 congés maternité) / 33 hommes
  • Temps partiel
    • Enseignant·es et chercheur·es : autant de femmes que d'hommes

Statistiques de parité à l'IRIF en date de janvier 2021 :

  • MC : 8 femmes, 25 hommes (24% femmes, 76% hommes)
  • CR : 2 femmes, 14 hommes (12,5% femmes, 87,5% hommes)
  • PR : 4 femmes, 17 hommes (19% femmes, 81% hommes)
  • DR : 2 femmes, 14 hommes (12,5% femmes, 87,5% hommes)
  • Emérites : 2 femmes, 8 hommes (20% femmes, 80 hommes)
  • ITA BAP J : 4 femmes, 1 homme (80% femmes, 20% hommes)
  • ITA BAP E : 3 hommes (100% hommes)
  • Postdocts/ATER : 4 femmes, 14 hommes (22% femmes, 78% hommes)
  • Doctorant(e)s : 9 femmes, 39 hommes (19% femmes, 81% hommes)
  • Responsables de pôles : 0 femme, 3 hommes
  • Responsables d'équipes : 5 femmes, 4 hommes


L’impact de la parentalité et de la crise sanitaire sur la production scientifique des femmes
La crise sanitaire et le confinement ont mis en avant des problématiques de genre, les femmes étant souvent en première ligne face au coronavirus et en charge de nombreuses responsabilités familiales et tâches domestiques. Ces questions ont été soulevées au niveau de la société dans son ensemble. Qu’en est-il dans le monde de la recherche ?
Lire l’interview de CNRS Info avec Elisabeth Kohler, directrice de la Mission pour la place des femmes au CNRS.
Sur le même sujet, « Confinement : l’inégale répartition des tâches domestiques nuit au travail des chercheuses » paru dans Le Monde.


Appels d'offres et informations des partenaires

  • Université de Paris / Annonces :
    • Projet ExcellencES : : Le Ministère de l'Enseignement Supérieur, de la Recherche et de l'Innovation, et le Secrétariat Général pour l'Investissement ont annoncé ce jour les lauréats de l’appel à projet ExcellencES dont Université de Paris fait partie aux côtés de 14 autres universités françaises. Lire le communiqué de la Présidente d'Université de Paris, Christine Clerici.
    • [Rappel] Théâtre-forum « Silences complices ? » : Le spectacle se tiendra le 7 décembre 2021 de 14h à 17 à l'IGPG et a pour objectif général d’aider les participantes et participants à définir les contours du harcèlement sexuel bien trop souvent banalisés par une partie de la société. Cette représentation est réservée aux doctorantes et doctorants. Places limitées, formulaire d'inscription ici.
    • [Rappel] Ma thèse en 180s : L'édition 2022 du concours Ma thèse en 180s est lancée. Les inscriptions sont ouvertes jusqu'au 12 décembre et une réunion d'information est prévue le 6 décembre à 18h. Toutes les informations et nouveautés sur ce concours ici.
  • Newsletter des partenaires : Les lettres arrivent sporadiquement aux membres de l'IRIF. Elles sont donc listées ci-dessous.


Agenda de la semaine du 06 décembre au 10 décembre

Vérification · Lundi 06 décembre, 11:00, 1007 and Zoom link ·
Alessio Mansutti (University of Oxford), Efficient complementation of semilinear sets and the VC dimension of Presburger arithmetic

Algorithmes et complexité · Mardi 07 décembre, 11:00, Room 1007 ·
Bruce Kapron (Computer Science Department, University of Victoria), Type-two feasibility via bounded query revision

Algorithmes et complexité · Mardi 07 décembre, 14:00, 3052 ·
Daniel Szilagyi, Introduction to convexity - optimization and sampling

One world numeration seminar · Mardi 07 décembre, 14:30, Online ·
Jamie Walton (University of Nottingham), TBA

Théorie des types et réalisabilité · Mercredi 08 décembre, 14:00, Room 1007 ·
Federico Olimpieri (Université de Leeds), Categorifying Intersection Types

Combinatoire énumérative et analytique · Jeudi 09 décembre, 14:00, Room 1007 ·
Harriet Walsh (IRIF, Université de Paris), TBA

Analyse et conception de systèmes · Vendredi 10 décembre, 10:30, Room 1007 ·
Pierre-Evariste Dagand (IRIF), Commentary on “Formal Metatheory of Second-Order Abstract Syntax”

Catégories supérieures, polygraphes et homotopie · Vendredi 10 décembre, 14:00, Room 1007 ·
Alain Prouté, À la découverte des preuves mathématiques formelles

Automates · Vendredi 10 décembre, 14:30, Room 3052 ·
Marie Fortin (University of Liverpool), How undecidable are HyperLTL and HyperCTL*?

Graph Transformation Theory and Applications · Vendredi 10 décembre, 15:00, online ·
Emilio Jesús Gallego Arias (Université de Paris, CNRS, IRIF, France), Formalizing Category Theory using Type Theory: A Discussion