==== Lettre de l'IRIF du 18 juillet 2022 ==== === Edito === Cette semaine dans la lettre, quelques rappels concernant une **maintenance électrique** et l'**accès au bâtiment**. Une **opportunité de thèse** est ouverte au sein de l'équipe Modélisation et Vérification dans le cadre du projet de recherche Franco-Japonais CyPhAI. Tous les détails de l'offre dans cette lettre. Du côté des actualités scientifiques, plusieurs papiers acceptés à **FPSAC'22**, **PODC'22** et **FOCS'22** et la **conférence Sciences du logiciel** organisée par l'INS2I. Le premier **appel à contribution à ETAPS'23** est ouvert jusqu'au 13 octobre 2022. Enfin, un focus sur le **prix Gödel 2022** remis lors de la conférence ICALP. Bonne lecture ! === Annonces de la direction === * **[Rappel] IT Shutdown July 25 4pm to July 27 morning** due to an electric shutdown at IRIF building (hat will be closed on July 26. In consequence, mail, web, cloud will not be accessible but no mail will be lost. Please note that the fridges will be emptied on July 25th. Make sure to pick up your belongings. * **[Rappel] Accès bâtiment du mardi 26 juillet au lundi 15 août (inclus)** * __Fermeture totale__ : mardi 26 juillet (coupure des postes électriques), lundi 15 août (jour férié), week-end * __Accès restreint__ les autres jours aux personnes enregistrées \\ === Actualités === * **PhD position at IRIF** : A [[https://www.irif.fr/en/postes/these|fully funded PhD position in Computer Science]] with the subject “Cyber-physical systems with AI components: modeling, learning and verification” opens in IRIF, **starting in September or October 2022** within the [[https://www.irif.fr/en/equipes/verif/index|Modeling and verification team]], in the framework of the [[https://cyphai.io|Franco-Japanese research project CyPhAI]]. An application, in a free form, in English or French, should be sent by e-mail to the three addresses: [[asarin@irif.fr]], [[foughali@irif.fr]], [[haberm@irif.fr]] It may contain some of the following: a CV, a motivation letter, references or recommendation letters, transcripts of grades for master’s studies, links to publications or MSc thesis if relevant. Please send the application as soon as possible : the PhD should **start in September or soon thereafter.** [[https://www.irif.fr/_media/postes/phd_in_cyber-physical_systems_verification_learning_irif.pdf|See more details here]]. * **Conférence Sciences du logiciel de l'INS2I** : L'Institut des sciences de l'information et de leurs interactions (INS2I) vous invite à la {{ :intranet:lettre-irif:2022-07-15:programme_previsionnel_conference_sciences_logiciel.pdf |conférence "Sciences du logiciel : de l'idée au binaire"}}, qui se tiendra les **lundi 19 septembre** (après-midi) et **mardi 20 septembre** (toute la journée), au siège du CNRS – 3 rue Michel Ange 75016 Paris. Pour participer, s'inscrire avant le **31 août 2022** en cliquant sur le lien suivant : [[https://survey.cnrs-dir.fr/index.php/993392?lang=fr]]. {{ :intranet:lettre-irif:2022-07-15:programme_previsionnel_conference_sciences_logiciel.pdf |Programme prévisionnel ici}}. * **FPSAC'22 / Accepted paper** : One paper coauthored by **Enrica Duchi (IRIF)** and **Corentin Henriet (IRIF)** will be presented at [[https://fpsac.org/confs/fpsac-2022/|FPSAC 2022]], July 18-22: **Combinatorics of fighting fish, planar maps and Tamari intervals.** * **PODC'22 / Accepted papers** : Four papers coauthored by IRIF members will be presented at the conference PODC'22, the main conference on distributed computing, **July 25-29 2022** in Salerno, Italy. * //Early Adapting to Trends: Self-Stabilizing Information Spread using Passive Communication//. **A. Korman** (IRIF), **R. Vacus** (IRIF) * //When is Recoverable Consensus Harder Than Consensus?// **C. Delporte-Gallet** (IRIF), P. Fatourou, **H. Fauconnier** (IRIF), E. Ruppert * //A Speedup Theorem for Asynchronous Computation with Applications to Consensus and Approximate Agreement//. **P. Fraigniaud** (IRIF), A. Paz, S. Rajsbaum * //Brief Announcement: Fault Tolerant Coloring of the Asynchronous Cycle//. **P. Fraigniaud** (IRIF), **P. Lambein-Monette** (IRIF), **M. Rabie** (IRIF) * **FOCS'22 / Accepted paper** : One paper coauthored by Simon Apers (IRIF) will be presented at FOCS 2022, the 63rd IEEE Symposium on Foundations of Computer Science, October 31 - November 3 in Denver, USA. * //Cut Query Algorithms with Star Contraction//. Yuval Efron (Columbia University), Danupon Nanongkai (University of Copenhagen & KTH), Sagnik Mukhopadhyay (University of Sheffield), **Simon Apers (CNRS, IRIF)**, Troy Lee (University of Technology Sydney), Pawel Gawrychowski (University of Wrocław). * **ETAPS 2023** : 1st joint call for papers of the [[https://etaps.org/2023/call-for-papers|26th European Joint Conferences on Theory and Practice of Sofware]]. Paper submission is opened until **October 13, 2022, 23:59 AoE**. \\ === Focus on the 2022 Gödel Prize === {{:intranet:lettre-irif:2022-07-15:img_20220707_143736.jpeg?250 |}} During ICALP'22 was awarded the [[https://eatcs.org/index.php/goedel-prize|2022 Gödel Prize]] to the following papers: * [[https://zvikab.bitbucket.io|Zvika Brakerski]], [[https://people.csail.mit.edu/vinodv/|Vinod Vaikuntanathan]]: Efficient Fully Homomorphic Encryption from (Standard) LWE. FOCS 2011: 97-106. SIAM Journal of Computing 43(2): 831-871 (2014) * Zvika Brakerski, [[https://simons.berkeley.edu/people/craig-gentry|Craig Gentry]], Vinod Vaikuntanathan: (Leveled) fully homomorphic encryption without bootstrapping. ITCS 2012: 309-325. ACM Transactions on Computation Theory 6(3): 13:1-13:36 (2014) The above papers made transformative contributions to cryptography by constructing efficient fully homomorphic encryption (FHE) schemes. In an FHE scheme, data is securely encrypted as in a standard encryption scheme. In addition, FHE provides capability to compute on the encrypted data and generate encrypted results, without decrypting or requiring any secret key. Such capability unlocks a vast array of applications that let us securely outsource expensive computations to untrusted servers, and securely perform collaborative computations among multiple entities. The notion of fully homomorphic encryption was conceived (as “privacy homomorphisms”) in work by Rivest, Adleman and Dertouzos in 1978. Constructing an FHE scheme which enables arbitrary computations on encrypted data, however, remained an open question for the following three decades. Prior to these papers, one of the authors, Craig Gentry, had presented (in proceedings form only) a construction of FHE in 2009. That groundbreaking contribution had great promise, but also some limitations, regarding both efficiency and the nature of the security guarantees. The above papers presented entirely new constructions of fully homomorphic encryption whose security relied only on the hardness of Regev's learning with errors (LWE) problem. They have led to a new generation of practically efficient FHE. These papers have had enormous impact on both theoretical and applied research, ranging from the constructions of advanced cryptographic primitives, via worst-case to average-case reductions, to FHE implementation, and the design of post-quantum encryption candidates. **Award Committee:** \\ - Samson Abramsky (Chair, University College London) \\ - Nikhil Bansal (University of Michigan), \\ - Irit Dinur (Weizmann Institute) \\ - Anca Muscholl (University of Bordeaux) \\ - Ronitt Rubinfeld (Massachusetts Institute of Technology) \\ - David Zuckerman (University of Texas at Austin). === Appels d'offres et informations des partenaires === * **CNRS / Questionnaire de la CES du CNESER** : La Commission d'études spécialisées (CES) portant sur la recherche du Conseil national de l'enseignement supérieur et de la recherche (CNESER) étudie l’impact, sur la gestion du temps et la nature des activités, des transformations intervenues dans la recherche publique, et notamment du financement par appels à projets. Dans ce but, {{ :intranet:lettre-irif:2022-07-18:questionnaire_de_la_ces_du_cneser_transformation_du_travail_dans_la_recherche_publique_et_appels_a_projets.eml |la CES sur la recherche du CNESER a élaboré un questionnaire}}, garantissant l’anonymat et le respect de la réglementation, à destination de tous les membres du personnel de l’enseignement supérieur et de la recherche (ESR), quelle que soit leur fonction et quel que soit leur statut. Lien vers le questionnaire : [[https://groupes.renater.fr/limesurvey/index.php/597546?lang=fr]] à renseigner le questionnaire d’ici le **30 septembre 2022 au plus tard.** **Newsletter des partenaires** : Les lettres arrivent sporadiquement aux membres de l'IRIF. Elles sont donc listées ci-dessous. * [[http://0x0qr.mjt.lu/nl3/qG-nezQdju5zalC1COdi_Q?m=AVkAAC0wihkAAAAMNLYAABVTvAMAAAAAtz8AAM_aABkriQBizb96sQpLUFxtSZSUKTQAiZT7GQAYfD4&b=6a6aa6c5&e=76024f20&x=WnrpW966L3rTFmDw-TI12huTmz3i_Ub6Y2eXDYSYVZY|MathsInfos n°57]] de Juillet 2022, avec une mention sur la conférence ICALP. * [[https://fondation-uparis.org/?mailpoet_router&endpoint=track&action=click&data=WyIzMjYiLCJjZTFmN2U5MjU5MWFmODUwMWE2NzAxZmY1MTQzNjZiZiIsIjgiLCJhZTYyYmQxZDdhMzciLGZhbHNlXQ|IMPACTS n°4]], la newsletter de la Fondation Université Paris Cité * [[http://www.cnrs.fr/CNRS-Hebdo/iledefrance-villejuif/lettre.php?numero=619|CNRS Hebdo]] du 12/07/2022 \\ === Agenda de la semaine du 18 juillet au 22 juillet === **Nombre limité d'évènements durant les vacances d'été.** [[https://www.irif.fr/seminaires/algocomp/index|Algorithmes et complexité]] · Mercredi 20 juillet 2022, 11 heures, Salle 3052 · \\ **Maud Szusterman** (IRIF), // Compact formulations: how to deduce a linear extension from an algorithm? // [[https://www.irif.fr/seminaires/adg/index|Algorithmique distribuée et graphes]] · Vendredi 22 juillet 2022, 14 heures 30, Salle 1007 · \\ **Rong Luo** (West Virginia University) (IRIF), // Modulo flows and Integer flows of signed graphs //