Cette semaine, dans la lettre de l'IRIF, WARNING, à partir de jeudi 22, vous ne pourrez plus faire de demandes de missions pendant une semaine. Merci d'anticiper.
Claire Mathieu va recevoir le statut d'EACTS fellow et à ce titre, le 6 juillet à 17h, un Irif cake spécial lui sera dédié.
Trois papiers ont été acceptés à la conférence SANDS 2023 : félicitations à Mikaël Rabie, Laurent Viennot et Filippo Brunelli !

Le comité Environnement vous présente sa 11ème BD et vous parle de gaz à effet de serre.

Côté actualité, les journées cartes sont de retour à l'IRIF, de nombreux cours, exposés et ateliers vous sont proposés. Le Lambda Pros day est également organisé à l'IRIF.

Le Focus porte cette semaine sur la Fête de la Science qui se déroulera du 6 au 16 octobre. Cette année, l'IRIF accueillera de nouveau des classes de primaire, collège et lycée. Nouveauté, le CNRS en collaboration avec l'Exploradôme, souhaite imaginer des événements autour de la thématique de la FDLS de cette année “Science et Sport” et souhaite que l'IRIF y participe.

Côté partenaires, plusieurs écoles d'été se préparent, ainsi que la conférence CAV 2023 co-organisée par l'IRIF.

Bonne lecture et bon week-end !

• ⚠ Fermeture des outils CNRS ⚠ : à partir du 23 juin 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 les outils de création de missions fermeront le 23 juin et rouvriront le 1er juillet. A partir du 22 juin, les outils de l'université Paris Cité seront également perturbés. Un guide du nouvel outil est disponible ici, also in english.

• Gâteau amélioré en l'honneur de Claire Mathieu : à noter dans vos agendas, le jeudi 6 juillet dans le cadre du statut d'EACTS fellow que Claire Mathieu recevra à ICALP cette année, nous vous donnons rendez-vous à 17h pour un IRIF cake amélioré.

• We are proud to announce that 3 papers have been accepted to SANDS 2023 :
  • Making Self-Stabilizing Algorithms for any Locally Greedy Problem by Mikaël Rabie, Johanne Cohen, Laurence Pilard and Jonas Sénizergues
  • When Should You Wait Before Updating?: Toward a Robustness Refinement by Swan Dubois, Laurent Feuilloley, Franck Petit and Mikaël Rabie (best paper)
  • Computing Temporal Reachability under Waiting-Time Constraints in Linear Time by Filippo Brunelli and Laurent Viennot
    Congratulations !

• Les chercheur·e·s et les doctorant·e·s 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 si vous souhaitez participer. Pour les doctorant·e·s qui souhaitent donner des enseignements pour la première fois, merci de suivre cette procédure. Contactez la direction de l'UFR.

