/*** DO NOT EDIT THIS FILE Create/edit news at https://www.irif.fr/admindb/actus/ This file was automatically generated (date = 2024-05-12, filename =/var/www/dw/data/pages/en/actualites/archives_2022.txt) ***/ /*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2022-12-14-bouajjani-honorary-doctor.txt sorting priority 0 ***/
[[https://www.teknat.uu.se/news/nyhetsdetaljsida/?id=19762&typ=artikel&lang=en|{{:actualites:ressources:photo_bouajjani_3.jpg?60 |Ahmed Bouajjani Honorary Doctor}}]] //14.12.2022//\\ **Ahmed Bouajjani** (IRIF) figures among the [[https://www.teknat.uu.se/news/nyhetsdetaljsida/?id=19762&typ=artikel&lang=en|nine new honorary doctors appointed at Faculty of Science and Technology of Uppsala University]]. His research focuses on verification, specification and semantics for parallel and distributed programs and computer systems. [[https://www.teknat.uu.se/news/nyhetsdetaljsida/?id=19762&typ=artikel&lang=en|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2022-12-14-portrait-marie-albenque.txt sorting priority 0 ***/
[[https://www.irif.fr/portraits/marie_albenque_1er_octobre_2022|{{:actualites:ressources:img_20221019_173030.jpeg?60 |Portrait Marie Albenque}}]] //14.12.2022//\\ We are very pleased to welcome **Marie Albenque**, **Senior Research Scientist** at CNRS. Learn more about her and her work in [[https://www.irif.fr/portraits/marie_albenque_1er_octobre_2022|this written interview]]. [[https://www.irif.fr/portraits/marie_albenque_1er_octobre_2022|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2022-12-12-prix-de-these-jonas-landman.txt sorting priority 0 ***/
[[https://www.irif.fr/portraits/jonas-landman|{{:actualites:ressources:image_6483443.jpg?60 |Prix de thèse de la chancellerie des Universités de Paris}}]] //12.12.2022//\\ **Jonas Landman**, former PhD student at IRIF, is the 2022 winner of a **thesis Prize from Chancellerie des Universités de Paris**. His thesis [[https://arxiv.org/pdf/2111.03598.pdf|“Quantum Algorithms for Unsupervised Machine Learning and Neural Networks”]] was awarded in the **All Specialties Science Prize Category**. [[https://www.irif.fr/portraits/jonas-landman|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2022-12-06-portrait-lauren-k-williams.txt sorting priority 0 ***/
[[https://www.irif.fr/portraits/lauren_williams_1er_octobre_2022|{{:actualites:ressources:williams_lauren_rose_lincoln_harvard_staff_photographer.jpg?60 |One-year visitor - Lauren K. Williams}}]] //6.12.2022//\\ We are happy to host **Lauren K. Williams** for a one-year visit at IRIF. To know more about her and her research, [[https://www.irif.fr/portraits/lauren_williams_1er_octobre_2022|read her interview]]. [[https://www.irif.fr/portraits/lauren_williams_1er_octobre_2022|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2022-11-30-itcs-2023-laplante.txt sorting priority 0 ***/
[[https://eccc.weizmann.ac.il/report/2022/143|{{:actualites:ressources:itcs2023_sophie_laplante.png?60 |Accepted paper ITCS 2023 - Sophie Laplante}}]] //30.11.2022//\\ **Sophie Laplante** (IRIF) and **Anupa Sunny** (IRIF) will present at [[http://itcs-conf.org/itcs23/itcs23-accepted.html|ITCS 2023]] their paper [[https://eccc.weizmann.ac.il/report/2022/143|Certificate Games]] in which players are given inputs x, y such that f(x)\≠f(y). Their goal is to find a position where the bits of their inputs differ. This simple new game can be used to give bounds on query complexity, block sensitivity and several other complexity measures. [[https://eccc.weizmann.ac.il/report/2022/143|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2022-11-25-prix-informatique-lovelace-babbage.txt sorting priority 0 ***/
[[https://www.societe-informatique-de-france.fr/recherche/prix-informatique-lovelace-babbage-de-lacademie/|{{:actualites:ressources:ada_lovelace-photo.jpeg?60 |Prix informatique Lovelace-Babbage 2023}}]] //25.11.2022//\\ Le [[https://www.societe-informatique-de-france.fr/recherche/prix-informatique-lovelace-babbage-de-lacademie/|prix informatique Lovelace-Babbage]] de l’Académie des Sciences 2023 récompense des scientifiques dont les travaux, des plus théoriques aux plus appliqués, contribuent à la **création des nouvelles technologies**. Date limite pour constituer son dossier de candidature : **10 décembre 2022.** [[https://www.societe-informatique-de-france.fr/recherche/prix-informatique-lovelace-babbage-de-lacademie/|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2022-11-23-cap-2022.txt sorting priority 0 ***/
[[https://indico.math.cnrs.fr/event/8730/|{{:actualites:ressources:cap-2022.png?60 |Conference CAP 2022}}]] //23.11.2022//\\ **Nicolas Behr** (IRIF) and **Paul-André Melliès** (IRIF) will speak at the [[https://indico.math.cnrs.fr/event/8730/|CAP 22 conference]] which will take place at IHES on **Monday 28 and Tuesday 29 November**. The registration to the conference is free but mandatory. [[https://www-lipn.univ-paris13.fr/~duchamp/Conferences/CAP22/Schedule/CAP22_schedule.pdf|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2022-11-23-itcs-2023.txt sorting priority 0 ***/
[[http://itcs-conf.org/itcs23/itcs23-accepted.html|{{:actualites:ressources:itcs_logo.png?60 |Accepted papers ITCS 2023}}]] //23.11.2022//\\ **3 papers coauthored by IRIF members** will be presented at [[http://itcs-conf.org/itcs23/itcs23-accepted.html|ITCS - Innovations in Theoretical Computer Science 2023]]. [[http://itcs-conf.org/itcs23/itcs23-accepted.html|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2022-11-18-eqsi-launch.txt sorting priority 0 ***/
[[https://qusoft.org/2022/11/14/launch-of-eqsi-european-quantum-software-institute-in-paris/|{{:actualites:ressources:eqsi-launch.jpg?60 |The EQSI is launched}}]] //18.11.2022//\\ On November 8th, **Iordanis Kerenidis (IRIF)** and 5 other founding members officially launched the [[https://qusoft.org/2022/11/14/launch-of-eqsi-european-quantum-software-institute-in-paris/|EQSI-European Quantum Software Institute]] with a stakeholder event in Paris. This initiative aims to further align development processes and jointly achieve responsible innovation in Europe for **Quantum Software** and **Quantum Algorithms**, through co-creation with industry and Quantum Hardware partners. [[https://qusoft.org/2022/11/14/launch-of-eqsi-european-quantum-software-institute-in-paris/|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2022-11-18-synthese-nationale-mathematiques.txt sorting priority 0 ***/
[[https://www.hceres.fr/fr/actualites/publication-de-la-synthese-nationale-et-de-prospective-sur-les-mathematiques|{{:actualites:ressources:20221109_235847.jpg?60 |Synthèse nationale des Mathématiques}}]] //18.11.2022//\\ Le Hcéres a publié la [[https://www.hceres.fr/fr/actualites/publication-de-la-synthese-nationale-et-de-prospective-sur-les-mathematiques|synthèse nationale et de prospective sur les mathématique]]s. Cette synthèse est constituée de **trois volumes** fruit d’un travail inédit mené pendant 2 ans par le comité d’experts dont fait partie **Valérie Berthé (IRIF).** [[https://www.hceres.fr/fr/SNM-2022-vol-1|Volume 1 : Rapport principal]]. [[https://www.hceres.fr/fr/SNM-2022-vol-2|Volume 2 : Analyse disciplinaire et des interactions scientifiques]]. [[https://www.hceres.fr/fr/SNM-2022-vol-3|Volume 3 : Caractérisation des publications dans le monde et en France]]. [[https://www.hceres.fr/fr/actualites/publication-de-la-synthese-nationale-et-de-prospective-sur-les-mathematiques|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2022-11-16-assises-des-maths.txt sorting priority 0 ***/
[[https://www.assises-des-mathematiques.fr|{{:actualites:ressources:assisesdesmaths.png?60 |Assises des Mathématiques}}]] //16.11.2022//\\ Les [[https://www.assises-des-mathematiques.fr|Assises des Mathématiques]] se déroulent à la Maison de l’Unesco du **14 au 16 novembre 2022**. **Valérie Berthé** et **Claire Mathieu**, deux membres de l’IRIF, sont intervenues respectivement à la **Table ronde sur la Synthèse nationale des Mathématiques** et à la **Table ronde sur les interactions entre les Mathématiques et les autres sciences**. [[https://www.assises-des-mathematiques.fr|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2022-11-14-nomination-iuf-olivier-carton.txt sorting priority 0 ***/
[[https://www.ins2i.cnrs.fr/fr/cnrsinfo/olivier-carton-la-normalite-de-laleatoire|{{:actualites:ressources:nomination-iuf-olivier-carton.jpeg?60 |Nomination IUF - Olivier Carton}}]] //14.11.2022//\\ Congratulations to **Olivier Carton (IRIF)**, head of the pole [[https://www.irif.fr/en/poles/asv/index|Automata, structures and verification]] at IRIF and recently **appointed senior member of Institut universitaire de France (IUF)**. He is interested by the links and connexions between normality and automata. [[https://www.ins2i.cnrs.fr/fr/cnrsinfo/olivier-carton-la-normalite-de-laleatoire|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2022-11-14-soda2023-adrian-vladu.txt sorting priority 0 ***/
[[https://t.co/wg4gyStInN|{{:actualites:ressources:disc.png?60 |Accepted papers SODA 2023 - Adrian Vladu}}]] //14.11.2022//\\ Lucas Pesenti and **Adrian Vladu (IRIF)** will present, at [[https://www.siam.org/conferences/cm/conference/soda23|SODA 2023]], their paper [[https://t.co/wg4gyStInN|Discrepancy Minimization via Regularization]]. They make progress towards conjectures in discrepancy theory by showing that Newton's method can produce low discrepancy colorings. [[https://t.co/wg4gyStInN|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2022-11-14-soda2023-guillaume-chapuy.txt sorting priority 0 ***/
[[https://t.co/9C7iiIRyVd|{{:actualites:ressources:w-tree.png?60 |Accepted papers SODA 2023 - Guillaume Chapuy}}]] //14.11.2022//\\ **Guillaume Chapuy (IRIF)** and Guillem Perarnau (Universitat Politècnica de Catalunya) will present, at [[https://www.siam.org/conferences/cm/conference/soda23|SODA 2023]], [[https://t.co/9C7iiIRyVd|their paper]] proving that almost all automata with n states have a reset word not much longer than √n. This is based on a structure result saying that almost all automata are w-trees (i.e., the w-transitions induce a tree), for some very short word w — whose length is only logarithmic. [[https://t.co/9C7iiIRyVd|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2022-11-07-fraigniaud-workshop.txt sorting priority 0 ***/
[[https://www.irif.fr/fraigniaud-workshop/index|{{:actualites:ressources:pierre.jpeg?60 |FRAIGNIAUD Workshop}}]] //7.11.2022//\\ The [[https://www.irif.fr/fraigniaud-workshop/index|FRAIGNIAUD workshop]] (Fundamental Research and Algorithmic Innovations in Graphs, Networks and the Internet, with Applications and Upcoming Directions) will take place in Paris on the **28th and 29th of November**, on the occasion of Pierre FRAIGNIAUD’s 60th birthday. [[https://www.irif.fr/fraigniaud-workshop/index|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2022-11-02-laureats-chancellerie-2022.txt sorting priority 0 ***/
[[https://www.sorbonne.fr/la-chancellerie-des-universites-de-paris/v2la-chancellerie-des-universites-de-paris-recompense-lexcellence-universitaire-et-propose-des-prix/les-prix-universitaires/|{{:actualites:ressources:chancellerie_2022.png?60 |Lauréat Prix de thèse de la Chancellerie des Université de Paris}}]] //2.11.2022//\\ **Jonas Landman**, former PhD student at IRIF is the [[https://www.sorbonne.fr/la-chancellerie-des-universites-de-paris/v2la-chancellerie-des-universites-de-paris-recompense-lexcellence-universitaire-et-propose-des-prix/les-prix-universitaires/|2022 winner of the Thesis Prize Chancellerie des Universités de Paris]]. His thesis entitled [[https://arxiv.org/pdf/2111.03598.pdf|Quantum Algorithms for Unsupervised Machine Learning and Neural Networks]] was awarded in the **All Specialties Science Prize Category**. [[https://www.sorbonne.fr/la-chancellerie-des-universites-de-paris/v2la-chancellerie-des-universites-de-paris-recompense-lexcellence-universitaire-et-propose-des-prix/les-prix-universitaires/|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2022-10-27-gaetan-douenau-tabot-best-student-papers.txt sorting priority 0 ***/
[[https://www.irif.fr/portraits/gaetan-doueneau-tabot|{{:actualites:ressources:mfcs2022-bestpapers.jpg?60 |Gaëtan Douéneau-Tabot lauréat 2022 Best Student Paper Awards}}]] //27.10.2022//\\ **Gaëtan Douéneau-Tabot**, doctorant en 3ème année à l’IRIF, est **lauréat 2022 de deux Best Student Paper Awards** remis par les deux principales conférences organisées par l’[[https://eatcs.org/|EATCS]] : [[https://icalp2022.irif.fr/|ICALP]] et [[https://www.ac.tuwien.ac.at/mfcs2022/|MFCS]]. En juillet 2022, il a reçu le Best Student Paper Award track B à ICALP et en août 2022, il a reçu un second prix à la conférence MFCS. Il nous explique sa recherche dans cette [[https://www.irif.fr/portraits/gaetan-doueneau-tabot|interview écrite]]. [[https://www.irif.fr/portraits/gaetan-doueneau-tabot|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2022-10-27-accepted-papers-soda-2023.txt sorting priority 0 ***/
[[https://www.siam.org/conferences/cm/program/accepted-papers/soda23-accepted-papers|{{:actualites:ressources:soda2023.png?60 |Accepted papers SODA 2023}}]] //27.10.2022//\\ **2 papers coauthored by IRIF members** will be presented at [[https://www.siam.org/conferences/cm/conference/soda23 |SODA 2023]], **January 22-25**. [[https://www.siam.org/conferences/cm/program/accepted-papers/soda23-accepted-papers|Complete list of accepted papers here]]. [[https://www.siam.org/conferences/cm/program/accepted-papers/soda23-accepted-papers|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2022-10-25-prix-national-cs-mexique.txt sorting priority 0 ***/
[[http://amexcomp.mx/index.php?r=site/page&view=premio2022|{{:actualites:ressources:foto-rajsabaum.jpg?60 |National Prize of Computer Science - Mexico}}]] //25.10.2022//\\ **Sergio Rajsbaum**, a one-year visitor at IRIF, has received the [[http://amexcomp.mx/index.php?r=site/page&view=premio2022|Computer Science National Prize of Mexico]]. His research mainly focuses on **distributed computing systems**: what can be done as a system? What are the limits? Learn more about him and his work in this [[https://www.irif.fr/portraits/sergio_rajsbaum_1er_octobre_2022|written interview]]. [[http://amexcomp.mx/index.php?r=site/page&view=premio2022|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2022-10-24-postdocs-position.txt sorting priority 0 ***/
[[https://www.irif.fr/postes/postdoc|{{:actualites:ressources:63b9668.jpg?60 |Postdocs positions at IRIF}}]] //24.10.2022//\\ **Various postdoc positions available at IRIF** : several openings in the [[https://www.irif.fr/en/equipes/algocomp/index|Algorithms and Complexity group]] and a 14-month position available in the **Polymorphic records in Elixir project**. [[https://www.irif.fr/postes/postdoc|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2022-10-24-hal-collection.txt sorting priority 0 ***/
[[https://hal-cnrs.archives-ouvertes.fr/IRIF/|{{:actualites:ressources:hal.logo.en.png?60 |IRIF Hal Collection}}]] //24.10.2022//\\ IRIF now has a [[https://hal-cnrs.archives-ouvertes.fr/IRIF/|HAL webpage]], an **open archive** where authors can deposit scholar documents from all academic fields. [[https://hal-cnrs.archives-ouvertes.fr/IRIF/|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2022-10-24-onglet-mediation.txt sorting priority 0 ***/
[[https://www.irif.fr/index|{{:actualites:ressources:onglet_me_diation.png?60 |Onglet médiation}}]] //24.10.2022//\\ L'IRIF inaugure un nouvel **onglet “Médiation”** sur son site web. Cet onglet rassemble les **activités et projets de médiation scientifique** organisés par le laboratoire. Vous y trouverez les informations autour de la [[https://www.irif.fr/mediation/fdls|Fête de la Science]], les [[https://www.irif.fr/mediation/scolaire|stages scolaires d'observation]], l'[[https://icalp2022.irif.fr/?page_id=1111|exposition sur les 50 ans d'informatique théorique]] et le [[https://www.irif.fr/users/qubobs/index|projet QuBOBS]] de Sophie Laplante. [[https://www.irif.fr/index|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2022-10-21-fdls2022-parcours-quantique.txt sorting priority 0 ***/
[[https://www.irif.fr/mediation/fdls|{{:actualites:ressources:collage_quantique.png?60 |Fête de la Science 2022 - Parcours quantique}}]] //21.10.2022//\\ Les **13 et 14 octobre 2022**, l'IRIF et le [[https://t.co/TmooySJRzj|laboratoire MPQ]] ont proposé aux classes de lycée un **parcours quantique A la Découverte des Technologies Quantiques** incluant une **conférence sur la cryptographie**, un **atelier sur le protocole BB84**, un atelier sur les **ions piégés** et un autre sur les **photons intriqués**. [[https://www.irif.fr/mediation/fdls|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2022-10-21-quantech-seminar-cycle-fall-2022.txt sorting priority 0 ***/
[[https://u-paris.fr/en/graduateschools/quantum-technologies/|{{:actualites:ressources:affiche-seminarcyclequanttech2022.png?60 |QuanTech Seminar Cycle - Fall 2022}}]] //21.10.2022//\\ A new [[https://u-paris.fr/en/graduateschools/quantum-technologies/|QuanTech Seminar Cycle]] will take place on **October 14, 21, 28 and December 2nd**. The seminars provide an overview of the different approaches to implementing quantum technologies ranging from aspects of physics to computer science, and from academic to industrial research. [[https://u-paris.fr/en/graduateschools/quantum-technologies/|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2022-10-21-portrait-sylvain-douteau.txt sorting priority 0 ***/
[[https://www.irif.fr/portraits/sylvain_douteau_1er_octobre_2022|{{:actualites:ressources:photo_sylvain_douteau.jpg?60 |Portrait Sylvain Douteau}}]] //21.10.2022//\\ We are very pleased to welcome **Sylvain Douteau**, Associate professor at Université Paris Cité. Learn more about his work in this [[https://www.irif.fr/portraits/sylvain_douteau_1er_octobre_2022|written interview]]. [[https://www.irif.fr/portraits/sylvain_douteau_1er_octobre_2022|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2022-10-21-interviews-fsmp-icalp-2022.txt sorting priority 0 ***/
[[https://sciencesmaths-paris.fr/f/actualites-fr/icalp-2022-les-interviews-videos|{{:actualites:ressources:video-icalp_2022.png?60 |Interviews FSMP à ICALP 2022}}]] //21.10.2022//\\ The [[https://sciencesmaths-paris.fr|FSMP]] was present at [[https://icalp2022.irif.fr/|ICALP 2022]] this summer and took the opportunity to meet the computer scientists **Patrick Cousot** (New York University), winner of the EATCS prize, **Leslie Ann Goldberg** (Oxford University), plenary speaker, **Craig Gentry** (IBM Research), **Zvika Brakerski** (Weizmann Institute of Science) and **Vinod Vaikuntanathany** (University of Toronto), winners of the Gödel prize, **Gaëtan Douéneau** (PhD student at IRIF), best student paper award, and **Geoffroy Couteau**(IRIF), member of the organization of this edition. [[https://sciencesmaths-paris.fr/f/actualites-fr/icalp-2022-les-interviews-videos|All the videos interviews here]]. [[https://sciencesmaths-paris.fr/f/actualites-fr/icalp-2022-les-interviews-videos|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2022-10-21-fdls2022-initiation-informatique.txt sorting priority 0 ***/
[[https://www.irif.fr/mediation/fdls|{{:actualites:ressources:pxl_20221011_122936679.mp.jpg?60 |Fête de la Science 2022 - Initiation à l'informatique}}]] //21.10.2022//\\ Du 7 au 17 octobre 2022, l’IRIF et l’UFR d’Informatique ont accueilli une dizaine de classes de fin primaire-début collège dans le cadre des **activités de la Fête de la Science**. Au programme, un **baptême de programmation** et plusieurs **îlots de jeux pour s’initier à l’informatique** en s’amusant. Plus d’informations sur notre [[https://www.irif.fr/mediation/fdls|page dédiée à la Fête de la Science]]. [[https://www.irif.fr/mediation/fdls|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2022-09-28-workshop-thomas-ehrhard.txt sorting priority 0 ***/
[[https://te60.linear-logic.org/|{{:actualites:ressources:photote.png?60 |Thomas Ehrhard}}]] //28.9.2022//\\ **Thomas Ehrhard**, CNRS senior researcher at IRIF, turned 60 in 2021. A meeting will take place in Paris, at the CNAM, on 29-30 September 2022 to celebrate Ehrhard’s contributions to logic and the semantics of programming languages. For more information, follow the arrow: [[https://te60.linear-logic.org/|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2022-09-19-prix-test-of-time-lics-2022.txt sorting priority 0 ***/
[[https://ieeexplore.ieee.org/document/1029846|{{:actualites:ressources:pexels-markus-spiske-7085554.jpg?60 |Test of Time Award - LICS'22}}]] //19.9.2022//\\ Philippe Schnoebelen (LMF), **François Laroussinie (IRIF)** and Nicolas Markey (IRISA), received the **Test-of-Time award** at the [[https://lics.siglog.org/lics22/|conference LICS 2022]] for their [[https://ieeexplore.ieee.org/document/1029846|research on temporal logic]]. [[https://www.ins2i.cnrs.fr/fr/cnrsinfo/trois-chercheurs-recompenses-pour-leurs-travaux-sur-la-logique-temporelle?utm_campaign=INS2I%20-%20CNRS&utm_medium=email&utm_source=Revue%20newsletter|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2022-09-07-ecole-ete-nairobi.txt sorting priority 0 ***/
[[https://indico.ictp.it/event/9815/overview|{{:actualites:ressources:ecole-ete-nairobi.jpeg?60 |ICTP-EAUMP School on Mathematical Programming and Algorithms}}]] //7.9.2022//\\ IRIF is a co-sponsor of the [[https://indico.ictp.it/event/9815/overview|ICTP-EAUMP School on Mathematical Programming and Algorithms]] - an African Mathematical School. The 2022 summer school organized by the University of Nairobi took place at Kenya School of Government, Nairobi, **Kenya 11-29 July, 2022.** Three IRIF members took part of this project: [[http://yunes.informatique.univ-paris-diderot.fr/|Jean-Baptiste Yunès]], [[https://www.irif.fr/~mantaci/|Roberto Mantaci]] and [[https://www.irif.fr/~vanden/|Anna Vanden Wyngaerd]]. [[https://indico.ictp.it/event/9815/overview|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2022-09-02-houcine-best-paper.txt sorting priority 0 ***/
[[http://fpsac.org/best_student_papers/|{{:actualites:ressources:houcine-ben-dali.jpg?60 |Houcine Ben Dali - Best paper award FPSAC'22}}]] //2.9.2022//\\ [[https://www.irif.fr/users/bendali/index|Houcine Ben Dali]], PhD student at IRIF and IECL was awarded [[http://fpsac.org/best_student_papers/|Best student paper at FPSAC’22]] for his article [[https://www.irif.fr/_media/users/bendali/integrality_in_matching_jack_fpsac_4_.pdf|Integrality in the Matching-Jack conjecture and the Farahat-Higman algebra]]. [[https://www.irif.fr/_media/users/bendali/integrality_in_matching_jack_fpsac_4_.pdf|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2022-09-02-podcast-decode-quantum.txt sorting priority 0 ***/
[[https://www.frenchweb.fr/decode-quantum-a-la-rencontre-de-frederic-magniez-directeur-du-laboratoire-irif/435115?utm_medium=social&utm_source=twitter|{{:actualites:ressources:magniez_podcast_decode-quantum.png?60 |Podcast DECODE quantum}}]] //2.9.2022//\\ Pour son 48ème épisode, le [[https://www.frenchweb.fr/decode-quantum-a-la-rencontre-de-frederic-magniez-directeur-du-laboratoire-irif/435115?utm_medium=social&utm_source=twitter|podcast DECODE Quantum]] a reçu le directeur de l'IRIF **Frédéric Magniez** dans un entretien approfondi sur le quantique. Il est question, entre autres, d'**algorithmes quantiques**, de leur intérêt et de leur construction. [[https://www.frenchweb.fr/decode-quantum-a-la-rencontre-de-frederic-magniez-directeur-du-laboratoire-irif/435115?utm_medium=social&utm_source=twitter|Par ici pour écouter l'émission]]. [[https://www.frenchweb.fr/decode-quantum-a-la-rencontre-de-frederic-magniez-directeur-du-laboratoire-irif/435115?utm_medium=social&utm_source=twitter|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2022-09-02-prix-irene-joliot-curie-2022.txt sorting priority 0 ***/
{{:actualites:ressources:prix-irene-joliot-curie.jpeg?60 |Prix Irène Joliot-Curie 2022}} //2.9.2022//\\ Plus que quelques jours pour déposer votre candidature au [[https://www.enseignementsup-recherche.gouv.fr/fr/prix-irene-joliot-curie-lancement-de-l-edition-2022-85931|Prix Irène Joliot-Curie]], ce prix qui vise à **promouvoir la place des femmes dans la recherche et la technologie en France**. Clôture des candidatures le **8/09/2022**.
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2022-09-02-prix-lovelace-babbage.txt sorting priority 0 ***/
[[https://www.societe-informatique-de-france.fr/2022/06/creation-du-prix-lovelace-babbage-sif-academie-des-sciences/|{{:actualites:ressources:prixlovelacebabbage-768x985.jpg?60 |Création du prix Lovelace-Babbage}}]] //2.9.2022//\\ L’**Académie des sciences** et la **Société informatique de France** annoncent la création d’un **nouveau prix en informatique** : le [[https://www.societe-informatique-de-france.fr/2022/06/creation-du-prix-lovelace-babbage-sif-academie-des-sciences/|prix Lovelace-Babbage]]. [[https://www.societe-informatique-de-france.fr/2022/06/creation-du-prix-lovelace-babbage-sif-academie-des-sciences/|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2022-09-02-etaps-2023.txt sorting priority 0 ***/
[[https://etaps.org/2023/|{{:actualites:ressources:etaps2023.jpeg?60 |ETAPS 2023}}]] //2.9.2022//\\ The next [[https://etaps.org/2023/|ETAPS conference]], a forum of top-conferences in computer science, will happen **in Paris, April 22-27 2023**. [[https://etaps.org/2023/call-for-papers|Paper submission]] is opened until **October 13, 2022, 23:59 AoE**. [[https://etaps.org/2023/|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2022-09-02-coa-2022.txt sorting priority 0 ***/
[[https://www.irif.fr/gt-coa/workshop2022|{{:actualites:ressources:logo-coa.png?60 |Workshop CoA 2022}}]] //2.9.2022//\\ The [[https://www.irif.fr/gt-coa/workshop2022|2nd Workshop Complexity and Algorithms (CoA 2022)]] will take place in **September 26-28 2022** at Institut Henri Poincaré (IHP), Paris. Scientific program includes talks from invited speakers **Marthe Bonamy (LaBRI)**, **Carola Doerr (LIP6)**, **Sébastien Tavenas (LAMA)** and **Adrian Vladu (IRIF)**. [[https://www.irif.fr/gt-coa/workshop2022|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2022-08-31-baptiste-louf-prix-these-chancellerie.txt sorting priority 0 ***/
[[https://www.irif.fr/portraits/baptiste-louf|{{:actualites:ressources:laure_ats-universite_-de-paris.jpg?60 |Baptiste Louf Prix de Thèse}}]] //31.8.2022//\\ **Baptiste Louf**, a former IRIF PhD. student is the 2021 winner of the [[https://u-paris.fr/prix-solennels-de-these-de-la-chancellerie-des-universites-2021/|Chancellerie des Universités de Paris thesis award]] in the “all specialties” science category. Learn more about his work in this [[https://www.irif.fr/portraits/baptiste-louf|written interview]]. [[https://www.irif.fr/portraits/baptiste-louf|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2022-08-26-podc-2022-vacus-korman.txt sorting priority 0 ***/
[[https://arxiv.org/abs/2203.11522|{{:actualites:ressources:hat_owls.png?60 |Accepted paper PODC 2022 R. Vacus & A. Korman}}]] //26.8.2022//\\ **Amos Korman** (IRIF) and **Robin Vacus** (IRIF) presented at [[https://www.podc.org/podc2022/accepted-papers/|PODC'22]] their paper studying agreement processes in stochastic environments using minimal communication, inspired by biological scenarios. [[https://arxiv.org/abs/2203.11522|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2022-08-11-interview-la-recherche-goldberg.txt sorting priority 0 ***/
[[https://www.larecherche.fr/informatique/mon-est-de-comprendre-combien-certains-problèmes-sont-difficiles|{{:actualites:ressources:leslie_anne_goldberg.jpg?60 |Interview ICALP Leslie Ann Goldberg}}]] //11.8.2022//\\ **Leslie Ann Goldberg**, invited speaker at [[https://icalp2022.irif.fr/|ICALP 2022]] was [[https://www.larecherche.fr/informatique/mon-est-de-comprendre-combien-certains-problèmes-sont-difficiles|interviewed by La Recherche]] about some of the key issues she is interested in. [[https://www.larecherche.fr/informatique/mon-est-de-comprendre-combien-certains-problèmes-sont-difficiles|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2022-08-11-prix-de-these-sif-gilles-kahn.txt sorting priority 0 ***/
[[https://www.societe-informatique-de-france.fr/recherche/prix-de-these-gilles-kahn/|{{:actualites:ressources:prix-de-these-gilles-kahn.jpeg?60 |Prix de Thèse Gilles Kahn 2022}}]] //11.8.2022//\\ Le [[https://www.societe-informatique-de-france.fr/recherche/prix-de-these-gilles-kahn/|prix de thèse Gilles Kahn]] récompense chaque année une **excellente thèse en informatique**. Sont éligibles toutes les **thèses soutenues au sein d’établissements français** entre le **1er Septembre 2021 et le 31 Août 2022**. Date limite de dépôt des candidatures : **16 septembre 2022**. [[https://easychair.org/conferences/?conf=prixsif22|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2022-08-08-eapls-best-paper-award-2022.txt sorting priority 0 ***/
[[https://eapls.org/items/3992/|{{:actualites:ressources:eapls-award-2022.png?60 |The EAPLS Best Paper Award 2022}}]] //8.8.2022//\\ The [[https://eapls.org/|European Association for Programming Languages and Systems (EAPLS)]] has established a **Best PhD Dissertation Award** in the research area of **programming languages and systems**. Candidates for the award must be [[https://easychair.org/my/conference?conf=eapls21|nominated by their supervisor]]. **Deadline for nominations : 30 August 2022.** [[https://eapls.org/pages/phd_award/|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2022-08-08-horizon-europe-beginners.txt sorting priority 0 ***/
[[https://www.ins2i.cnrs.fr/en/horizon-europe-beginners|{{:actualites:ressources:horizon-europe-beginners.png?60 |Horizon Europe for Beginners}}]] //8.8.2022//\\ **Pierre Fraigniaud**, Senior Research Scientist at IRIF/CNRS, **Maximilien Lesellier**, Head of Administration at IRIF, and **Afonso Ferreira**, Europe scientific advisor for INS2I at CNRS have written a [[https://www.ins2i.cnrs.fr/en/horizon-europe-beginners|short document]] aiming at **helping researchers to navigate in the Horizon Europe programme** from a researcher perspective. [[https://www.ins2i.cnrs.fr/en/horizon-europe-beginners|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2022-07-28-floc-accepted-paper.txt sorting priority 0 ***/
[[https://easychair.org/smart-program/FLoC2022/CAV-2022-08-07.html|{{:actualites:ressources:cav_2022.png?60 |Accepted paper FLOC 2022}}]] //28.7.2022//\\ A paper authored by **Ahmed Bouajjani (IRIF)**, **Wael-Amine Boutglay (IRIF and UM6P-CS)**, and **Peter Habermehl (IRIF)**, will be presented on August 7 at the [[https://easychair.org/smart-program/FLoC2022/CAV-2022-08-07.html|34th Intern. Conf. on Computer Aided Verification (CAV)]] – August 7-11: //Data-driven Numerical Invariant Synthesis with Automatic Generation of Attributes.// [[https://easychair.org/smart-program/FLoC2022/CAV-2022-08-07.html|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2022-07-27-csgt-2022-zhouningxin-wang.txt sorting priority 0 ***/
[[https://kam.mff.cuni.cz/conferences/csgt2022/index.html|{{:actualites:ressources:csgt_2022.png?60 |CSGT 2022}}]] //27.7.2022//\\ **Zhouningxin Wang (IRIF)** 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). [[https://kam.mff.cuni.cz/conferences/csgt2022/program.html|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2022-07-25-knuth-price-2022.txt sorting priority 0 ***/
[[https://www.sigact.org/prizes/knuth/citation2022.pdf|{{:actualites:ressources:noga-alon-1--unknown-square.jpg?60 |2022 Knuth Prize Award}}]] //25.7.2022//\\ The [[https://www.sigact.org/prizes/knuth/citation2022.pdf|2022 Donald E. Knuth Prize]] is awarded to **Noga Alon**, Professor of Mathematics at Princeton University and Emeritus Professor of Mathematics and Computer Science at Tel Aviv University, for **foundational contributions in combinatorics and graph theory and applications to fundamental topics in computer science**. [[https://www.sigact.org/prizes/knuth/citation2022.pdf|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2022-07-25-podc-2022-fraigniaud.txt sorting priority 0 ***/
[[https://www.podc.org/podc2022/accepted-papers/|{{:actualites:ressources:image_p._fraigniaud.png?60 |Accepted paper P. Fraigniaud PODC 2022}}]] //25.7.2022//\\ **P. Fraigniaud** (IRIF) and A. Paz, S. Rajsbaum will present at [[https://www.podc.org/podc2022/accepted-papers/|PODC'22]] their paper [[https://arxiv.org/abs/2206.05356|A Speedup Theorem for Asynchronous Computation with Applications to Consensus and Approximate Agreement]]. [[https://arxiv.org/abs/2206.05356|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2022-07-18-etaps_2023.txt sorting priority 0 ***/
[[https://etaps.org/2023/call-for-papers|{{:actualites:ressources:etaps_2023.png?60 |ETAPS 2023 1st joint call for papers}}]] //18.7.2022//\\ **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.** [[https://etaps.org/2023/call-for-papers|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2022-07-18-phd_in_cyber-physical_systems_verification_learning.txt sorting priority 0 ***/
[[https://www.irif.fr/_media/postes/phd_in_cyber-physical_systems_verification_learning_irif.pdf|{{:actualites:ressources:slide_03.jpg?60 |PhD in cyber-physical systems, verification, learning}}]] //18.7.2022//\\ A **fully funded PhD position in Computer Science** with the subject [[https://www.irif.fr/_media/postes/phd_in_cyber-physical_systems_verification_learning_irif.pdf|“Cyber-physical systems with AI components: modeling, learning and verification”]] opens in IRIF, Paris, 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]]. [[https://www.irif.fr/postes/these|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2022-07-13-focs_2022.txt sorting priority 0 ***/
[[https://focs2022.eecs.berkeley.edu/accepted_papers.html|{{:actualites:ressources:logo-focs_2022.jpg?60 |Accepted paper FOCS'22}}]] //13.7.2022//\\ One paper coauthored by [[https://simonapers.github.io|Simon Apers]] (CNRS, IRIF) will be presented at [[https://focs2022.eecs.berkeley.edu/index.html|FOCS 2022]], the 63rd IEEE Symposium on Foundations of Computer Science, **October 31 - November 3 in Denver, USA.** [[https://focs2022.eecs.berkeley.edu/accepted_papers.html|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2022-07-13-fpsac_2022.txt sorting priority 0 ***/
[[https://fpsac.org/confs/fpsac-2022/|{{:actualites:ressources:poster-fpsac_2022.png?60 |Accepted paper FPSAC 2022}}]] //13.7.2022//\\ One paper coauthored by [[https://www.irif.fr/~duchi/|Enrica Duchi]] (IRIF) and [[https://www.irif.fr/~henriet/|Corentin Henriet]] (IRIF) will be presented at [[https://fpsac.org/confs/fpsac-2022/|FPSAC 2022]], the 34th International Conference on Formal Power Series & Algebraic Combinatorics, 18-22 July: **Combinatorics of fighting fish, planar maps and Tamari intervals.** [[https://fpsac.org/confs/fpsac-2022/|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2022-07-07-mfps-2022.txt sorting priority 0 ***/
[[https://www.cs.cornell.edu/mfps-2022/paris.md.html|{{:actualites:ressources:mfps-2022.jpg?60 |MFPS 38}}]] //7.7.2022//\\ **[[https://www.cs.cornell.edu/mfps-2022/paris.md.html|MFPS 38]]** will be held on **July 11–13, 2022**, with a co-located event in Ithaca, NY, USA, and at IRIF in Paris, France. The talks of A. Goy, W. Heitjtjes, B. König, N. Munnich, D. Petrisan, F. Pfenning, A. Tosun, and N. Wu will take place in room 3052 at IRIF. The talks from speakers in Ithaca and online will be broadcast from 14:30 to 21:30. [[https://www.cs.cornell.edu/mfps-2022/paris.md.html#registration|Registration]] is mandatory. [[https://www.cs.cornell.edu/mfps-2022/paris.md.html|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2022-07-07-icalp-2022-irif.txt sorting priority 0 ***/
[[https://icalp2022.irif.fr|{{:actualites:ressources:icalp-rs.png?60 |ICALP 2022}}]] //7.7.2022//\\ **[[https://icalp2022.irif.fr/|ICALP 2022]]** is organised by IRIF and is taking place on July 4–8 on the Grands Moulins campus of Université Paris Cité. This edition marks the [[https://icalp2022.irif.fr/?page_id=1111|50th anniversary of the conference]] and of the [[https://eatcs.org/|EATCS]]. [[https://icalp2022.irif.fr|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2022-06-22-conference-highlights_2022.txt sorting priority 0 ***/
[[https://highlights-conference.org/2022/|{{:actualites:ressources:highlights.png?60 |Conference Highlights 2022}}]] //22.6.2022//\\ The [[https://highlights-conference.org/2022/|2022 edition of Highlights]] will happen from **June 28th to July 1st, 2022**, in Paris, France. The conference will be hosted by Université Paris Cité, and happen on the site of Grands Moulins. To register, please fill in the [[https://framaforms.org/highlights2022-on-site-registration-1652701135|registration form]]. If you wish to watch Highlights remotely, please fill in the [[https://framaforms.org/highlights2022-online-registration-1652345864|online registration form]]. Online attendance is free. [[https://highlights-conference.org/2022/|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2022-06-07-workshop-labyrinth-of-combinatorics.txt sorting priority 0 ***/
{{:actualites:ressources:labyrinth_of_combinatorics.png?60 }} //7.6.2022//\\ IRIF is co-organizing a [[https://www.irif.fr/~labyrinthofcombinatorics/|Workshop Labyrinth of Combinatorics]] in memory of Pierre Rosenstiehl, **June 15-17, Université Paris Cité** [[https://www.irif.fr/~labyrinthofcombinatorics/|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2022-06-07-issac22-papers.txt sorting priority 0 ***/
{{:actualites:ressources:issac2022.png?60 }} //7.6.2022//\\ **Two papers** coauthored by IRIF members will be presented at the conference [[https://www.issac-conference.org/2022/|ISSAC'22]], the main conference on symbolic and algebraic computation , this summer. [[https://www.issac-conference.org/2022/papers.php|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2022-06-07-podc22-papers.txt sorting priority 0 ***/
{{:actualites:ressources:podc2022.png?60 }} //7.6.2022//\\ **Four papers** coauthored by IRIF members will be presented at the conference [[https://www.podc.org/|PODC'22]], the main conference on distributed computing, this summer. [[https://www.podc.org/podc2022/accepted-papers/|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2022-06-07-workshop-differential-programming.txt sorting priority 0 ***/
{{:actualites:ressources:workshop_on_differentiable_programming.png?60 }} //7.6.2022//\\ IRIF is co-organizing a [[https://lipn.univ-paris13.fr/~mazza/DiffProgWorkshop/|Workshop on Differentiable Programming]], **June 29-30**, Université Paris Cité. [[https://lipn.univ-paris13.fr/~mazza/DiffProgWorkshop/|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2022-06-07-olivier-carton-iuf.txt sorting priority 0 ***/
{{:actualites:ressources:annonce-des-resultats-iuf-2022.jpg?60 |Institut Universitaire de France}} //7.6.2022//\\ IRIF is proud to announce that [[https://www.irif.fr/~carton/|Olivier Carton]], professor of Université Paris Cité and researcher at IRIF, was appointed senior member of [[http://www.iufrance.fr|IUF]]. [[https://www.iufrance.fr/detail-de-lactualite/295.html|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2022-06-07-conference-types22-papers.txt sorting priority 0 ***/
{{:actualites:ressources:types2022.png?60 }} //7.6.2022//\\ **Four papers** coauthored by IRIF members will be presented at the conference [[https://types22.inria.fr/|TYPES'22]], the main conference on type theory, this summer. [[https://types22.inria.fr/programme/|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2022-05-05-programme-75-ans.txt sorting priority 0 ***/
[[https://www.lip6.fr/75ans/?guest=Soiree|{{:actualites:ressources:soiree-2022-05-09.jpg?60 |Program of the evening 75 years}}]] //5.5.2022//\\ On **May 9th at 6pm** will be held the [[https://www.lip6.fr/75ans/?guest=Soiree|festive evening of 75 years of computer science]], from its foundations to its impact on society. This event is **organized by LIP6** with the help from IRIF. {{ :actualites:nouvelle_version:programme_soire_e_a5.pdf |Program and details of the evening here}}. [[https://www.lip6.fr/75ans/?guest=Soiree|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2022-05-05-casares-colcombet-lehtinen-icalp2022.txt sorting priority 0 ***/
[[https://arxiv.org/abs/2204.11333|{{:actualites:ressources:figure-ccl-icalp2022_casares_web.jpg?60 |Accepted paper ICALP 2022}}]] //5.5.2022//\\ **Antonio Casares** (IRIF), **Thomas Colcombet** (IRIF) and **Karoliina Lehtinen** (Aix-Marseille University) will present at [[https://icalp2022.irif.fr/|ICALP 2022]] their paper studying the link between **good-for-games Rabin automata** and **memory structures** for infinite duration games over graphs. They also establish that these automata can be exponentially more succinct than equivalent deterministic ones. [[https://arxiv.org/abs/2204.11333|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2022-05-05-gaetan-doueneau-tabot-icalp2022.txt sorting priority 0 ***/
[[https://arxiv.org/abs/2112.10212|{{:actualites:ressources:doueneau_icalp2022_web.png?60 |Accepted paper ICALP 2022}}]] //5.5.2022//\\ **Gaëtan Douéneau-Tabot** (IRIF, DGA) will present at [[https://icalp2022.irif.fr/|ICALP 2022]] his paper //[[https://arxiv.org/abs/2112.10212|Hiding pebbles when the output alphabet is unary]]//. **Pebble transducers** are simple programs which compute functions over finite words. This paper studies subclass membership problems for the functions computed by pebble transducers whose outputs are unary. Its results can be understood as **program optimization techniques**. [[https://arxiv.org/abs/2112.10212|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2022-05-04-icalp-2022-accepted-papers.txt sorting priority 0 ***/
[[https://icalp2022.irif.fr/?page_id=85|{{:actualites:ressources:accepted_papers.png?60 |ICALP 2022 Accepted papers}}]] //4.5.2022//\\ **3 papers coauthored by IRIF members** will be presented at [[https://icalp2022.irif.fr/|ICALP 2022]], **July 4-8 in Paris**, campus Grands Moulins of Université Paris Cité. [[https://icalp2022.irif.fr/?page_id=85|Complete list of accepted papers here]]. [[https://icalp2022.irif.fr/?page_id=85|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2022-04-27-smarts-up_call.txt sorting priority 0 ***/
[[https://u-paris.fr/en/call-for-applications-smarts-up-international-scholarships-for-masters-students/|{{:actualites:ressources:smartup_1920.jpg?60 |smarts-up-call}}]] //27.4.2022//\\ **Call for applications:** [[https://u-paris.fr/en/call-for-applications-smarts-up-international-scholarships-for-masters-students/|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 [[https://u-paris.fr/en/graduateschools/quantum-technologies/|Graduate School on Quantum Technologies]] is taking part in this project. Visit the [[https://u-paris.fr/en/call-for-applications-smarts-up-international-scholarships-for-masters-students/|call for applications webpage]] for more details. **Deadline: April 30th, 2022.** [[https://u-paris.fr/en/call-for-applications-smarts-up-international-scholarships-for-masters-students/|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2022-04-26-icalp-2022-registration.txt sorting priority 0 ***/
[[https://icalp2022.irif.fr/?page_id=50|{{:actualites:ressources:icalp-rs.png?60 |ICALP 2022 Registration}}]] //26.4.2022//\\ Registration to [[https://icalp2022.irif.fr/|ICALP 2022]] 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]]. [[https://icalp2022.irif.fr/?page_id=50|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2022-04-14-world-quantum-day.txt sorting priority 0 ***/
[[https://worldquantumday.org/|{{:actualites:ressources:worldquantumday.jpeg?60 |World Quantum Day}}]] //14.4.2022//\\ Today is [[https://worldquantumday.org/|World Quantum Day]]! All over the globe, but especially in Europe, many bright minds are **researching groundbreaking quantum technologies**. This day aims at promoting the public **understanding of Quantum Science and Technology** around the World. [[https://worldquantumday.org/|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2022-04-12-interview-icalp-fsmp.txt sorting priority 0 ***/
[[http://0x0qr.mjt.lu/nl2/0x0qr/1wsk.html|{{:actualites:ressources:interview_fsmp.png?60 |Interview ICALP 2022 - FSMP}}]] //12.4.2022//\\ Thomas Colcombet, Geoffroy Couteau et Sylvain Schmitz members of IRIF and part of [[https://icalp2022.irif.fr|ICALP 2022]] organizing committee were interviewed by [[https://sciencesmaths-paris.fr/en/|FSMP (Fondation Sciences Mathématiques de Paris)]], one of the co-organizers of the conference. Learn more about the goals of the conference and what makes it special this year **(interview in French only)**. [[http://0x0qr.mjt.lu/nl2/0x0qr/1wsk.html|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2022-04-08-cocktail-75_ans.txt sorting priority 0 ***/
[[https://www.lip6.fr/75ans/?guest=Soiree|{{:actualites:ressources:soiree-2022-05-09.jpg?60 |Cocktail de célébration des 75 d’informatique en France}}]] //8.4.2022//\\ On **May 9th, 2022**, LIP6 and IRIF are organizing a [[https://www.lip6.fr/75ans/?guest=Soiree|cocktail celebrating the 75th anniversary of computer science in France]]. A panel of experts will explore the discipline from its foundations to its impacts on society. [[https://www.lip6.fr/75ans/?guest=Soiree|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2022-04-04-postes-ater.txt sorting priority 0 ***/
[[https://www.irif.fr/postes/ater|{{:actualites:ressources:63b8249.jpg?60 |Teaching Assistant positions}}]] //4.4.2022//\\ [Update on the calendar] **Four Teaching Assistants positions** plus **three other potential teaching assistant positions** that may become available upon contest within UFR d’Informatique of Université Paris Cité fort he academic year 2022-2023. To learn more and to apply, visit: https://www.irif.fr/postes/ater. Deadline to apply, **May 4th 2022 (4:00 pm Paris time).** [[https://www.irif.fr/postes/ater|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2022-03-28-portrait-mohammed-foughali.txt sorting priority 0 ***/
[[https://www.irif.fr/portraits/mohammed_foughali_1er_septembre_2021|{{:actualites:ressources:mo_foughali.jpg?60 |Portrait Mohammed Foughali}}]] //28.3.2022//\\ IRIF has the great pleasure to welcome a **new Associate Professor**: [[https://mo-f.github.io/Mo-F/|Mohammed Foughali]], an expert in **formal verification** and **robotics**. Learn more about him and his work [[https://www.irif.fr/portraits/mohammed_foughali_1er_septembre_2021|here]]. [[https://www.irif.fr/portraits/mohammed_foughali_1er_septembre_2021|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2022-03-17-pgsm-master-irif-2022.txt sorting priority 0 ***/
[[https://sciencesmaths-paris.fr/en/nos-programmes-en/pgsm-master|{{:actualites:ressources:pgsm_master_2022.png?60 |PGSM Master FSMP}}]] //17.3.2022//\\ IRIF will finance one or two additional **Master scholarships in Theoretical Computer Science** within the PGSM program of FSMP for **female students** who have completed a bachelor’s degree or the first year masters in one of the universities of the FSMP network. [[https://sciencesmaths-paris.fr/en/nos-programmes-en/pgsm-master|Apply online by May 12th, 2022]]. [[https://sciencesmaths-paris.fr/en/nos-programmes-en/pgsm-master|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2022-03-15-jeudis-du-campus.txt sorting priority 0 ***/
[[https://t.co/fAk5C7tNTg|{{:actualites:ressources:jeudisducampus.jpeg?60 |Jeudis du Campus - Modéliser le plafond de verre dans la recherche}}]] //15.3.2022//\\ //How can we model the glass ceiling in research?// [[https://www.irif.fr/~claire/|Claire Mathieu]] (IRIF) will give a talk on **Thursday, March 24th **from **1:15 to 2:00 PM** as part of **Jeudis du Campus**. Follow the event live on the [[https://t.co/fAk5C7tNTg|CNRS Ile-de-France Villejuif Youtube channel]]. [[https://t.co/fAk5C7tNTg|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2022-03-10-program-pause-solidarity-ukraine.txt sorting priority 0 ***/
[[https://www.college-de-france.fr/site/programme-pause/PAUSE-Solidarite-Ukraine.htm|{{:actualites:ressources:pause-image.png?60 |PAUSE Program - Solidarity with Ukraine}}]] //10.3.2022//\\ Reacting to the current situation and supporting the opening of the **[[https://www.college-de-france.fr/media/programme-pause/UPL8279496385830297299_PAUSE___Solidarity_with_Ukraine.pdf|PAUSE program – Solidarity with Ukraine]]**, few IRIF members have volunteered to host researchers at risk. Contact us at [[relocation@listes.irif.fr]] to **discuss options for applying to this initiative**. [[https://www.college-de-france.fr/site/programme-pause/PAUSE-Solidarite-Ukraine.htm|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2022-03-09-table-ronde-2-75-lip6.txt sorting priority 0 ***/
[[https://www.lip6.fr/75ans/?guest=Collet2|{{:actualites:ressources:table-ronde-2.png?60 |Table ronde Femmes dans le numérique}}]] //9.3.2022//\\ **Tuesday, March 15 at 6 :30 pm** on the campus Pierre et Marie Curie, **Isabelle Collet** (Université de Genève), **Christine Tasson** (LIP6), **Anne Siegel** (IRISA)and **Alexis Kauffmann** (Direction du numérique pour l’éducation) will exchange on a **[[https://www.lip6.fr/75ans/?guest=Collet2|roundtable discussion]]** about inequalities regarding the presence of **women in the digital sector**. [[https://www.lip6.fr/75ans/?guest=Collet2|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2022-03-04-table-ronde-1-75-lip6.txt sorting priority 0 ***/
{{:actualites:ressources:table-ronde-1.png?60 |Table ronde Naissance de l'Intelligence Artificielle}} //4.3.2022//\\ Thursday, **March 10 at 6 :30 pm** on the campus Pierre et Marie Curie, **Jean-Gabriel Ganascia**, **Jean-François Perrot**, and **Gérard Sabah** will meet to discuss artificial intelligence. Where, when and how did this notion start? [[https://www.lip6.fr/colloquium/?guest=IA&LANG=fr|All details here]].
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2022-03-02-accepted-papers-stacs-2022-gribling.txt sorting priority 0 ***/
[[https://arxiv.org/abs/2109.15282|{{:actualites:ressources:gribling-stacs-2022.png?60 |Accepted paper STACS 2022 | Sander Gribling}}]] //2.3.2022//\\ **Sander Gribling** (IRIF) and Harold Nieuwboer (University of Amsterdam) will present at **STACS 2022** their paper [[https://arxiv.org/abs/2109.15282|Improved quantum lower and upper bounds for matrix scaling]] in which they show classical second-order methods together with quantum spectral sparsifiers lead to faster quantum algorithms for the matrix scaling problem, in the poly(1/eps)-regime. [[https://arxiv.org/abs/2109.15282|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2022-03-02-accepted-papers-stacs-habib-2022.txt sorting priority 0 ***/
[[http://arxiv.org/abs/2110.02709|{{:actualites:ressources:habib-stacs-2022.png?60 |Accepted paper STACS 2022 | Michel Habib}}]] //2.3.2022//\\ Pierre Bergé, Guillaume Ducoffe and **Michel Habib** (IRIF) will present their paper [[http://arxiv.org/abs/2110.02709|Subquadratic-time algorithm for the diameter and all eccentricities on median graphs]] at the [[https://stacs2022.sciencesconf.org/|39th International Symposium on Theoretical Aspects of Computer Science (STACS 2022)]] held in Marseille, **March 15-18 2022**. [[http://arxiv.org/abs/2110.02709|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2022-02-11-jfs-2022.txt sorting priority 0 ***/
[[https://www.irif.fr/egalite-fh/jfs22|{{:actualites:ressources:jfs2022.png?60 |Journée internationale des femmes et des filles de science 2022}}]] //11.2.2022//\\ Aujourd’hui, nous soulignons la **Journée internationale des femmes et des filles de science** avec [[https://www.irif.fr/egalite-fh/jfs22|3 interviews]] de nos doctorantes et post-doctorantes : [[https://www.irif.fr/egalite-fh/portraits-ada-vienot|Ada Vienot]], [[https://www.irif.fr/egalite-fh/portraits-klara-nosan|Klara Nosan]] et [[https://www.irif.fr/egalite-fh/portraits-anna-vanden-wyngaerd|Anna Vanden-Wyngaerd]]. [[https://www.irif.fr/egalite-fh/jfs22|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2022-02-10-poste-mc.txt sorting priority 0 ***/
[[https://www.irif.fr/postes/universite|{{:actualites:ressources:christian_morel_irif_cnrs_photothe_que_63b8472.jpg?60 |Nouveau poste maître·sse de conférences}}]] //10.2.2022//\\ Un poste de **Maître·sse de Conférences** (références Galaxie no 204) en Mathématiques et informatique fondamentale est à pourvoir à l’UFR de Mathématiques de l’Université de Paris en vue d’une intégration à l’IRIF. [[https://galaxie.enseignementsup-recherche.gouv.fr/antares/can/astree/index.jsp|Postuler sur Galaxie]] au plus tard le **28 février 2022 16h** (heure de Paris). **Prise de fonction le 1er novembre 2022** (si besoin, le laboratoire pourra fournir un CDD du 01/09/2022 au 31/10/2022). Plus de détails sur [[https://www.irif.fr/postes/universite]]. [[https://www.irif.fr/postes/universite|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2022-02-08-prix-chancellerie-louf.txt sorting priority 0 ***/
[[https://www.sorbonne.fr/prix-chancellerie-2021/|{{:actualites:ressources:prix-chancellerie_louf.png?60 |Prix de thèse de la chancellerie des Universités de Paris}}]] //8.2.2022//\\ [[https://baptiste.louf.fr/|Baptiste Louf]] (currently doing his postdoc in Sweden), received the [[https://www.sorbonne.fr/la-chancellerie-des-universites-de-paris/v2la-chancellerie-des-universites-de-paris-recompense-lexcellence-universitaire-et-propose-des-prix/les-prix-universitaires/|Thesis Prize The Chancellerie des Universités de Paris category science “all specialties”]] for his thesis prepared at IRIF under the supervision of Guillaume Chapuy and entitled [[https://baptiste.louf.fr/these.pdf|Cartes de grand genre : de la hiérarchie KP aux limites probabilistes]]. [[https://www.sorbonne.fr/prix-chancellerie-2021/|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2022-02-07-osec-prix-logiciel-libre.txt sorting priority 0 ***/
[[https://www.ouvrirlascience.fr/remise-des-prix-science-ouverte-du-logiciel-libre-de-la-recherche/|{{:actualites:ressources:osec22_diplome-so-logiciel-libre_page_01.png?60 |Coq Prix Logiciel Libre de la Recherche}}]] //7.2.2022//\\ The [[https://coq.inria.fr|software Coq]], a **formal proof management system** developed by teams at Inria and IRIF was rewarded by the [[https://www.ouvrirlascience.fr/open-science-free-software-award-ceremony/|Open Science Awards for Open Source Research Software]] **category Scientific and Technical quality**. Learn more about this software: [[https://coq.inria.fr]]. [[https://www.ouvrirlascience.fr/remise-des-prix-science-ouverte-du-logiciel-libre-de-la-recherche/|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2022-02-04-deadline-cfp-icalp-2022.txt sorting priority 0 ***/
[[https://icalp2022.irif.fr/?page_id=17|{{:actualites:ressources:important_dates_icalp2022.png?60 |Deadline CFP ICALP 2022}}]] //4.2.2022//\\ The **deadline** to submit your paper at **ICALP 2022** is **February 10, 2022 AoE**. Link to [[https://easychair.org/my/conference?conf=icalp2022#|submission (track A and B) here]]. More info on the [[https://icalp2022.irif.fr/?page_id=17|submission guidelines here]]. [[https://icalp2022.irif.fr/?page_id=17|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2022-02-03-icalp_2022.txt sorting priority 0 ***/
[[https://icalp2022.irif.fr|{{:actualites:ressources:in-tweet-1.png?60 |ICALP 2022}}]] //3.2.2022//\\ IRIF is excited to organize the next **ICALP conference**. The 2022 edition will take place in **Paris 4-8 July**. Visit the website for more info : [[https://icalp2022.irif.fr]]. It will be the occasion to celebrate the 50th anniversary of both [[https://eatcs.org|EATCS]] and the first ICALP which was held in Rocquencourt in 1972. [[https://icalp2022.irif.fr|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2022-02-03-portrait-simon-apers.txt sorting priority 0 ***/
[[https://www.irif.fr/portraits/simon_apers_1er_octobre_2021|{{:actualites:ressources:mk3_5355.jpg?60 |Portrait Simon Apers}}]] //3.2.2022//\\ IRIF has the great pleasure to welcome a **new CNRS Research Scientist**: [[https://simonapers.github.io/|Simon Apers]], an expert in **quantum computing**. Learn more about him and his work [[https://www.irif.fr/portraits/simon_apers_1er_octobre_2021|here]] [[https://www.irif.fr/portraits/simon_apers_1er_octobre_2021|{{icon>arrow-circle-right}}]]
/*** news produced automatically from /var/www/dw/data/pages/en/actualites/sources/2022-01-18-stacs_2022.txt sorting priority 0 ***/
[[https://stacs2022.sciencesconf.org/|{{:actualites:ressources:stacs2022.png?60 |Accepted papers STACS 2022}}]] //18.1.2022//\\ **Two papers coauthored by IRIF members** will be presented at the [[https://stacs2022.sciencesconf.org/|39th International Symposium on Theoretical Aspects of Computer Science (STACS 2022)]] held in Marseille, **March 15-18 2022**. [[https://stacs2022.sciencesconf.org/|{{icon>arrow-circle-right}}]]