==== Lettre de l'IRIF du 13 juillet 2023 ====

=== Edito ===   

Cette semaine, dans la lettre de l'IRIF, **Notilus**, l'outil de gestion des missions et états de frais **a ouvert**. Demain, vendredi 14 juillet, l'IRIF sera fermé.

Le cours “Projet de programmation en CAML” de L3 se retrouve sans enseignant. 

L'IRIF met en place dès la rentrée de septembre le **programme de garde d'enfants**, en soutien aux femmes et aux parents en général pour les aider à s'occuper de leurs enfants lors des conférences, réunions ou voyages d'affaires. C'est le focus de cette semaine. 

Bonne lecture et bon week-end prolongé !

=== Annonces de la direction ===

  * **14th of July**: **due to this holiday, IRIF will be completely closed for the whole day tomorrow.**

  * **Notilus** : [[https://esr-cnrs.notilus-inone.fr/#/Dashboard|Notilus]], l'outil de gestion des missions et des états de frais **est ouvert**. Les chercheurs et chercheuses doivent réserver eux-mêmes leurs voyages et soumettre leurs justificatifs via  [[https://esr-cnrs.notilus-inone.fr/#/Dashboard|Notilus]] (voir [[https://intranet.cnrs.fr/Cnrs_pratique/Pages/Bient%C3%B4t-un-outil-%C2%AB-tout-en-1-%C2%BB-pour-la-gestion-des-missions.aspx|fiche explicative]]). 

  * **Imprimantes** : suite aux travaux qui doivent commencer le 4 août dans les zones centrales du laboratoire, les imprimantes ont été déplacées : dans l'espace commun central au 4ème étage et en salle 3052 au 3ème étage.
     
  * **Olympe de Gouges**: This week's code is **79274**

  * [REMINDER] **[SAVE THE DATE]**: the **Back to work event** will be held on **September 11** in **room 9E** at Halle aux Farines from 14:00pm to 18:00pm. There will be short overview talks by the new permanent members of the IRIF followed by a buffet. The program will be announced on [[https://www.irif.fr/rencontres/irif/rentree2023|this page]].
   
  * ⚠ Dans le cadre d'une intervention, merci de noter qu'une **coupure de téléphonie et réseau** est prévue le **mardi 18 juillet 2023 entre 7h00 et 8h00** dans le bâtiment Sophie Germain.

<!--

* [RAPPEL] **Les chercheur·e·s et les doctorant·e·s sont encouragés à participer à l'enseignement** : l'UFR informatique est en train de recueillir les demandes du personnel de l'université pour leurs enseignements de l'année prochaine, via silice. C'est le bon moment pour se manifester auprès de la direction de l'UFR si vous souhaitez participer. Pour les doctorant·e·s qui souhaitent donner des enseignements pour la première fois, merci de suivre [[http://www.informatique.univ-paris-diderot.fr/ufr/doctorants_contractuels_mission_enseignement_2023_2024|cette procédure]]. Contactez [[direction-ufr@informatique.univ-paris-diderot.fr|la direction de l'UFR]]

-->

\\

=== Actualités ===    

  * **Sélection ANR** : toutes nos félicitations à [[https://www.irif.fr/~chapuy/|Guillaume Chapuy]] et [[https://www.samvangool.net/|Sam Van Gool]], [[https://anr.fr/fileadmin/aap/2023/selection/aapg-2023-selection-vague-2.pdf|sélectionnés à l'ANR]]. Guillaume a été sélectionné dans la catégorie **"Instrument de financement : Projet de Recherche Collaborative (PRC)"** pour son projet **"Combinatoire des cartes, méandres et multicourbes, et ses interactions"**. Sam a été sélectionné dans la catégorie **"Instrument de financement : Jeunes Chercheuses et Jeunes Chercheurs (JCJC)"** pour son projet **"Espaces topologiques de types et de termes"**.
  
  * **Recherche d'enseignant** : le cours "Projet de programmation en CAML" (L3) de l'Université Paris Cité au premier semestre recherche l'enseignant qui pourra assurer ses cours. Plus d'informations dans le {{ :intranet:lettre-irif:2023-07-13:projet_de_programmation_en_caml_l3_-_direction_ufr_direction-ufr_informatique.univ-paris-diderot.fr_-_2023-07-07_1824.eml |mail de Carole Delporte}}.
  
  * [Rappel] **Billets Cité des Sciences** : l'IRIF dispose de **20 billets pour la Cité des Sciences et de l'Industrie**. Avec vos petits ou bien entre grands, venez (re)découvrir les sciences dans leur globalité (l'univers, les mathématiques, les sons, le cerveau, les gênes, les robots, l'océan et bien d'autres !) et profitez d'une expérience unique au planétarium (par exemple, à l'occasion des 50 ans de leur album "The Dark Side of The Moon", les Pink Floyd sont à l'honneur dans une expérience unique de 42 minutes, durée de l'album, où chaque chanson a un thème différent). Intéressé·e ? Contactez [[:communication@irif.fr|communication@irif.fr]] pour obtenir vos places.
  
  * **Disponibilités Fête de la Science** : pour anticiper l'organisation de la Fête de la Science à l'IRIF qui accueillera des élèves de primaire, collège et lycée, [[https://framaforms.org/fete-de-la-science-2023-du-6-au-16-octobre-2023-1686835173|merci beaucoup de remplir ce formulaire]] (qui prends maximum 2 minutes à remplir) pour indiquer votre intérêt de participer à cet événement. Merci d'avance.
  
  * **CAV 2023**: the 35th International Conference on **Computer Aided Verification is co-organized by IRIF**. It will be held on **July 17th-22nd, 2023** In Paris. The first two days (July 17th-18th) will be dedicated to affiliated workshops. [[https://cav2023.dakini-pco.com/|You can register here]].
 


<!-- 

* [REMINDER] **Thesis offer**: a fully funded PhD position in Computer Science with the subject **“Cyber-physical systems with AI components: modeling, learning and verification”** opens in Paris. **Starting in October 2023** with Eugene Asarin, Mohammed Foughali and Peter Habermehl at IRIF in the Modeling and verification team, the PhD student will evolve in the framework of the Franco-Japanese research project CyPhAI. {{ :intranet:lettre-irif:2023-06-23:gdr-im_these_a_l_irif_paris_systemes_cyber-physiques_ia_modelisation_apprentissage_verification_-_eugene_asarin_asarin_irif.fr_-_2023-06-15_1234.eml |More informations here}}.

* **Journées Graphes et Agorithmes (JGA)** : Les 25ème journées JGA auront lieu à Villeurbanne (campus de La Doua, Université Lyon 1) du **21 Novembre à 13h au 24 Novembre à 16h**. La cérémonie de remise du **prix de thèse Charles Delorme** 2023 aura également lieu lors de ces journées. Vous avez jusqu'au 20 Octobre pour vous inscrire (inscription gratuite mais obligatoire). Vous pouvez également soumettre vos papiers jusqu'au 15 septembre. [[https://jga2023.sciencesconf.org/|Toutes les informations sont ici]].

* **Workshop Complexity and Algorithms (CoA 2023)**: the 3rd annual workshop for the working group “Complexity and Algorithms” (GT-CoA) will take place at Campus Jussieu, Paris, September 18-20 2023. [[https://framaforms.org/3eme-workshop-complexite-et-algorithmes-coa-2023-1686656988|Here is the link to register]].

* [RAPPEL] **Formation à distance - soumettre son projet détaillé à l'ANR** : ouverte aux chercheurs statutaires et non statutaires de la circonscription Ile-de-France Villejuif du CNRS et administratifs en charge du suivi des projets ANR, la formation aura lieu le lundi 25 septembre 2023 de 9h30 à 16h30. Vous y découvrirez les nouveautés du plan d’actions 2023 ainsi que le fonctionnement de USER FIRST. {{ :intranet:lettre-irif:2023-06-23:programme-spv.pdf |Téléchargez ici tout le programme détaillé}}. Pour candidater, il faut {{ :intranet:lettre-irif:2023-06-23:formulaire_d_inscription_a_une_formation_spv.docx |retourner le formulaire rempli et signé}} par votre responsable avant le 1er septembre 2023.

* **SAUTOS Summer School**: the SAUTOS summer school on **Safe Autonomous Systems co-organized** by Université Paris-Saclay (GS ISN and SIS) and Institut Polytechnique de Paris will be held from the 23rd to the 27th of October 2023 at University Paris-Saclay, Orsay, France.  [[https://sautos.sciencesconf.org|Registration is mandatory before 2nd October]]: it is free for master students and 100€ for Ph.D Students all included.

-->

\\

=== IRIF & Environnement ===

  * The IRIF and Environment Commission is taking his summer break, no weekly comic strip this week. You still can follow and participate to I&E using Zulip (https://zulip.irif.fr), and via the website.
  
  
\\


=== Focus on the Childcare program at IRIF ===   

{{ :intranet:lettre-irif:2023-07-13:chilcare_program_3.png |}}

IRIF supports **women and parents** who wants to attend to conference, meetings, work travels and needs to have the support to take care of their children. **This program will start in September**. More information on [[https://www.irif.fr/informations/childcare|this page]].




<!-- {{:intranet:lettre-irif:2023-06-16:fdls2023_logo.png?direct&200 |}} La **fête de la Science édition 2023** se déroulera du **6 au 16 octobre** en métropole et nous accueillerons cette année encore des écoles de primaires, collège et lycée au sein de l'IRIF. Pour faire de  cet événement une réussite, **nous avons besoin de votre mobilisation** ! Afin d'anticiper l'organisation des ateliers qui seront proposés en semaine à l'IRIF, **merci de [[https://framaforms.org/fete-de-la-science-2023-du-6-au-16-octobre-2023-1686835173|remplir ce formulaire]]** qui nous permettra de savoir qui pourrait potentiellement être intéressé de participer à l'animation d'ateliers.

De plus, **le CNRS s'allie cette année avec l'Exploradôme, musée des sciences et du numérique,** qui souhaite organiser avec l'IRIF des ateliers/conférences/expériences le **samedi 14 octobre**. L'objectif serait de **lier ces ateliers/conférences/expériences avec la thématique de cette année qui est "Science et sport"**. Vous êtes libre de travailler sur l'aspect qui vous intéresse (pari sportif, IT, modélisations, statistiques, etc.). Vous avez une **liberté complète sur le choix de votre sujet**. Si vous souhaitez participer sans lier cela avec le sport c'est également possible dans le cadre de rencontres avec des "objets mystères" par exemple. Pour plus de renseignements, voici deux présentations explicatives : {{ :intranet:lettre-irif:2023-06-16:action_fds_2023_cnrs-exploradome.pdf |Fête de la science "Sport et Science"}} et {{ :intranet:lettre-irif:2023-06-16:formats_d_actions_-_le_cnrs_fete_la_science_a_l_exploradome.pdf |"Le CNRS fête la science à l'Exploradôme".}}. -->

\\

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

<!--
   * **Appel à projet MSCA and Citizens 2023** : cet appel à projet à pour but d'obtenir des financements dans le cadre d'actions menées pour rapprocher la recherche (activités, rôle, intérêt sociétal...) vers le grand public comme par exemple avec la Fête de la Science. Vous avez jusqu'au 25 octobre pour en bénéficier. Plus d'informations [[https://www.horizon-europe.gouv.fr/actions-marie-sklodowska-curie-et-les-citoyens-msca-and-citizens-27893|ici pour se renseigner sur le projet européen]].
-->

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

  * [[http://0x0qr.mjt.lu/nl3/9JyMSO3kZsgtua2sn1hUpA?m=AUsAAB5OKGkAAAARBzIAABX01qYAAAAAtz8AANTSABkriQBkrYjYMHj2HFoxQwayS6c9d9uX5gAYfD4&b=b47e8e34&e=84ae4a66&x=dzwU8qIonSdPj7wDNvErWw|Newsletter MathsInfos n°61 de la FSMP de Juillet 2023]]
  * [[https://u-paris.fr/?mailpoet_router&endpoint=view_in_browser&action=view&data=WzEwMjQsMCw1MzcsIjEyc3BpazZzd2Flczhja3dvYzBvMHNnb2tvMDBnc29nIiw2NTUsMF0|Fil Info Recherche du jeudi 13 juillet 2023]]
  * {{ :intranet:lettre-irif:2023-07-13:lettre-insmi_lettre_de_l_insmi_-_juillet_-_bel_ete_-_insmi_communication_insmi.com_cnrs.fr_-_2023-07-13_0956.eml |La lettre de l'INSMI de Juillet 2023}}
  * [[https://u-paris.fr/diip?mailpoet_router&endpoint=view_in_browser&action=view&data=WzMzLDAsNTEyLCJzdGxwMmJnYmU5Y3M0a3dzZ3M0a2Nvc29rODRvdzRncyIsMjUsMF0|diiP's Call for Proposals of July 2023]]
\\

=== Agenda de la semaine du 17 juillet au 21 juillet ===

<panel>

[[:seminaires:these:|Soutenances de thèses]] · Lundi 17 juillet, 14:00, Room 027C, Halle aux Farines · \\ **Antoine Allioux** (IRIF), //Higher Structures in Homotopy Type Theory//

[[:seminaires:types:|Théorie des types et réalisabilité]] · Mardi 18 juillet, 14:00, Room 147 (bâtiment Olympe de Gouge) · \\ **Paige North** (Utrecht University), //Coinductive control of inductive data types//

</panel>