==== Lettre de l'IRIF du 25 novembre 2022 ====

=== Edito ===   

Dans la lettre cette semaine, la **journée SIF autour du doctorat** et un **appel à volontaires** pour participer à la **future commission pour l’adaptation de l’IRIF aux défis environnementaux**. Prenez note d'une **formation dédiée aux nouveaux arrivants** afin de mieux connaître l’Université et les **dates de fermeture du bâtiment** pour les congés d'hiver. Deux rappels importants avec des deadlines qui approchent : les **appels d'offres post-docs de la FSMP** et les **élections des représentants des doctorants et des membres non permanents**. 

Le focus s'intéresse à l'**exposition 50 Years of Theoretical Computer Science** mis en place par l'IRIF et un comité scientifique international. Le vernissage de cette exposition à la bibliothèque MIR aura lieu le **8 décembre entre 12h00 et 14h00.** 

Côté actualités scientifiques, **CAP 2022**, **JCB 2023** et un **postdoc à MATHEXP** proposé par Inria Saclay. 

Du côté de nos partenaires, un **webinaire Projets Européens AMORCE**, les **appels en cours de la MITI** et les **appels à candidatures SMARTS-UP.** 


Bonne lecture !

=== Annonces de la direction ===

  * **SIF / Journée autour du doctorat** : The [[https://www.societe-informatique-de-france.fr|SIF (Société Informatique de France)]] organizes a [[https://www.societe-informatique-de-france.fr/les-journees-sif/journee-autour-du-doctorat-2022/|day on December 13th "autour du doctorat"]]. This day will be in french, virtual and you can watch in room 3052. IRIF will provide lunch for the participants. If you would like to participate, please send en email to [[corteel@irif.fr]] by Nov 24th.

  * **Call for volunteers**: The laboratory is looking for **members interested in participating in the future commission for the adaptation of IRIF to environmental challenges**. This mission will start in January and will last for one year. Its objectives are:
    * to establish different scenarii for **reducing the environmental impact** and in particular the **carbon footprint of the laboratory** by giving a precise description of their implementation,
    * to **animate a debate on the topic** within the laboratory, 
    * and to initiate any **awareness raising** and **training** activities that may be deemed useful. 
The process will end with a collegial decision of the laboratory members, in early 2024, to determine and validate the adaptations that the laboratory wishes to implement. [[https://www.irif.fr/_media/intranet/lettre-irif/2022-10-21/commission_environnement.pdf|See this proposition for more information for more information]]. The lab council will decide at its next meeting on **December 13** the exact composition of this commission, and will set the details of the process. If you are interested, please apply by email to [[direction@irif.fr]], as soon as possible, and before **December 9.** 

  * **Exhibition opening / 50 Years of Theoretical Computer Science** : Please make sure to register to [[cadet@irif.fr]] by **December 2nd, 2022.**

  * **Formation Nouveaux Arrivants Connaître l’Université** : Le **mardi 17 janvier 2023 de 09h00 à 12h30**, en présentiel – Bâtiment Sophie Germain. L'{{ :intranet:lettre-irif:2022-11-25:fwd_managers.drho_ouverture_de_formation-_formations_des_personnels_ouverture_de_formation_nouveaux_arrivants_-_connaitre_l_universite_-_17_janvier_2023_-_matin.eml |objectif de cette formation}} est de découvrir ou mieux connaître son environnement de travail : Université Paris Cité. {{ :intranet:lettre-irif:2022-11-25:formulaire_de_demande_de_formation_votrenom.docx |Formulaire de demande disponible ici}}. **Date limite d’inscription 06/02/2023.**

  * **Winter closure**: The building will be closed from **December, 24** to **January, 1st** included. If your presence on site is essential during this period due to scientific and/or technical activities that cannot be postponed, you may access the lab on request. To do this, please fill the following [[https://sdstm.math-info-paris.cnrs.fr/shared/EI97a2hL7mnYXWdplm5cldmUscph1DRD9TXNi2nwtoc|form]] before Monday December, 5.

  * **[Rappel] PhD and non-permanent researcher representative elections** will be held in December. The representatives will be member of the doc-postdoc commission and invited to the lab council (formally, one will be elected and the others invited). **Three PhD students**, one per pole, and **one postdoc** are to be elected. Please let us know the names of the candidates before December 2nd at [[direction@irif.fr]]. NB: although speaking French is not required, it is recommended for attending the lab council. 

  * **[Rappel] FSMP / Appels d'offres post-docs** : Il est encore possible de postuler aux postes de post-doctorat en mathématiques et en informatique fondamentale proposés par la FSMP et le COFUND MathInGreaterParis pour l'année académique 2023-2024.
    * __Programme post-doctoral FSMP__ : **du mardi 4 octobre au mercredi 30 novembre 2022.** [[https://sciencesmaths-paris.fr/nos-programmes/postdocs|Détail de l'offre ici]] et [[https://applications.sciencesmaths-paris.fr/fr/positions-post-doctorales-377.htm|formulaire de candidature ici]].
    * __Programme post-doctoral MathInGreaterParis__ : **du mardi 4 octobre au mercredi 30 novembre 2022.** [[https://www.mathingp.fr/|Détail de l'offre ici]] et [[https://www.mathingp.fr/en/post-doc-72.htm|formulaire de candidature ici]].


\\ 

=== Actualités ===     

  * **CAP 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.

  * **Inria Saclay / Two-year postdoc in MATHEXP** : The MATHEXP team at Inria Saclay and the ERC-funded “10000 DIGITS” project offer a {{ :intranet:lettre-irif:2022-11-25:gdr-im_two-year_postdoc_in_mathexp_inria_saclay.eml |two-year postdoctoral position}} (without teaching duty). Deadline for applications: **January 23, 2023.**

  * **JCB 2023** : Les quinzièmes [[https://jcb.labri.fr/2023|journées de combinatoire de Bordeaux (JCB 2023)]] se tiendront au LaBRI du **lundi 30 janvier au mercredi 1er février 2023.** [[https://jcb.labri.fr/2023/inscription|Inscription avant le 31/12/2022]].   

\\ 

=== Focus on the exhibition opening of 50 Years of Theoretical Computer Science ? === 

{{:intranet:lettre-irif:2022-11-25:expo_mir.png?200 |}}

IRIF is pleased to invite you to the exhibition opening of //50 years of Theoretical Computer Science// on **Thursday, December 8th from 12:00 to 2:00 PM** at the MIR library located on the 8the floor of Sophie Germain building.
**A buffet will be served**, please make sure to register at [[cadet@irif.fr]] no later than **December 2nd, 2022.** 

__About the exhibition__
In Europe, during the 1972 Brussels press conference, Maurice Nivat et Marcel-Paul Schützenberger officially declared the birth of Theoretical Computer Science. It is during this press event that the three main chapters of the field are stated: the theory of automata and languages, algorithmics and programming theory.

The exhibition 50 years of Theoretical Computer Science highlights the 50th anniversary of the ICALP conference and of the creation of EATCS. Through a historical tour and an overview of some key themes, the exhibition offers a dive into this field, often way too little known.

Created by IRIF members and an international committee of experts, [[https://icalp2022.irif.fr/?page_id=1111|this exhibition was first presented during ICALP 2022]]. For those of you who missed it or wish to see it again, it will be presented at **MIR library on the 8th floor of Sophie Germain building** from **December 8th, 2022 until February 27th, 2023**.

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

  * **CNRS / Webinaire Projets Européens AMORCE** : Un {{ :intranet:lettre-irif:2022-11-25:fwd_diffusion_aux_du_webinaire_projets_europe_ens_amorce_-_spv_dr01.eml |webinaire de présentation de l’appel à projet AMORCE}} se tiendra le **01/12/2022 à 14h30 (durée : 45mn)**. [[https://evento.renater.fr/survey/webinaire-presentation-appel-a-projet-amorce-63xbwh6a|Lien d'inscription ici]]. Clôture des inscriptions la veille du webinaire. 

  * **Université Paris Cité / Appels à candidatures SMARTS-UP** : Le {{ :intranet:lettre-irif:2022-11-25:reseau.com_appels_a_candidatures_smarts-up.eml |projet SMARTS-UP d’Université Paris Cité}} lance son appel à candidature concernant les bourses de mobilité entrante et sortante en Master. Ci-dessous, les informations concernant les appels à candidatures.
    * **Aide à la mobilité sortante pour les étudiant∙es de master des [[https://u-paris.fr/graduate-schools/|Graduate Schools]].**
      * Financement pour des stages ou étude te terrain à l’étranger (1 à 6 mois)
      * Période de candidatures : du 14/11/2022 au 16/12/2022 à 17h (CET)
      * Le dossier de candidature est téléchargeable sur la page de l’université ([[https://u-paris.fr/appel-a-candidatures-smarts-up-bourses-de-mobilite-sortante-en-master/|lien]])
    * **Bourses entrantes (réservées aux primo-entrant∙es)**
      * Période de candidatures : du 01/12/2022 au 15/01/2023 à 17h (CET)
      * Les dossiers de candidature sont à déposer sur la [[https://mobility.smarts-up.fr/|plateforme SMARTS-UP]] 

  * **CNRS INS2I / Appels en cours de la MITI** : De nombreux appels en lien avec l'interdisciplinarité sont actuellement diffusés dans les laboratoires. Voici un résumé des {{ :intranet:lettre-irif:2022-11-25:fwd_ins2i.unites_synthe_se_des_appels_en_cours_de_la_miti_en_lien_avec_les_sciences_informatiques_et_du_nume_riques.eml |principaux appels (MITI, Cellule Energie, INCA, PPR Autonomie)}}. Anne Siegel, Isabelle Queinnec et [[Olivier.SERRE@irif.fr|Olivier Serre]] sont à la disposition de celles et ceux qui souhaiteraient en savoir plus sur ces différents appels.
    * **EMERGENCE (10 à 20k€/an)**
      * [[https://miti.cnrs.fr/appel-a-projets/frugalite-sobriete/|Aide à la décision: Éthique, démocratie et numérique]]. Deadline : 7 décembre.
      * [[https://miti.cnrs.fr/appel-a-projets/frugalite-sobriete/|Frugalité - sobriété]]. Deadline : 7 décembre.
      * [[https://miti.cnrs.fr/appel-a-projets/instrumentation-donnees-et-analyse-in-situ-ou-operando/|Instrumentation in situ ou operando]]. Deadline : 13 décembre.
      * [[https://miti.cnrs.fr/appel-a-projets/nouvelles-frontieres-de-larcheologie-connaissance-et-preservation-des-materiaux-anciens/|Nouvelles frontières de l'archéologie : connaissance et préservation des matériaux anciens]]. Deadline : 18 janvier.
    * **CONSOLIDATION (20 à 50k€/an)**
      * __Cellule Energie__. Deadline : 28 novembre.
      * [[https://miti.cnrs.fr/appel-a-projets/sciences-et-nucleaire/|Matériaux, santé et mesures : au cœur des défis du nucléaire]]. Deadline : 8 décembre.
    * **PROJETS INTERDISCIPLINAIRES**
      * [[https://evento.renater.fr/survey/inscription-webinaire-aap-mic-aegrgigq|ITMO Cancer Aviesan]]. Deadline : 17 janvier.
      * [[https://anr.fr/fr/france-2030/france2030/call/autonomie-vieillissement-et-situations-de-handicap-appel-a-projets-vague-2/|PPR Autonomie - Défi 4]]. Deadline : 17 mars.    

    * **[Rappel] Université Paris Cité / Appel à contribution Pint of Science 2023** : The Labex Who Am I?, the EUR G.E.N.E, and the Faculté des Sciences of Université de Paris join forces to organize events during the next edition of the [[https://pintofscience.fr/|Pint of Science 2023 festival]] (May 22 to 24, 2023). They are looking for people wishing to be involved in the following activities. If you are interested or have questions, contact Valérie Drouet ([[valerie.drouet@u-paris.fr]]) before **December 4, 2022**.


**Newsletter des partenaires** : Les lettres arrivent sporadiquement aux membres de l'IRIF. Elles sont donc listées ci-dessous.

   * [[https://u-paris.fr/?mailpoet_router&endpoint=track&action=click&data=WyI2MjMiLCJibnZmMXR3ZGVwNG9zY3NrMGM4c3dvZ2M4b3cwZzh3ZyIsIjUwOCIsIjk0N2I2MTNlYWJlNyIsZmFsc2Vd|Université Paris Cité Infos]] du 25/11/2022
   * [[https://u-paris.fr/?mailpoet_router&endpoint=view_in_browser&action=view&data=Wzc5NiwiODI1YmMyZDA0ZDkwIiwwLDAsNTA1LDFd|L'actualité étudiante]] du 24/11/2022

=== Agenda de la semaine du 28 novembre au 02 décembre === 

<panel>

[[:seminaires:verif:|Vérification]] · Lundi 28 novembre, 11:00, 1007 and [[https://u-paris.zoom.us/j/89886269671?pwd=QlgvOVBmdjZTVGZqamdOWVdSWWU5UT09|Zoom link]] · \\ **Nicolas Waldburger** (IRISA − Université de Rennes 1), //Parameterized Safety Verification of Round-Based Shared-Memory Systems//

[[:seminaires:numeration:|One world numeration seminar]] · Mardi 29 novembre, 14:00, Online · \\ **Manuel Hauke** (TU Graz), //The asymptotic behaviour of Sudler products//

[[:seminaires:algocomp:|Algorithmes et complexité]] · Mercredi 30 novembre, 11:00, Room 3052 · \\ **Chris Brzuska** (Aalto University), //Obfuscation: Implications in Complexity and Cryptography//

[[:seminaires:algocomp:|Algorithmes et complexité]] · Mercredi 30 novembre, 16:00, Room 3052 · \\ **Ce Jin** (MIT), //Quantum Speed-ups for String Synchronizing Sets, Longest Common Substring, and k-mismatch Matching//

[[:seminaires:these:|Soutenances de thèses]] · Jeudi 01 décembre, 14:00, Room 3052 du bâtiment Sophie Germain & [[https://u-paris.zoom.us/j/81599338847?pwd=TW92Sy94L0RFSmhJSnJLdmRUSmVDQT09|Zoom]] · \\ **Abhishek De** (IRIF), //Linear logic with least and greatest fixed points: truth semantics, complexity, and a parallel syntax//

[[:seminaires:combi:|Combinatoire énumérative et analytique]] · Jeudi 01 décembre, 14:00, Room 3052 et zoom · \\ **Groupe De Lecture** (Eva Philippe (IMJ-PRG)), //Nu-Tamari lattice and Nu-associahedron//

[[:seminaires:automates:|Automates]] · Vendredi 02 décembre, 14:00, Room 3052 · \\ **Léo Exibard**, //TBA//

</panel>