Edito

Cette semaine, dans la lettre de l'IRIF, le compte-rendu du conseil de laboratoire est disponible, les chercheurs sont encouragés à participer à l'enseignement, un rappel de deadline des bourses doctorales et des AGS de Pôles. Un changement d'outil de gestion des missions au mois de juin nécessite d'anticiper vos demandes.

L'I&E vous présente sa 10ème BD.

Le Focus de cette semaine porte sur un article écrit par Geoffroy Couteau et Pierre-Evariste Dagand, sur une solution pour contrôler l'accès aux sites pornographiques.

Côté actualité, dernier appel pour animer un atelier de programmation ou tout autre activité de votre choix (échange, exposé vulgarisé, rencontre avec un-e doctorant-e, maître-sse de conférence, chercheurs, etc.) le mercredi 14 juin de 9h30 à 12h30.

Le CNRS propose un programme d'accompagnement pour la création de logiciels libres.

Bonne fin de semaine, et bonne lecture !

📢 Annonces de la direction

  • [RAPPEL] Les chercheurs sont encouragés à participer à l'enseignement : l'UFR informatique est en train de recueillir les demandes des personnels 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.
  • Bourse de doctorat [REMINDER]:
    1. Les étudiant∙es étranger∙es ayant rejoint UPC dans le cadre d’une bourse MIEM, SMARTS-UP ou Eiffel et ayant validé, ou prévu de valider, leur M2 à UPC en 2023, ou
    2. Les étudiant∙es étranger∙es ayant validé, ou prévu de valider, un master ou diplôme équivalent à l’étranger.
  • [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
  • Nouveaux outils de gestion : 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. Pour pouvoir l'utiliser il est impératif d'avoir accès aux outils CNRS et donc un compte Janus actif. De plus, cela entraînera une surcharge de travail pour le secrétariat et potentiellement des retards dans le traitement des dossiers. Merci d'anticiper le plus possible 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.
  • 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 59609
    • ⚠ It is possible to access Olympe de Gouge rooms on Saturdays but not on Sundays.


♻ IRIF & Environnement 🌱

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

  • Le saviez-vous ? : En 2021, le français moyen émet environ 9 tonnes d'équivalent CO₂, soit 4,5 fois plus que ce qui est soutenable sur le long terme. L'engagement de la France est de réduire de 40% ses émissions en 2030 par rapport à 1990, soit passer à 5,8 tonnes par habitant et par an, et d'être neutre en 2050, soit passer à 2 tonnes par habitant et par an.


📰 Actualités

  • Dans le cadre des stages de 2nd, nous recherchons des bénévoles pour assurer un cours d'initiation à la programmation ou tout autre atelier de votre choix le mercredi 14 juin de 9h30 à 12h30.
    ↪ Pour participer, écrivez nous à scolaire@irif.fr. Merci d'avance !
  • [RAPPEL] “Vous avez dit intricationS ?” : Le laboratoire MPQ (Matériaux et Phénomènes Quantiques) présentera l'intrication quantique les samedi et dimanche 3 et 4 juin à 10h20, 13h et 15h40 aux Étincelles du Palais de la Découverte. Dans le cadre d'un accord avec Universcience, le laboratoire a droit à des places gratuites. Si vous souhaitez en obtenir, merci de contacter juliette.calvi@irif.fr en précisant le nombre de places et le créneau désirés avant 17h.
  • [REMINDER] Dr. S. Mostafa Mousavi Lecture : on the 7th of June at 4PM, at the diiP (data intelligence institute of Paris) Seminars, Dr. S. Mostafa Mousavi (Google, Stanford University) will do a lecture about “Deep Learning of Seismograms”. It will only be presented online. If you want to receive the Zoom link, please contact diip@math-info.univ-paris5.fr. For more informations, click here.
  • [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 candidtae, 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 af a document stating thtat your thesis was accepted and a short CV of yours.


👁 Focus sur le contrôle de l'accès aux sites pornographiques

FR - Comment contrôler l'âge des utilisateurs de sites pornographiques tout en conservant l’anonymat de ceux-ci ? Pour répondre à cette question, les chercheurs se sont tout d'abord demandés s'il est possible de le faire en créant une identité numérique. Cette identité numérique, pour respecter la protection des données, se doit d'apporter l'information nécessaire requise pour accéder à un site sans dévoiler des informations sensibles qui pourraient être utilisées par les sites ou bien hackées. Les chercheurs ont donc eu l'idée d'utiliser une technique, le “zero-knowledge proofs”, qui permet de prouver ce qui est demandé sans révéler ladite information. Dans ce cas précis, par exemple, le “zero-knowledge proof” permettrait de valider qu'un utilisateur a bien l'âge requis pour accéder au site pour adulte sans donner son âge. De plus, cette technique permet de conserver complètement l’anonymat de la personne ainsi que ses données.

L'article, écrit à quatre mains par Geoffroy Couteau et Pierre-Evariste Dagand, se trouve sur le site du blog binaire du Monde.


EN - How can we control the age of users of pornographic sites while preserving their anonymity? To answer this question, the researchers first wondered whether this could be done by creating a digital identity. To respect data protection, this digital identity must provide the necessary information required to access a site without revealing sensitive information that could be used by the sites or hacked. The researchers therefore came up with the idea of using a technique known as “zero-knowledge proofs”, which makes it possible to prove what is required without revealing said information. In this case, for example, “zero-knowledge proof” would validate that a user is of the right age to access an adult site, without disclosing his or her age. What's more, this technique allows the user's anonymity and data to be completely preserved.

The article, written by Geoffroy Couteau and Pierre-Evariste Dagand, can be found on Le Monde's binary blog.


🗣 Appels d'offres et informations des partenaires

  • CNRS Innovation : un nouveau programme d’accompagnement et de valorisation des logiciels libres, le programme OPEN, vient d'être lancé. Pour être éligible à un soutien, les conditions suivantes doivent être vérifiées :
    1. le CNRS fait partie des copropriétaires du logiciel,
    2. si le logiciel est actuellement diffusé, la licence libre choisie est compatible avec les pistes de valorisation.
      Toutes les informations sont à retrouver sur la page dédiée.

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


📅 Agenda de la semaine du 5 juin au 9 juin

Vérification · Lundi 05 juin, 11:00, Olympe de Gouges 146 and Zoom link ·
Pedro Ribeiro (University of York), Co-verification for robotics: simulation and verification by proof

Formath · Lundi 05 juin, 14:00, 146 (Olympe de Gouges) ·
Wendlasida Ouedraogo (INRIA (Paris Saclay)), Source code optimization for safety critical systems

Algorithmes et complexité · Mardi 06 juin, 11:00, Room 147 (Olympe de Gouges) ·
Galina Pass (QuSoft, University of Amsterdam), (No) Quantum space-time tradeoff for USTCON

Analyse et conception de systèmes · Mercredi 07 juin, 14:00, Room 146 (Olympe de Gouges) ·
Samuel Vivien (ENS Paris, IRIF), How to prove that you need Cake ?

Combinatoire énumérative et analytique · Jeudi 08 juin, 14:00, Olympe de Gouges ·
Davig Forge (Orsay), TBD

Séminaire des membres non-permanents · Jeudi 08 juin, 16:00, Olympe de Gouges 147 and Zoom link ·
Bernardo Jacobo-Inclan, TBA

Automates · Vendredi 09 juin, 14:00, Room 146 Olympe de Gouges ·
Daniel Smertnig, Deciding Sequential? and Unambiguous? for weighted automata over fields