Cette semaine, dans la lettre de l'IRIF, plus de renseignements sur les nouveaux outils de gestion qui entraîneront des désagréments fin juin, si vous n'avez pas accès aux outils du CNRS, vous pouvez les réclamer. Pour rappel, les chercheurs sont encouragés à participer à l'enseignement et les AGs de Pôles se dérouleront les 20 et 22 juin.

Nous accueillerons dès lundi les stagiaires de seconde au sein de notre laboratoire. A noter, la salle 3052 leur est exceptionnellement réservée de 9h30 à 11h le lundi 12 juin.

Pas de BD du Comité Environnement cette semaine, mais une proposition de formation à distance gratuite et ouverte à tou-te-s pour comprendre les enjeux du changement climatique et un “Le saviez-vous” de poids à découvrir.

Côté actualité, les missions d'enseignement 2023-2024 sont ouvertes et encouragées et pour rappel, le professeur Avi Wigderson fera une présentation au FoCM.

Le focus porte cette semaine sur une étude de l'écart de la représentation des genres dans le monde académiques, étude mené dans le monde entier sur la plus grande base de données jamais étudiée.

Plusieurs écoles d'été sont ouvertes aux inscriptions et l'INS2I lance son appel à projets d'accompagnement de projets de recherche d'ingénieurs en IA.

Bonne lecture et bon week-end !

• ⚠ Fermeture des outils CNRS ⚠ : fin juin 2023 sera déployé Notilus, un nouvel outil pour la gestion des missions et les états de frais. Les chercheurs et chercheuses devront à l'avenir réserver eux-mêmes leurs voyages et soumettre leurs justificatifs via Notilus. Lors de la mise en place, l'outil Etamine fermera le 16 juin et les outils financiers, Simbad, et Goelett, le 23 juin et ne rouvriront que le 1er juillet. Pour pallier à la une surcharge de travail qui pèsera sur le secrétariat, merci d'anticiper vos demandes et si possible de scanner vos justificatifs et de les remettre au format pdf.

• Recensement des accès informatiques : il apparaît que tous les membres du laboratoire n'ont pas accès aux outils informatiques du CNRS et de l'Université Paris Cité : vous devez pouvoir les utiliser quel que soit votre employeur. Si ce n'est pas le cas, merci d'écrire à secretariat@irif.fr pour obtenir de l'aide. Ces accès seront nécessaires pour pouvoir effectuer des missions à partir de juillet pour le CNRS et de 2024 pour UPCité, voir infra.

• [RAPPEL] Les chercheurs sont encouragés à participer à l'enseignement : l'UFR informatique est en train de recueillir les demandes du personnel de l'université pour leurs enseignements de l'année prochaine, via silice. C'est le bon moment pour se manifester auprès de la direction de l'UFR (direction-ufr@informatique.univ-paris-diderot.fr) si vous souhaitez participer.

• [AG de pôle : save the date] [REMINDER]: every year members of IRIF take part in two assemblies. A general meeting (assemblée générale) in January-February, and a pôle meeting (assemblée générale de pôle). All IRIF members are convened to these meetings and PhD students and post-doc are warmly invited to attend. This year, the pôle meetings are scheduled as follows in room 165 in Olympe de Gouge building :
  • AG pôle ASD: Tuesday, June the 20th, from 10am to 12am
  • AG pôle ASV: Tuesday, June the 20th, from 2pm to 4pm
  • AG pôle PPS: Thursday, June the 22nd, from 10:30am to 12:30am
  • For all the meeting the agenda is the same:
    • Human ressources and financial report
    • Requests for resources
    • Events
    • Reminders
    • IRIF Actions

• Olympe de Gouges:
  • Olympe de Gouges rooms: The keys to access the closed rooms are in the coded boxes outside the rooms. To use them:
  • Codes for the keyboxes: (see plan)
    1. Room 105: This week's code is 72839
  • ⚠ It is possible to access Olympe de Gouges rooms on Saturdays but not on Sundays.

• Vacation time presence: University Paris Cité summer closure will be from July, 26th to August, 15th included. During this period, building Sophie Germain will be closed. For the building Olympe de Gouges, the access badges will be deactivated. To be granted an access to Olympe de Gouges, please fill this table by July, 8th. For trainees, the request must be validated by the supervisor, who must be present.

• Office relocation: anticipating the start of the new academic year in September, when the new members will have to get an office, you have the possibility to change or trade offices. If you wish to do so, please write an email to lesellier@irif.fr

