==== Lettre de l'IRIF du 04 novembre 2022 ====
=== Edito ===
Dans la lettre cette semaine, l'**accueil des stagiaires de 3ème**, une **page web dédiée aux doctorant·es IRIF** et 2 informations importantes concernant les **bourses de doctorat**.
Côté actualités scientifiques, l'**interview de Sergio Rajsbaum** et le premier **CFP de ICALP 2023**. Plusieurs événements à noter : le **lancement du programme EQSI**, le **colloque annuel de Femmes & Sciences** et le **FRAIGNIAUD workshop**.
Du côté de nos partenaires, l'édition 2022 de la **conférence Horizon Maths** organisée par la FSMP.
Dans le focus, on s'intéressé à **Gaëtan Douéneau-Tabot, lauréat de deux prix étudiant**.
Bonne lecture !
=== Annonces de la direction ===
* **Stage d'observation de 3ème** : Du **12 au 16 décembre 2022**, l'IRIF aura le plaisir d'accueillir entre **6 et 10 élèves de 3ème** dans le cadre de leur [[https://www.irif.fr/mediation/scolaire|stage d’observation]]. Nous leur proposons durant toute cette semaine un programme diversifié qui leur permettra de mieux appréhender le monde de la recherche en informatique théorique. **Nous avons besoin de votre participation pour animer et encadrer les activités proposées**. Pour participer, écrivez à [[scolaire@irif.fr]] en précisant le type d'activités qui vous intéresse parmi celles mentionnées ci-dessous ainsi que vos disponibilités entre le 12 et le 16 décembre. Les élèves seront présents au labo entre 9h30 et 16h30.
* Présentation du laboratoire par la direction et le secrétariat de l’IRIF
* Rencontres/discussions avec des chercheurs·euses
* Exercices de programmation encadrés par un·e de nos membres
* Présentations de projets de recherche par un·e de nos membres
* Entretiens avec des doctorant·es ou postdocs
* Exposés scientifiques vulgarisés présentés par un·e de nos membres
* **Web pages PhD Students IRIF** : Every PhD student at IRIF has a professional web page: [[https://www.irif.fr/~loginname]]. This web page is the access point for anyone inside or outside IRIF who might be interested to learn basic professional information about you. You are therefore kindly requested to fill up your web page with professional information, including the informations below. See [[https://www.irif.fr/intranet/wiki]] for information about how to create and maintain your web pages.
* your name and coordinates (by default)
* the names and coordinates of your PhD adviser(s)
* the team you belong to
* the topic of your research project
* the list of your publications (if any)
* any additional relevant professional information (e.g., slides of your presentations at seminars or conferences, lecture notes, lists of courses to which you are involved, etc.)
* **Bourses de doctorat** : 2 informations importantes concernant les bourses de doctorat, l'**appel CSC 2022** et l'**appel Bourse Eiffel 2023**.
* __Appel CSC 2022__ : La **procédure Université Paris Cité** concernant le recrutement d'étudiants chinois financés par le China Scholarship Council (recrutement en 2023 pour un début de thèse à l'année universitaire 2023-2024) est {{ :intranet:lettre-irif:2022-11-04:fwd_fwd_ecoles.doctorales_lancement_de_l_appel_csc_2022_2023.eml |disponible ici}}. **Validation des sujets** par les Ecoles doctorales au plus tard le **2 décembre 2022**. Ouverture de la plateforme pour le **dépôt des dossiers de candidatures** du **3 décembre 2022 au 10 janvier 2023**.
* {{ :intranet:lettre-irif:2022-11-04:tutoriel_csc_emundus.pdf |Tutoriel E-mundus pour le CSC}}
* {{ :intranet:lettre-irif:2022-11-04:appel_csc_2022_23.pdf |Procédure de recrutement d'étudiants Chinois financés par le China Scholarship Council 2023}}
* {{ :intranet:lettre-irif:2022-11-04:guide_ed_csc_22_23.pdf |Guide à destination des directions d'ED}}
* __Appel Bourse Eiffel 2023__ : Le programme « Bourse d'Excellence Eiffel » 2023 permet aux meilleurs étudiants et étudiantes internationaux de bénéficier d'une aide à la mobilité pour suivre des formations diplômantes de niveau master et doctorat.
* [[https://u-paris.fr/le-programme-bourse-dexcellence-eiffel-2023-est-lance/|Page du programme « Bourse d’excellence Eiffel » 2023]]
* [[https://u-paris.fr/doctorat/|Informations sur les inscriptions administratives]]
* [[https://u-paris.fr/doctorat/les-ecoles-doctorales/|Liste des écoles doctorales]]
* [[https://u-paris.fr/doctorat/faq/|FAQ]]
\\
=== Actualités ===
* **Invitation EQSI** : Launch event of the //EQSI – European Quantum Software Institute// on **Wednesday 8th November, at 13:30, in Paris**. This initiative brings together the **Paris Centre for Quantum Technologies (Iordanis Kerenidis)**, PQI – Portuguese Quantum Institute (Yasser Omar), QMATH / Copenhagen (Matthias Christandl), QuSoft / Amsterdam (Harry Buhrman), the Technical University of Munich (Robert Koenig), and the University of Latvia (Andris Ambainis). The launch event will include a presentation of **the vision of EQSI and contributions by partners from industry**, quantum hardware research, and representatives from European and national quantum programmes, with the goal of fostering future collaboration and joint innovation between EQSI and external stakeholders. [[https://docs.google.com/forms/d/e/1FAIpQLSc4r1DNUEEsW4KSKr4O17ZUaaEbMJ5em8CL0R_jbFSnmZ-w6w/viewform|Registration here]].
* **Long-term visitor / interview** : We are pleased to welcome **Sergio Rajsbaum, one-year visitor** at IRIF since September 2022. He is working with Pierre Fraigniaud, Hugues Fauconnier and Carole Delporte, on developing further a **scientific theory of distributed computing**. Learn more about him and his work in this [[https://www.irif.fr/portraits/sergio_rajsbaum_1er_octobre_2022|written interview]].
* **ICALP 2023 / 1st Call for paper** : The [[https://icalp2023.cs.upb.de|50th EATCS International Colloquium on Automata, Languages, and Programming (ICALP)]] will take place in **Paderborn, Germany, on 10-14 July 2023**. Submissions: **February 11, 2023 at 11am CET**.
* **Femmes & Sciences / « Femmes et numérique : Ensemble, cassons les codes »** : Colloque annuel de l'association [[https://www.eventbrite.fr/o/femmes-amp-sciences-3208747094|Femmes & Sciences]] le **18 novembre 2022** sur le thème [[http://click.revue.email/ss/c/XN2t88CAhalHja1RClwc6vMs258dB3WmZAYo4t7tykplk7f7KIeRXvI-VI15aub4OMGvux32Ct70AbY5fVB1pw4tyE7KjvFsvxBynko-ryTPxQ8CZ7hwV23LJ5ivajfr92CApvrCqsjB96CfNXWL8OnkH6qQhiLiMWN7lxbDPO9gPZx9RX2NX2iXT3D98hwTe1YiXi-V1VJW0BKbbVIe1Huouyqe2pSUbbPgkidCJs1qj3-Q36OVAjeR7yUiFbBE/3qt/hQGz22BEQwyYTNElmcCIyQ/h46/zGQ3hBNOGsdmvwTBBjP6nsYABbNHbCvQ46B35qdaMoY|« Femmes et numérique : Ensemble, cassons les codes »]], à l'espace de conférences, Centre INRIA à RENNES. Quelles sont les causes de ce déséquilibre femmes-hommes ? Comment faire pour qu’il se résorbe au plus vite ? C’est à ces interrogations que le colloque 2022 de l’association Femmes & Sciences cherchera à répondre. [[https://www.eventbrite.fr/e/billets-femmes-et-numerique-ensemble-cassons-les-codes-414098438577?utm_campaign=INS2I%20-%20CNRS&utm_medium=email&utm_source=Revue%20newsletter|Inscription gratuite mais obligatoire]].
* **FRAIGNIAUD workshop** : 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. The event will take place in the **Sophie Germain Building, Place Aurélie Nemours 75013 Paris** and the talks will take place in **Amphitheater Turing** of that building. A tentative [[https://www.irif.fr/fraigniaud-workshop/index|program is available here]]. Registration is free, but for the logistics, please send an email to Laurent Feuilloley [[laurent.feuilloley@univ-lyon1.fr]] if you plan to attend.
\\
=== Focus sur Gaëtan Douéneau-Tabot, lauréat de deux prix étudiant ===
{{:intranet:lettre-irif:2022-11-04:mfcs2022-bestpapers.jpg?200 |}}
**Gaëtan Douéneau-Tabot** 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 prix du Best Student Paper pour la track B de la conférence ICALP (International Colloquiuim on Automata, Languages and Programming) pour l’article [[https://drops.dagstuhl.de/opus/volltexte/2022/16461/|Hiding pebbles when the output alphabet is unary]]. En août 2022, il a reçu un second prix à la conférence MFCS (Mathematical Foundations of Computer Science) pour l’article [[https://drops.dagstuhl.de/opus/volltexte/2022/16826/|Continuous rational functions are deterministic regular]], co-écrit avec Olivier Carton (IRIF).
Dans cette [[https://www.irif.fr/portraits/gaetan-doueneau-tabot|interview écrite]], Gaëtan Douéneau-Tabot nous en dit plus sur son travail.
\\
=== Appels d'offres et informations des partenaires ===
* **FSMP / Horizon Mathématiques** : L'édition 2022 de la **conférence Horizon Maths** aura lieu le **mardi 06 décembre à Sorbonne Université (Jussieu, Amphi 25)**. Organisée sous la houlette de **Jérôme Pérez** (ENSTA PARIS) et d'**Emmanuel Trélat** (LJLL, SU), cette journée aura pour thème **Mathématiques et Gravitation**. Au programme : stabilité des systèmes planétaires, mécanique orbitale, dynamique des galaxies, potentiel isochrone, symétries cachées de la gravitation... Retrouvez le [[https://sciencesmaths-paris.fr/f/actualites-fr/horizon-maths-2022-mathematiques-et-gravitation|programme complet ici]]. L'[[https://sciencesmaths-paris.fr/f/actualites-fr/s-inscrire-a-horizon-maths-2022|inscription, gratuite mais obligatoire, se fait ici]].
**Newsletter des partenaires** : Les lettres arrivent sporadiquement aux membres de l'IRIF. Elles sont donc listées ci-dessous.
* [[http://click.revue.email/ss/c/XN2t88CAhalHja1RClwc6nfV-nStt3kVsgZH5NOVlm0s4-JsRnL-EwwY36x0vLmBdQSS-qlw9MAmAHhTsikDIjGxldb4QTFXzYJqzuGfT6d6qTQgYjWFeQxi_R7Bs2sC94D_1F4UhpIMsS5Q2ikB12ZrdKzPnPpB1cAQkuQgvRRcf9fSlL9VPHos3EEqPylb2P7nyGK148bgFI3J4-qKWguBIFtxHWnNCJ15fLuLpXgHH3fh7KgpzbfSCcLLZ0HQ/3qt/bgXVyZ78TEy96Te0RAn2cw/h1/QZAKnO4HFkiQCJlW2jakudK80-zwtaaBXeey3rCFmx8|Newsletter de l'INS2I #16]] du 02/11/2022 avec une mention sur le débat théâtral organisé par l'IRIF
* [[http://www.cnrs.fr/CNRS-Hebdo/iledefrance-villejuif/lettre.php?numero=625|CNRS Hebdo]] du 28/10/2022
* [[https://u-paris.fr/?mailpoet_router&endpoint=track&action=click&data=WyI2MjMiLCJibnZmMXR3ZGVwNG9zY3NrMGM4c3dvZ2M4b3cwZzh3ZyIsIjQ3OSIsIjJmOTUxNzY3NmMzYyIsZmFsc2Vd|Université Paris Cité Infos]] du 28/10/2022
* [[https://u-paris.fr/?mailpoet_router&endpoint=view_in_browser&action=view&data=Wzc1OSwiYTYxOTI1ZmRjNWQ2IiwwLDAsMCwxXQ|L'actualité étudiante]] du 27/10/2022
=== Agenda de la semaine du 07 novembre au 11 novembre ===
[[:seminaires:verif:|Vérification]] · Lundi 07 novembre, 11:00, 3052 and [[https://u-paris.zoom.us/j/89886269671?pwd=QlgvOVBmdjZTVGZqamdOWVdSWWU5UT09|Zoom link]] · \\ **Lorenzo Clemente** (University of Warsaw), //Zeroness and equality problems for weighted register automata over equality data//
[[:seminaires:algocomp:|Algorithmes et complexité]] · Mardi 08 novembre, 11:00, Room 2017 · \\ **Dimitris Achlioptas** (University of Athens), //The Lovász Local Lemma as Approximate Dynamic Programming//
[[:seminaires:numeration:|One world numeration seminar]] · Mardi 08 novembre, 14:00, Online · \\ **Wen Wu** (South China University of Technology), //From the Thue-Morse sequence to the apwenian sequences//
[[:seminaires:adg:|Algorithmique distribuée et graphes]] · Mardi 08 novembre, 14:00, 1007 · \\ **Zahraa Mohsen** (IMJ-PRG), //On Coloring Digraphs and Certain Types of Paths and Cycles//
[[:seminaires:pps:|Preuves, programmes et systèmes]] · Jeudi 10 novembre, 10:30, Room 3052 · \\ **Gabriele Vanoni** (Inria Sophia Antipolis), //Reasonable Space and the Lambda-Calculus//
[[:seminaires:combi:|Combinatoire énumérative et analytique]] · Jeudi 10 novembre, 14:00, Room 3052 et zoom · \\ **Groupe De Lecture**, //TBD//
[[:seminaires:doctorants:|Séminaire des doctorants]] · Jeudi 10 novembre, 16:00, 3052 · \\ **El Mehdi Cherradi**, //($\infty$-)Categorical semantic of type theory: an introduction//