Lettre de l'IRIF du 29 avril 2022 Edito Cette semaine, l’ouverture des inscriptions à ICALP 2022 et un pré-appel à candidatures aux contrats doctoraux de l’ED 386. Deux rappels d’inscriptions : l’activité de fin d’année de l'IRIF et le cocktail de célébration de 75 ans d’informatique du LIP6. Côté actualités scientifiques, de nombreux papiers acceptés aux conférences ICALP, LICS et EUROCRYPT. Notez également la conférence-débat de l’Académie des sciences sur le thème « L’ordinateur quantique : où en sommes-nous ? ». Une initiative d’Université Paris Cité à déposer des publications scientifiques dans l’archive ouverte HAL UPC et un rappel pour l’appel à applications au programme SMARTS-UP. Enfin, un focus sur Véronique Cortier, directrice de recherche CNRS au Loria et lauréate de la médaille d’argent CNRS 2022. Bonne lecture ! Annonces de la direction IRIF Pre-call to PhD fellowships of ED386: The Ph.D. fundings at IRIF are financed either by IRIF research grants or by joint applications of IRIF members and the candidate to outside funding agencies with which IRIF is affiliated. More informations at IRIF PhD opportunities. In particular, several scholarships are allocated directly from the graduate school ED 386 - École doctorale de Sciences Mathématiques de Paris Centre every year (the call opens in spring and its usual deadline is around mid-June). All details here. Registration ICALP 2022 : Early registration for ICALP 2022 is now open. Registration is free for PhD students and post-docs volunteering at the conference. For non PhD students, as usual, the lab will cover the early registration fee if you don't have access to funding. Follow this link to register for the conference: https://icalp2022.irif.fr/?page_id=50#registration. Early registration until May 11th, 2022 Late registration from May 12th, 2022 Signature et affiliation IRIF : Quelques rappels utiles sur la charte des signatures de publications scientifiques avec la nouvelle appellation Université Paris Cité. Plus de détails sur https://www.irif.fr/intranet/affiliation. Cartouches des marqueurs: Nous vous rappelons qu'il est de la responsabilité de chacun de changer les cartouches vides des marqueurs à disposition dans les espaces communs. Des recharges sont disponibles au secrétariat (bureau 4001). Merci de votre compréhension. [Rappel] End of the year activity: As an end of the year activity, IRIF and the Gender Equality Committee is inviting you to a “theatrical debate” on questions around discriminations and inequality in the work environment. The “theatrical debate” will be followed by an outdoor lunch. The first part of the activity (“theatrical debate”) will take place on Friday, June 10th from 10:00 am to 12:00, room 580 F (salle des thèses) on the Grands Moulins campus of Université Paris Cité. The second part of the activity (outdoor lunch) will take place on Friday, June 10th from 12:00 pm to 2:00 pm, outside the Sophie Germain building. To attend the event, please reply by May 5th, 2022 using this form https://framaforms.org/end-of-the-year-activity-attendance-1649248796. [Rappel] 75 ans d'informatique / LIP6 : Le 9 mai 2022 à 18h00, le LIP6 et l’IRIF ont le plaisir de vous inviter au cocktail de célébration des 75 d’informatique en France. L’événement se déroulera dans le grand auditorium du campus Pierre et Marie Curie et la soirée sera suivie d’un cocktail dînatoire, dans le foyer de l’auditorium. Découvrez dans le focus le détail du programme de la soirée. Inscription gratuite mais obligatoire avant le 1er mai 2022 : https://vote.lip6.fr/index.php/563782. Actualités ICALP 2022 / Updates: The 49th EATCS International Colloquium on Automata, Languages and Programming (ICALP) will be presented in hybrid mode (both physically and virtually). The physical conference will take place in Paris, France, on July 4-8, 2022. Registration is now open: Early registration is open until May 11th, 2022 and late registration starts from May 12th, 2022. For more details and to register, follow this link: https://icalp2022.dakini-pco.com. Accepted papers: 3 papers coauthored by IRIF members will be presented. Claire Mathieu (IRIF) and Hang Zhou. A PTAS for Capacitated Vehicle Routing on Trees. Gaëtan Douéneau-Tabot (IRIF). Hiding pebbles when the output alphabet is unary. Antonio Casares (IRIF), Thomas Colcombet (IRIF) and Karoliina Lehtinen. On the size of good-for-games Rabin automata and its link with the memory in Muller games. Conférence-débat de l'Académie des sciences : Le mardi 17 mai 2022 de 14h30 à 17h, dans la Grande salle des séances de l'Institut de France se tiendra une conférence-débat sur le thème “L'ordinateur quantique : où en sommes-nous ?”. Inscription obligatoire : https://www.academie-sciences.fr/fr/Colloques-conferences-et-debats/ordinateur-quantique.html. EUROCRYPT 2022 / Accepted papers : 1 paper coauthored by IRIF member will be presented at EUROCRYPT 2022. See the list of all accepted papers: https://eurocrypt.iacr.org/2022/acceptedpapers.php Geoffroy Couteau, Chris Brzuska: On Building Fine-Grained One-Way Functions from Strong Average-Case Hardness. LICS 2022 / Accepted papers : 5 papers coauthored by IRIF members will be presented at Logic in Computer Science (LICS) 2022. See the list of all accepted papers: https://lics.siglog.org/lics22/accepted.php. Nikhil Balaji, Klara Nosan, Mahsa Shirmohammadi and James Worrell: Identity testing for radical expressions. Aliaume Lopez: When Locality Meets Preservation. Guillaume Geoffroy: A first-order completeness result about characteristic Boolean algebras in classical realizability. David Baelde, Amina Doumane, Denis Kuperberg and Alexis Saurin: Bouncing threads for circular and non-wellfounded proofs. Paul-André Melliès: A functorial excursion between algebraic geometry and linear logic. Data Intelligence Institute of Paris / Distinguished Lecture : The next diiP Distinguished Lecture, Surface enhanced Raman scattering (SERS) sensors: combining machine learning and nanosciences will be presented on Zoom on May 4th, 2022, at 4 PM by Prof. Jean-François Masson. He studied chemistry at the Université de Sherbrooke (BSc), Arizona State University (PhD) and Georgia Tech (postdoc). His laboratory develops new plasmonic materials, instruments, and surface chemistry for the detection of broad range of molecules directly in crude samples, which are then translated to functional sensors for a series of biological, environmental and industrial applications. Focus sur Véronique Cortier, médaille d’argent CNRS 2022 Félicitations à Véronique Cortier, Directrice de recherche CNRS au LORIA et lauréate de la médaille d’argent CNRS 2022. La médaille d'argent distingue des chercheurs et des chercheuses pour l'originalité, la qualité et l'importance de leurs travaux, reconnus sur le plan national et international. Ses travaux portent sur la sécurité des protocoles de communication et leur fiabilité. Elle s'intéresse plus particulièrement à la question du vote électronique ou encore des applications de sécurité qui, pour l’instant, concernent davantage le milieu bancaire. Pour en savoir plus : Véronique Cortier : « Un véritable accélérateur scientifique et un immense enrichissement humain » - actualité INS2I publiée à l'occasion des 10 ans des ERC (13/03/2017). Véronique Cortier : Prix Inria - Académie des sciences du jeune chercheur - actualité Inria sur le Prix Inria 2015 du 24/09/2015. Passeports électroniques : découverte d’une faille dans le mécanisme de protection des données - actualité INS2I publiée le 16/07/2013. Véronique Cortier : sécuriser les protocoles - actualité Inria à l'occasion de l'ERC Starting Grant 2010 (25/11/2010). Deux billets dans le blog Binaire du Monde : Qu’est-ce qu’un bon système de vote ? Le vote papier est-il réellement plus sûr que l’électronique ? Appels d'offres et informations des partenaires Université Paris Cité / Opération « HALathon Sciences/IPGP» : L'équipe administratrice de l’archive ouverte HAL Université Paris Cité organise un « HALathon » à destination des enseignants et chercheurs de la faculté des Sciences, ainsi que de l'IPGP, auquel vous êtes toutes et tous chaleureusement conviés à prendre part. Durant les semaines du 9 et 16 mai, nous vous invitons à déposer vos publications en texte intégral dans l’archive ouverte de l’université HAL UPC (https://hal-univ-paris.archives-ouvertes.fr). [Rappel] Université Paris Cité / Call for applications SMARTS-UP 22-23 : SMARTS-UP International scholarships for Master’s students managed by Université Paris Cité will grant € 8,000 individual scholarships to allow Graduate Schools to welcome international students in their Masters’s programmes. The Graduate School on Quantum Technologies is taking part in this project. Visit the call for applications webpage for more details. Deadline: April 30th, 2022. Newsletter des partenaires : Les lettres arrivent sporadiquement aux membres de l'IRIF. Elles sont donc listées ci-dessous. CNRS Hebdo du 28/04/2022 avec la Soirée-débat “Les mathématiques, une science humaine ?” le 12 mai 2022 Newsletter de l'ANR d'avril 2022 Lettre du CNRS d'avril 2022 Agenda de la semaine du 02 mai au 06 mai One world numeration seminar · Mardi 03 mai, 14:30, Online · Nicolas Chevallier (Université de Haute Alsace), Best Diophantine approximations in the complex plane with Gaussian integers Sémantique · Mardi 03 mai, 16:30, Exposé en ligne depuis San Diego sur galene · Chaitanya Leena Subramaniam (University of San Diego), The universal algebra of dependently typed theories Preuves, programmes et systèmes · Jeudi 05 mai, 10:30, Room 3052 · Marcelo Fiore (University of Cambridge), TBA