• There will be no comic strip this week due to exams for our amazing cartoonist. We wish Jojo good luck ! You can follow and participate to I&E using Zulip (https://zulip.irif.fr), and via the website.

• Formation climat du Cned : si vous souhaitez acquérir des connaissances fondamentales sur le changement climatique et la biodiversité, cette formation en ligne réunie des experts scientifiques reconnus et des experts de la pédagogie numérique.

• Le saviez-vous ? : 2 tonnes est le chiffre clé du changement climatique : ce sont environ les émissions d'équivalent CO₂ à ne pas dépasser par an et par personne au niveau mondial pour être neutre vis à vis de l'effet de serre. Ce sont aussi les émissions (en une seule fois !) d'un aller-retour Paris-New-York par voyageur. Cela correspond aussi aux émissions en un an de la production d'un steak de bœuf de 140g par jour.

• Stagiaires de seconde : du lundi 12 au vendredi 16, l'IRIF accueillera 10 stagiaires de 2nd. Vous êtes invités et encouragés à vous joindre à eux lors des repas de midi pour partager vos expériences et vos passions. La salle 3052 leur est exceptionnellement réservée de 9h30 à 11h le lundi 12 juin.

• PODCAST: Guillaume Duboc and Giuseppe Castagna have been invited as speakers in the Elixir Podcast. They dive into the prospect of types in the Elixir programming language. You can find the full podcast here.

• Missions d'enseignement 2023-2024: les doctorant·e·s contractuel·le·s n'ayant pas encore fait de missions d'enseignement au sein de l'UFR et qui demandent une bourse de thèse à l'IRIF sont fortement encouragés à réaliser des missions d'enseignement au sein de l'UFR. Cette démarche est importante pour vos futures candidatures à des postes d'enseignant-chercheur. Pour postuler, vous devez déposer vos candidatures avant le 24 juin 2023.

• Congrès des Jeunes Chercheurs en Mathématiques et leurs Applications: destiné aux doctorant·e·s et post-doctorant·e·s, le CJC-MA aura lieu à CentraleSupélec du 25 au 27 septembre 2023. Vous avez jusqu'au 30 juin pour contribuer et jusqu'au 31 juillet pour vous inscrire. Plus d'informations directement sur le site.

• Lecture by Avi Wigderson : at FoCM (Foundation of Computational Mathematics) 2023, a talk open to the public will be given by Professor Avi Wigderson on Friday, June 16 at 19:30. The subject of the lecture is “Randomness - a computational perspective”. Registration is free but mandatory.

• [REMINDER] ACKERMANN Award 2023 : you have until 1st of July to submit your PhD paper/dissertation related to logic in computer science at the Ackermann Award 2023. Those papers must have been formally accepted between the 1st of January 2022 and the 31th of December 2022. To apply, you have to log to Easychair. It is mandatory to submit a 10 pages maximum summary in English, supporting letters by your PhD advisor and two from other senior researchers, a copy of a document stating that your thesis was accepted and a short CV of yours.

The glass ceiling in the ivory tower: A century of gender gaps in academia across the globe

In academia, women remain under-represented across most disciplines and countries. This column traces how gender gaps in academia evolved over the 20th century and across the globe, using the largest database of university academics ever assembled. By the end of the century, women remain significantly under-represented in prestigious universities. However, by 2000 the gender gap in citations had nearly disappeared and the gap in promotions in the sciences had closed.

The full article can be found on the CEPR website. It was written by Alessandro IARIA, Carlo SCHWARZ, Fabian WALDINGER.

• CAV 2023: the 35th International Conference on Computer Aided Verification is co-organized by IRIF. It will be held on July 17th-22nd, 2023 In Paris. The first two days (July 17th-18th) will be dedicated to affiliated workshops. You can register here.

• The interactions of Proof Assistants and Mathematics: this International Summer School will be held from the 18th to the 29th September 2023 in Regensburg, Germany. More information on their website.

• Safe & Trusted AI Summer School: it focuses on the use of symbolic AI techniques for ensuring the safety and trustworthiness of AI systems. It will be held at Imperial College in London from 17-19 July. You have until June 30th to register. More information on their website.

• APPEL À PROJETS - INS2I : pour bénéficier de l’accompagnement d’ingénieurs en intelligence artificielle dans le cadre de vos projets de recherche, L'INS2I lance son appel à projet. 20 ingénieurs localisés à Saclay, Grenoble, Nancy, Toulouse et Rennes qui travaillent en réseau et peuvent accompagner des projets de recherche en IA issus de l'ensemble des unités de recherche. Pour en savoir plus sur les ingénieurs qui composent le réseau, cliquez ici. Vous avez jusqu'au 30 juin 2023 pour candidater.

• Ecole EJCIM : Le GDR Informatique Mathématique renouvelle son école d'été destinée aux jeunes chercheur·euses, qui se déroulera du 19 au 23 juin à Poitiers sur le campus du Futuroscope. Pour de plus amples informations, se rendre sur le site de l'événement.

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

• Fil info Recherche de l'Université Paris Cité - lundi 5 juin 2023
• La lettre du journal en ligne du CNRS [n°79] - juin 2023
• La lettre de l'INSMI - Mai 2023