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 !

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

• PhD position at IRIF : A 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 Modeling and verification team, in the framework of the 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. 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 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. Programme prévisionnel ici.

• FPSAC'22 / Accepted paper : One paper coauthored by Enrica Duchi (IRIF) and Corentin Henriet (IRIF) will be presented at 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 26th European Joint Conferences on Theory and Practice of Sofware. Paper submission is opened until October 13, 2022, 23:59 AoE.

During ICALP'22 was awarded the 2022 Gödel Prize to the following papers:

• Zvika Brakerski, Vinod Vaikuntanathan: Efficient Fully Homomorphic Encryption from (Standard) LWE. FOCS 2011: 97-106. SIAM Journal of Computing 43(2): 831-871 (2014)
• Zvika Brakerski, 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).

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

• MathsInfos n°57 de Juillet 2022, avec une mention sur la conférence ICALP.
• IMPACTS n°4, la newsletter de la Fondation Université Paris Cité
• CNRS Hebdo du 12/07/2022

Nombre limité d'évènements durant les vacances d'été.