==== Lettre de l'IRIF du 03 mars 2023 ==== === Edito === Dans la lettre cette semaine, le recrutement pour un **poste d'ingénieur·e de Recherche en Développement Logiciel**, des informations sur les **appels à projets Horizon Europe 2023 et 2024**. Prenez note d'une clarification sur le **remboursement des frais de repas en mission**. Coté actualités scientifiques, **JACM Articles 2022** et un **papier accepté à STOC 2023**. Coté partenaires, la liste de la **Section 6 du Comité national** dévoilée, le **concours LPPI 2023**, une invitation de la Ville de Paris pour la **Journée Femmes & Recherche** et une **matinée d'échanges** à l'occasion de la journée internationale pour les droits des femmes. Plusieurs informations de l'Université Paris Cité : la **2ème étape de l'ANR AAPG** et un **nouvel AAP**. Le focus cette semaine s'intéresse aux **actions de parité-égalité menées au LIRMM**. Bonne lecture ! === Annonces de la direction === * **Software engineer position in formal methods**, shared between IRIF, LIPN and LMF [[https://emploi.cnrs.fr/Offres/CDD/UMR7030-VERCRI-001/Default.aspx|More details in the job description]]. Deadline to apply: **March 17, 2023.** * **Appels à projets Horizon Europe 2023 et 2024** : La Commission Européenne a publié officiellement les appels à projets Horizon Europe ouverts sur 2023 et 2024. [[https://www.horizon-europe.gouv.fr/programme-de-travail-2023-2024|Vous pouvez retrouver l’ensemble de ces appels ici]]. * **[Rectification] Remboursement frais de repas en mission** : nous rappelons que le remboursement de chaque repas nécessite un reçu et que ne sont éligibles ni **les reçus de cartes bancaires** ni **les factures au nom d'une personne qui n'est pas le missionnaire** (tickets de caisses et factures/reçus —anonymes ou au nom du missionnaire— sont acceptées lorsqu'elles montrent qu'il s'agit d'une dépense alimentaire). En particulier, la conséquence du deuxième point est que //si vous prêtez votre carte de cantine à votre invité, le repas ne lui sera pas remboursé//. \\ === Actualités === * **JACM Articles from 2022** : The paper "Decentralized Asynchronous Crash-resilient Runtime Verification" authored by Borzoo Bonakdarpour (MSU), **Pierre Fraigniaud (IRIF)**, Sergio Rajsbaum (UNAM), David Rosenblueth (UNAM), and Corentin Travers (LIS) has been selected in the "sample of [eight] exciting [..] articles on a diverse range of topics that were published in 2022" in the Journal of the ACM (JACM). [[https://dl.acm.org/doi/10.1145/3550483]] * **STOC 2023 / Accepted paper** : One paper authored by IRIF member will be presented at STOC 2023, June 20-23, 2023 in Orlando, Florida. * //Interior Point Methods with a Gradient Oracle//. **Adrian Vladu** (CNRS, IRIF, Université Paris Cité) * **QPL 2023** : Final Call for Papers (with updated deadlines). The [[https://qpl2023.github.io/|20th International Conference on Quantum Physics and Logic]] will take place from **17 July to 21 July 2023** at the "Institut Henri Poincaré" in Paris, France. \\ === Focus sur les actions égalité-parité au LIRMM === {{:intranet:lettre-irif:2023-03-23:parite-lirmm2-1536x148.jpg?400 |}} La [[https://www.lirmm.fr/egalite-parite/|politique d’égalité femmes-hommes du LIRMM]] s’inscrit dans le cadre plus général de la politique de ses tutelles principales CNRS et Université de Montpellier. \\ CNRS : [[https://mpdf.cnrs.fr/mpdf/?doing_wp_cron=1677837265.6348741054534912109375|Mission Pour la place des femmes]] \\ INS2I : [[https://www.ins2i.cnrs.fr/fr/parite-egalite-femmes-hommes|Parité-égalité femmes-hommes]] L’objectif du laboratoire est de travailler en interaction avec nos tutelles pour lever les freins à l’égalité entre femmes et hommes dans les métiers de la recherche. Travail en cours : une réflexion et des actions autour de 3 axes * **Evaluer** : Effectuer annuellement un bilan des répartitions hommes-femmes au sein du laboratoire selon les différentes catégories et lors du déroulement des concours (pourcentage de chaque genre lors des soumissions de dossiers, parmi les dossiers classés puis retenus). * **Sensibiliser** : Organisation de conférences (e.g. Les biais de genre dans les applications numériques et dans l’IA), projection de documentaires, campagne d’affichage dans le laboratoire, relais des initiatives locales et nationales et des statistiques nationales. * **Agir** : Informer sur les droits et devoirs de chacun, participer à la publicité des métiers de la recherche au sein du jeune public féminin. \\ === Appels d'offres et informations des partenaires === * **Section 6 du Comité national** : La liste des **candidats auditionnés sur les concours CNRS 06/01 (DR2) et 06/02 (CRCN)** est disponible ici [[https://cn6.fr/#auditions2023]]. * **CNRS** : Concours LPPI 2023 et matinée d’échanges « Parlons égalité ! » * __Matinée d’échanges « Parlons égalité ! »__ : À l’occasion de la journée internationale pour les droits des femmes, le CNRS organise une {{ :intranet:lettre-irif:2023-03-23:programme_10_mars.pdf |matinée d’échanges le 10 mars (9h00-13h00)}}, en lien avec plusieurs de nos partenaires de l’Enseignement Supérieur et la Recherche engagés pour l’égalité, pour partager les enjeux, la richesse et la diversité de nos actions. [[https://framaforms.org/inscription-a-levenement-cnrs-parlons-egalite-des-politiques-institutionnelles-aux-actions-concretes|Inscription à cette rencontre ici]]. * __Concours LPPI 2023__ : La 5ème édition du [[https://www.concours-preuve-image.fr/|concours photo La preuve par l’image 2023]] démarrera le 6 mars prochain. Destiné aux personnels des laboratoires CNRS, ce concours a pour ambition de mettre en avant les plus belles photos de recherche. * **UPCité Faculté des Sciences / ANR AAPG 2ème étape** : {{ :intranet:lettre-irif:2023-03-23:fac_sciences_info_recherche_anr_aapg_2eme_etape_modalites_de_soumission_et_sessions_d_information_les_24_02_et_06_03.eml |Modalités de soumission et sessions d'information}}. * __Lundi 6 mars, 14H-15H30__ : Vise à présenter un rappel des points importants du dépôt, et comprennent une session de questions/réponses avec les participants. Pour participer, veuillez écrire à l’adresse [[projets.recherche.sciences@u-paris.fr]]. Un lien de connexion vous sera communiqué par la suite. * **UPCité Pôle Culture / Mois des égalités** : {{ :intranet:lettre-irif:2023-03-23:personnels.culture_en_mars_.eml |Calendrier complet des activités proposées par le pôle culture d'UPCité dans le cadre du mois des égalités}}. * **Ville de Paris / Invitation Journée Femmes & Recherche** : Dans le cadre de la Journée internationale de lutte pour les droits des Femmes, la Maire de Paris organise une journée de conférences portant sur la place des Femmes dans la recherche et les recherches sur les Femmes le lundi 6 mars de 10h à 18h dans le Grand Amphithéâtre de la Sorbonne (47 rue des Écoles, 75005). Inscription à cette adresse [[ddct-seii-inscriptions@paris.fr]]. * **Université Paris Cité / Nouvel AAP** : Université Paris Cité lance un [[https://u-paris.fr/appel-a-projets-cvec-upcite-jai-des-projets-je-les-soumets-printemps/|nouvel appel à projets]], destiné à financer des actions pour l’**amélioration des conditions de vie étudiante**, entre le **20 février et le 3 avril 2023**. Ce dispositif dispose d’une enveloppe de 250 000 €, dans la limite de 50 000 € par projet. **Newsletter des partenaires** : Les lettres arrivent sporadiquement aux membres de l'IRIF. Elles sont donc listées ci-dessous. * {{ :intranet:lettre-irif:2023-03-23:newsletter_de_l_ins2i_-_cnrs_22_15_fevrier_2023.eml |Newsletter de l'INS2I #23}} du 01/03/2023 * [[http://xwx9u.mjt.lu/nl3/gQKFejSmpD6TSso0Puqkfw?m=AVEAAA4HWn8AAci4WJgAAKsUJ0kAAYCsKfkAnFtJAAxjBwBj_NEz3ajgYY3cT3ikGiqn4dLFbAAMZ5w&b=85d46a0f&e=2799e85d&x=AKRzCSvBZGUwtdkysKcPMA|Newsletter de l'ANR]] de Février 2023 * [[https://www.insmi.cnrs.fr/fr/cnrsinfo/la-lettre-de-linsmi|Lettre de l'Insmi]] de Février 2023 * [[https://u-paris.fr/?mailpoet_router&endpoint=track&action=click&data=WyI2MzUiLCJhamQ4OTR1aXQ3a2djMHMwY293MDRrb3dzNGdzc29zZyIsIjU2OCIsImNkOWI2OGY2ZjU3OSIsZmFsc2Vd|Université Paris Cité Infos]] du 24/02 * [[https://u-paris.fr/?mailpoet_router&endpoint=view_in_browser&action=view&data=Wzg4MywiODMxMWY3MDMwOGJmIiwwLDAsMCwxXQ|L'actualité étudiante]] du 24/02 * [[https://lejournal.cnrs.fr/newsletters/la-lettre-ndeg76-agents-du-cnrs|CNRS Le journal n°76]] du 24/02 * [[https://u-paris.fr/?mailpoet_router&endpoint=track&action=click&data=WyI1MzciLCIxMnNwaWs2c3dhZXM4Y2t3b2MwbzBzZ29rbzAwZ3NvZyIsIjU1NyIsImY3MTQzYTIzNjIwYyIsZmFsc2Vd|Université Paris Cité Fil Info recherche]] du 20/02 * {{ :intranet:lettre-irif:2023-02-24:newsletter_de_l_ins2i_-_cnrs_22_15_fevrier_2023.eml |Newsletter de l'INS2I #22}} du 15/02/2023 * [[http://www.cnrs.fr/CNRS-Hebdo/iledefrance-villejuif/lettre.php?numero=633|CNRS Hebdo]] du 17/02/2023 === Agenda de la semaine du 06 mars au 10 mars === [[:seminaires:verif:|Vérification]] · Lundi 06 mars, 11:00, 1007 and [[https://u-paris.zoom.us/j/89886269671?pwd=QlgvOVBmdjZTVGZqamdOWVdSWWU5UT09|Zoom link]] · \\ **Thomas Chatain** (ENS Paris-Saclay), //Towards Conformance Checking for Timed Process Models// [[:seminaires:numeration:|One world numeration seminar]] · Mardi 07 mars, 14:00, Online · \\ **Derong Kong** (Chongqing University), //TBA// [[:seminaires:algocomp:|Algorithmes et complexité]] · Mercredi 08 mars, 11:00, Room 3052 · \\ **Alexander Koch** (IRIF), //Code-based cryptography// [[:seminaires:acs:|Analyse et conception de systèmes]] · Jeudi 09 mars, 09:30, Amphithéâtre Guillaume Budé, Collège de France · \\ **Xavier Leroy** (Collège de France), //Introduction aux structures persistantes et à la programmation purement fonctionnelle// [[:seminaires:pps:|Preuves, programmes et systèmes]] · Jeudi 09 mars, 10:30, Room 3052 & online ([[https://u-paris.zoom.us/j/84381797685?pwd=WG1ZSnhnYi81MnhsTFB6S2krM0E2Zz09|Zoom link]]) · \\ **Ghyselen Alexis** (Università di Bologna), //Choices via algebraic operations and stateful computations// [[:seminaires:combi:|Combinatoire énumérative et analytique]] · Jeudi 09 mars, 14:00, Room 3052 et zoom · \\ **Groupe De Lecture** (LIGM Gustave Eiffel), //Eric Fusy// [[:seminaires:doctorants:|Séminaire des doctorants]] · Jeudi 09 mars, 16:00, 3052 and [[https://u-paris.zoom.us/j/87901757761?pwd=b3RXRWFUN0hlTGRYVzZyeEFESWZ4UT09|Zoom link]] · \\ **Dániel Szabó**, //Simplicial complexes - an introduction to Topological Data Analysis// [[:seminaires:automates:|Automates]] · Vendredi 10 mars, 14:00, Room 3052 · \\ **Uri Abraham**, //On states and invariants//