• [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

• Webinaire HORIZON EUROPE : le pôle Europe du service Partenariat et Valorisation de la délégation Ile-de-France Villejuif du CNRS organise un webinaire sur le pilier 2 du programme HORIZON EUROPE le mardi 27/06/2023 à 14h30 (pendat 1h30). Vous pouvez vous inscrire jusqu'à la veille du webinaire.

• 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

• The IRIF and Environment Commission realeases its eleventh weekly comic strip. You can follow and participate to I&E using Zulip (https://zulip.irif.fr), and via the website.
  

• Le saviez-vous ? : les gaz à effets de serre émis par l'activité humaine en France sont estimés être à 78% du CO₂, 15% du CH₄ et 7% du N₂O. L'unité CO₂e, ou « équivalent CO₂ » combine en une seule valeur l'impact de ces différents gaz en prenant en compte leur vitesse de décomposition dans l'atmosphère.

• Colloquium d'Informatique de Sorbonne Université : le prochain exposé est intitulé “Cryptographie reposant sur les réseaux : sécurité quantique et au-delà” et il sera présenté par Damien Stehlé de CryptoLab, le mardi 20 juin à 18h. Pour suivre la conférence : Amphi 43 à Sorbonne Université - Faculté des Sciences. Pour tout savoir sur cette présentation, voici la page de l'événement. L'exposé sera également peut-être retransmis en direct, le lien se trouvera sur la page de l'événement peu de temps avant le début de la présentation.

• 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.

• Journées Cartes à l'IRIF : Marie Albenque, Guillaume Chapuy et Enrica Duchi organisent les “Journées Cartes” où plusieurs exposés sur les cartes et sujets connexes seront présentés. Cette année, l'événement se déroulera au sein de l'IRIF, salle 165 du bâtiment Olympe de Gouges. le mercredi 28 juin de 9h45 à 16h30. Une retransmission zoom sera proposée. Toutes les informations sont disponibles sur le site.

• Lambda Pros day: on Wednesday 28 June, the Lambda Pros day will be held at IRIF in Paris. This day is devoted to the growing connection between automata and lambda-calculus, on different aspects. You can read the program here.

• Cours de la Chaire d'Excellence de la FSMP : La Fondation Sciences Mathématiques de Paris reçoit le professeur Martin J. Gander dans le cadre d'un cours en 4 séances sur Time Parallel, Time integration à l'Institut Henri Poincaré, les mardis 20 et 27 juin et 4 et 11 juillet de 9h à 12h. Il est également possible de suivre cette présentation en distanciel. Dans les deux cas, il est nécessaire de s'inscrire. Vous pourrez retrouver toutes les informations sur le site dédié.

• Atelier Action Marie Curie : sur la thématique “Postdoctoral Fellowship, Comment construire sa candidature ?”, cet atelier se réalisera par visioconférence le mercredi 28 juin de 15h30 à 16h30. Cette conférence permettra de présenter l'appel Marie Curie Postdoctoral Fellowship (MSCA PF), ouvert jusqu'au 13 septembre 2023. Cet atelier ne requiert pas d'inscription : le lien de connexion est https://cnrs.zoom.us/j/97139928349?pwd=TUJXdzRoSjE4VEkya3ZibWRST0ZkQT09. ID de réunion : 971 3992 8349 ; Code secret : XG4YS1.

• Workshop Complexity and Algorithms (CoA 2023): the 3rd annual workshop for the working group “Complexity and Algorithms” (gt-CoA) will take place at Campus Jussieu, Paris, September 18-20 2023. Here is the link to register.

• Journées Graphes et Agorithmes (JGA) : Les 25ème journées JGA auront lieu à Villeurbanne (campus de La Doua, Université Lyon 1) du 21 Novembre à 13h au 24 Novembre à 16h. La cérémonie de remise du prix de thèse Charles Delorme 2023 aura également lieu lors de ces journées. Vous avez jusqu'au 20 Octobre pour vous inscrire (inscription gratuite mais obligatoire). Vous pouvez également soumettre vos papiers jusqu'au 15 septembre. Toutes les informations sont ici.

• [RAPPEL] 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.

• [RAPPEL] 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.

• [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.

La fête de la Science édition 2023 se déroulera du 6 au 16 octobre en métropole et nous accueillerons cette année encore des écoles de primaires, collège et lycée au sein de l'IRIF. Pour faire de cet événement une réussite, nous avons besoin de votre mobilisation ! Afin d'anticiper l'organisation des ateliers qui seront proposés en semaine à l'IRIF, merci de remplir ce formulaire qui nous permettra de savoir qui pourrait potentiellement être intéressé de participer à l'animation d'ateliers.

De plus, le CNRS s'allie cette année avec l'Exploradôme, musée des sciences et du numérique, qui souhaite organiser avec l'IRIF des ateliers/conférences/expériences le samedi 14 octobre. L'objectif serait de lier ces ateliers/conférences/expériences avec la thématique de cette année qui est “Science et sport”. Vous êtes libre de travailler sur l'aspect qui vous intéresse (pari sportif, IT, modélisations, statistiques, etc.). Vous avez une liberté complète sur le choix de votre sujet. Si vous souhaitez participer sans lier cela avec le sport c'est également possible dans le cadre de rencontres avec des “objets mystères” par exemple. Pour plus de renseignements, voici deux présentations explicatives : Fête de la science "Sport et Science" et "Le CNRS fête la science à l'Exploradôme"..

• Verification Technology, Systems & Applications Summer School : GDR-IM is organising it's 15th International Summer School VTSA. take place from August 28 to September 1, 2023 at Inria Nancy - Grand Est / LORIA, France. More information on the event, 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.

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é - Jeudi 15 juin 2023
• Newsletter de l'INS2I CNRS #30 - 15 juin 2023
• CNRS Interne - 15 juin 2023

Vérification · Lundi 19 juin, 11:00, Olympe de Gouges 146 and Zoom link ·
Mohammed Foughali (IRIF), Compositional Verification of Embedded Real-Time Systems

Algorithmes et complexité · Mardi 20 juin, 14:00, Room 147 (Olympe de Gouges) ·
Samuel Bouaziz-Ermann (LIP6), Quantum Security of Subset Cover Problems

Soutenances de thèses · Mardi 20 juin, 14:00, Amphithéâtre 1A, Halles aux Farines ·
Guillaume Aubian (IRIF), Colouring Digraphs

Analyse et conception de systèmes · Mercredi 21 juin, 14:00, Room 146 (Olympe de Gouges) ·
Alexandre Moine (Inria Paris), Diamonds Are Forever: Reasoning about Heap Space in a Concurrent and Garbage Collected Language

Preuves, programmes et systèmes · Jeudi 22 juin, 10:30, Room: TBA ·
Hall Hands On Deck, AG

La syntaxe rencontre la sémantique · Jeudi 22 juin, 14:00, Room 146 (Olympe de Gouges) ·
Miguel Ramos (Univ. Porto), Quantitative CBV Global Memory

Combinatoire énumérative et analytique · Jeudi 22 juin, 14:00, 146, Olympe de Gouges ·
Balthazar Charles (Université Paris-Saclay), TBA

Séminaire des membres non-permanents · Jeudi 22 juin, 16:00, Olympe de Gouges 147 and Zoom link ·
Anna Gujgiczer (Budapest University of Technology and Economics), TBA

Automates · Vendredi 23 juin, 14:00, Room 147 Olympe de Gouges ·
Hugues Déprés, The hardness of computing twin-width