==== Lettre de l'IRIF du 22 juillet 2022 ====

=== Edito ===   

Cette semaine dans la lettre, un **appel à participation pour la prochaine Fête de la Science** et l'ouverture de l'**appel à projets générique ANR 2023**. Nous vous rappelons également la **fermeture exceptionnelle du bâtiment le 26 juillet.** 

Côté actualités scientifiques, un bref **aperçu de l'un des 4 papiers acceptés** et co-écrit par des membres de l'IRIF à PODC'22, un **papier accepté à CSGT 2022** et la **conférence Sciences du logiciel de l'INS2I**.  

Finalement, un focus sur le **prix de l'EATCS 2022** et le **prix Presburger 2022** présentés lors de la conférence ICALP. 

Bonne lecture et bel été à tous et toutes !

=== Annonces de la direction ===

  * **Fête de la Science 2022** : La [[https://www.education.gouv.fr/la-fete-de-la-science-12287|31e fête de la Science]] se déroule du **7 au 17 octobre 2022**. Comme chaque année, l'IRIF s'implique dans cet événement et organisera 2 types d'activités. 
    * Des __ateliers d'informatique débranchée et un baptême de programmation__ pour des niveaux fin primaire / début collège. <color #D9230F>Nous avons besoin de votre aide pour encadrer ces activités</color> qui se dérouleront les **7-10-11-12-13-14 et 17 octobre** entre 9h30 et 15h30 dans des salles de cours du **bâtiment Sophie Germain**. Pour participer, écrivez à [[fdlsInfo@irif.fr]].
    * Un __parcours découverte des Technologies Quantiques__ pour les niveaux lycée et organisé conjointement avec le [[https://www.google.com/url?sa=t&rct=j&q=&esrc=s&source=web&cd=&cad=rja&uact=8&ved=2ahUKEwi2_5OQjYz5AhVOwIUKHTQWAWkQFnoECBcQAQ&url=https%3A%2F%2Fmpq.u-paris.fr%2F&usg=AOvVaw0sZ-EDlC1ZjWzUsP-E1zx2|Laboratoire MPQ]]. Cette activité se déroulera les **12-13-14 octobre** dans le **Hall du bâtiment Condorcet**.

  * **[Rappel] Shutdown between July 25 4pm to July 27 morning** : Due to an **electric shutdown at IRIF building**, the access to **<color #D9230F>Sophie Germain will be closed on July 26</color>**. IT services will not be accessible. In consequence, mail, web, cloud will not be accessible but no mail will be lost. <color #D9230F>Please note that the fridges will be emptied on Monday July 25th at noon</color>. Make sure to pick up your belongings before that time.

\\ 

=== Actualités ===  

  * **PODC'22 / Accepted paper** : **P. Fraigniaud** (IRIF) and A. Paz, S. Rajsbaum are among the four papers coauthored by IRIF members presented at PODC'22 **July 25-29 2022** in Salerno, Italy. They will present their paper [[https://arxiv.org/abs/2206.05356|A Speedup Theorem for Asynchronous Computation with Applications to Consensus and Approximate Agreement]] introducing an extension to asynchronous distributed computing of the speedup technique for finding lower bounds, which was originally designed for synchronous failure-free computing. This extension allowed the authors to lower bounding the complexity of several variants of agreement tasks, even for models using sophisticated objects such as test&set and binary consensus, in addition to read/write registers.
 
  * **CSGT 2022** : Zhouningxin Wang will present "Circular Flows in Mono-directed Eulerian Signed Graphs" at the [[https://kam.mff.cuni.cz/conferences/csgt2022/index.html|8th Czech-Slovak International Symposium on Graph Theory, Combinatorics, Algorithms and Applications]]. The talk is based on a joint work with J. Li (China), R. Naserasr (IRIF), and X. Zhu (China).  

  * **Célébration de 75 ans d'informatique en France** : Le LIP6 et l’IRIF ont organisé en mai dernier un événement pour célébrer les 75 ans de l’informatique en France ! Découvrez cette soirée sur la [[https://www.youtube.com/watch?v=NFRzHm9NS7E&list=PLHMPwNnBQPmhZRgbXbNv4u75-h-timv2h&index=1|chaîne Youtube du LIP6-Sorbonne Université]].

  * **[Rappel] 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}}.      

\\

=== Focus on the 2022 EATCS Award and the 2022 Presburger Award ===

  * The **EATCS Award committee** selects [[https://www.google.com/url?sa=t&rct=j&q=&esrc=s&source=web&cd=&cad=rja&uact=8&ved=2ahUKEwiYysrSkYz5AhUa_4UKHcXFCWgQFnoECAUQAQ&url=https%3A%2F%2Fwww.di.ens.fr%2F~cousot%2Findex.html&usg=AOvVaw26GgzLZZ7KOGeSQoOW0V4l|Patrick Cousot]] as the recipient of the [[https://eatcs.org/index.php/eatcs-award|2022 EATCS Award]].
**Patrick Cousot** and his late wife Radhia Cousot introduced and developed the framework of abstract interpretation for program analysis. Abstract interpretation formalizes the interplay of static abstraction with dynamic execution for reasoning about the correctness of programs. Since its introduction in 1977, abstract interpretation has become one of the fundamental concepts in programming languages and compiler optimization and has greatly influenced the theory and practice of many related fields, from verification and software engineering to real-time systems and security. Dozens of new instantiations, extensions, and applications of the framework are published every year. Patrick has devoted a lifetime of research to abstract interpretation, having not only formulated the elegant mathematics that lies at the core the framework, but also leading its transition to industrial use, most notably through the Astree project for the analysis of avionics and space software. Recently Patrick summarized his life’s work in the textbook “Principles of Abstract Interpretation.”

{{:intranet:lettre-irif:2022-07-22:img_2182.jpg?200 |}}

  * **The 2022 Presburger Award Committee** has unanimously selected [[https://www.google.com/url?sa=t&rct=j&q=&esrc=s&source=web&cd=&cad=rja&uact=8&ved=2ahUKEwi4x_jAkYz5AhUWcxoKHecDCWkQFnoECAgQAQ&url=https%3A%2F%2Fmath.mit.edu%2Fdirectory%2Fprofile%3Fpid%3D2270&usg=AOvVaw2bnxk7IjEdKWbSNEanfYe6|Dor Minzer]] as the recipient of the [[https://eatcs.org/index.php/component/content/article/1-news/2914-presburger-award-2022-laudatio-for-dor-minzer|2022 EATCS Presburger Award for Young Scientists]] for his deep technical contributions towards resolving the 2-to-2 Games Conjecture.
The Unique Games Conjecture, formulated in 2002, is one of the central open questions in theoretical computer science, providing a plausible explanation of the hardness of approximation for a variety of natural problems, and weaving connections between computational complexity, algorithms, analysis, and geometry. While the jury is still out on this conjecture, the closely related variant of the 2-to-2 Games Conjecture was recently resolved by Minzer and his co-authors over a remarkable series of four papers between 2017 and 2018. "Lesser" variant notwithstanding, it has several important consequences, including establishing the hardness of distinguishing between almost-4-colourable graphs from almost-k-colourable graphs for constant k, and ruling out a polynomial-time-vs-truly-exponential-time dichotomy for approximating constraint satisfaction problems.
\\ The proof of the 2-to-2 Games Conjecture involves a complex process of reformulating and reducing it to a concrete combinatorial hypothesis about the expansion properties of Grassmann graphs, and then proving this hypothesis using tools from the analysis of Boolean functions.
\\ Minzer has also to his credit other strong and insightful results, in areas spanning property testing, information complexity, invariance and isoperimetry, noise sensitivity, and more. Minzer's work establishes him as a world leader in Boolean function analysis, an area central to obtaining and understanding many diverse and significant advances in theoretical computer science.

=== Appels d'offres et informations des partenaires ===

  * **ANR / Appel à projets générique 2023** : Principal appel de l’Agence nationale de la recherche (ANR), l’[[https://anr.fr/fr/detail/call/aapg-appel-a-projets-generique-2023/|Appel à projets générique 2023 (AAPG 2023)]] s’adresse à toutes les communautés scientifiques et à tous les acteurs publics ou privés impliqués dans la recherche française. Il doit permettre aux chercheurs et chercheuses des différents domaines scientifiques, d’accéder, en complément des financements récurrents qui leur sont alloués, à des co-financements sur un grand nombre de thématiques de recherche, finalisées ou non. L'AAPG 2023 est **ouvert depuis le 18/07/2022**. Clôture de la soumission des pré-propositions le **07/11/2022 à 17h00 CET**.

  * **Université Paris Cité / Multilingualism Week** : As part of the European University Circle U., Dans le cadre de Circle U., the [[https://u-paris.fr/évènement/circle-u-la-semaine-du-multilinguisme-a-kings-college-london/|« Multilingualism Week »]] will take place on **September 5-9 at King’s College, London**. On September 8 afternoon, the large public will be able to attend online two activities on the programme.
    * [[https://www.circle-u.eu/events/2022/think-and-do-tank-cafe.html|Circle U. Think and Do Tank Café]] - September 8 | 15h30-16h30 (CEST) : The goal of this activity is to explore how informal learning groups of doctoral students succeed in improving their oral skills in other languages through thematic discussions around their own research. [[https://sondage.app.u-paris.fr/224485?lang=en|Register here]].
    * [[https://www.circle-u.eu/events/2022/policy-roundtable-on-multilingualism-in-higher-edu.html|Policy Roundtable on Multilingualism in Higher Education]] - September 8 | 17h00-20h00 (CEST) : The goal of this policy roundtable is among other things to explore the obstacles and opportunities related to the alliance’s ambition of increasing multilingual practices and opportunities at our home universities.



**Newsletter des partenaires** : Les lettres arrivent sporadiquement aux membres de l'IRIF. Elles sont donc listées ci-dessous.
  * [[http://xwx9u.mjt.lu/nl3/7BYC6KlEZXz9E7dIbSvQaw?m=AUUAAFy6km4AAci37fQAAKsUJ0kAAYCsKfkAnFtJAAxjBwBi2UonhogIUZ3tSwulmkvdFRa-TQAMZ5w&b=f6611fb5&e=c63a226c&x=AKRzCSvBZGUwtdkysKcPMA|Newsletter de l'ANR]] de juillet-août 2022
  * [[https://u-paris.fr/?mailpoet_router&endpoint=track&action=click&data=WyI1MzAiLCIxYXFleHU4ZjFrOXc0Z3drZ3c0azRzMDAwc2dnbzg4YyIsIjQyNyIsIjk5YWQ1NTRlNzJkNiIsZmFsc2Vd|Université Paris Infos]] du 21/07/2022
  * [[https://u-paris.fr/diip?mailpoet_router&endpoint=track&action=click&data=WyI1MTIiLCJzdGxwMmJnYmU5Y3M0a3dzZ3M0a2Nvc29rODRvdzRncyIsIjciLCI4OGViZDhjYWMyZDUiLGZhbHNlXQ|Newsletter Diip]] de juillet 2022
  * [[http://click.revue.email/ss/c/XN2t88CAhalHja1RClwc6nfV-nStt3kVsgZH5NOVlm0s4-JsRnL-EwwY36x0vLmBdQSS-qlw9MAmAHhTsikDIjGxldb4QTFXzYJqzuGfT6dK9H2OcZuKypTneOmOLbLxILsuXjrPLOzsvo5M7RzVKEP04H3xtLBFCfanNGMjhhbhmwwU-CtJYlOOkZORzKKNbtRftFK2pPqwNl6oqIk8q-nOqWlZOQCbFVh-1f6b7jN11dJjSCPoispUVa29f-b8/3nw/4g6B8uZHRA6SwlwMMbY6bg/h1/idD4QPVBWvwxziVkWhx0A6cxZDMkf7eZNUxySSYzxGs|Newsletter de l'INS2I - CNRS #11]] du 20/07/2022
  * [[https://u-paris.fr/sciences?mailpoet_router&endpoint=track&action=click&data=WyIxMzUiLCIxMnlqeGxyMXd6ZzBzNGtvOGswNHc4Zzh3ODBza2NvOCIsIjIyIiwiZWMyZTk4ZjZmOGIwIixmYWxzZV0|L'actualité de la Faculté des Sciences]] du 19/07/2022

  
\\