==== Lettre de l'IRIF du 16 septembre 2022 ==== === Edito === Cette semaine dans la lettre, le prochain **conseil de laboratoire** et la **journée d'accueil des nouveaux doctorants et postdocs**. Un rappel sur la plateforme **chat Zulip** dont l'usage est ouvert à tous les membres. Nous profitons de ce début d'année scolaire pour faire un grand ménage : des **containers pour le papier** et les déchets sont disponibles au labo. Côté actualités scientifiques, la **matinée de rentrée du pôle PPS**, une conférence sur la **protection de l'information dans le domaine de la recherche** et l'**appel à participation LAFI 2023**. Du côté de nos partenaires, l'**appel à contribution de l'INSMI**, une session d'information et d'accompagnement dans le cadre de l'**appel à projets ANR** et une mise à jour sur l'**outil d'assistance informatique HELP.** Veuillez noter que les inscriptions aux **activités sportives d'Université Paris Cité** sont ouvertes. Enfin, un focus sur le **prix Test-of-Time de LICS 2022.** Bonne lecture ! === Annonces de la direction === * **Conseil de laboratoire du mardi 13 septembre** : Le compte rendu est disponible sur [[:intranet:conseil:]]. En particulier il a été décidé de * Financer sur la dotation du laboratoire toutes les invitations pour soutenance de thèse à l'IRIF, le matériel des nouveaux arrivants * Encourager à ce que chaque permanent fasse au moins une visite/invitation scientifique par année * Valider les nouvelles missions de la commission doc-postdoc nouvellement nommée, dont un entretien obligatoire après 6 mois de thèse * Une discussion plus large sur l'utilisation de HAL pour le rapport HCERES * **Welcome day / PhD and postdocs** : A welcome day for **new PhD and postdocs students** will take place on the morning of **October 19th**. At the agenda, few words from the IRIF management staff, presentation of the graduate school, mentoring program, PhD students committee. * **Zulip / IRIF chat platform** : A few IRIF members have created an [[https://www.irif.fr/intranet/chat|IRIF chat room]] on Zulip [[https://irif.zulipchat.com/login/]]. This chat can be thought as a virtual, **shared social space for IRIF permanent and non-permanent members** (PhDs, postdocs, interns, visitors), as well as their students and collaborators. Feel free to use it to your advantage! To subscribe, follow this link: [[https://irif.zulipchat.com/join/ij2jagqfjg6hbfmmmfxvnpva/]]. * **Nettoyage de rentrée** : Afin de profiter de la rentrée pour faire de la place dans vos bureaux, **deux containers sont installés** jusqu’au **jeudi 22 septembre**. Un container est situé au **3e étage** pour le papier et les livres et le second au **4e étage** pour les autres déchets non électroniques. A chaque étage le container est proche du monte charge (côté sud). Si vous avez du matériel électronique à jeter, merci de contacter [[materiel@irif.fr]]. * **[Rappel] HAL collection** : IRIF now has a [[https://hal-cnrs.archives-ouvertes.fr/IRIF/|HAL webpage]] (beta version), an open archive where authors can deposit scholar documents from all academic fields. The direction asks all the members of IRIF to submit all their publications of the last 5 years (either as just a bibliographical entry or full text) to this collection since it will be used for the HCRES evaluation: [[https://hal-cnrs.archives-ouvertes.fr/IRIF/]]. \\ === Actualités === * **LAFI 2023 / Call for Extended Abstracts** : The submission deadline for the [[https://lafi23.hotcrp.com/|LAFI 2023]] is **October 20, 2022 (AoE).** * **Matinée de rentrée PPS** : La matinée de rentrée du pôle PPS aura lieu le **06/10/2022.** Le programme est en cours d'élaboration : [[https://www.irif.fr/rencontres/rentree2022]]. * **Conférence "Protection de l'information dans le domaine de la recherche"** : La délégation CNRS Paris-Villejuif invite à participer à la conférence //Protection de l'information : particularités et vulnérabilités liées au domaine de la recherche//, proposée et animée par le groupe de protection économique, chargé de la recherche, santé et innovation, du Ministère de l’Intérieur. Cette conférence se tiendra en présentiel, le **lundi 19 septembre de 14h à 17h** sur le **campus de Villejuif** sis 7, rue Guy Môquet 94800 Villejuif - salle de conférences (Bâtiment L). Réservation requise, nombre de places limités [[secretariat.parisvillejuif@cnrs.fr]]. \\ === Focus sur le prix Test-of-Time, LICS 2022 === {{:intranet:lettre-irif:2022-09-16:pexels-markus-spiske-7085554.jpg?180 |}} Philippe Schnoebelen (LMF), **François Laroussinie (IRIF)** et Nicolas Markey (IRISA), ont été récompensés par la **conférence LICS** pour leurs travaux sur la logique temporelle, //[[https://ieeexplore.ieee.org/document/1029846|Temporal logic with forgettable past]]//. Vingt ans après la publication d’un **article sur la logique temporelle**, leurs travaux ont ouvert la voie à l’expression d’événements passés dans la **logique temporelle** et les **méthodes formelles**. Ces recherches s’inscrivent dans le domaine des méthodes formelles, qui permettent de raisonner sur des programmes avec des **outils mathématiques**. L’article traite plus précisément de la logique temporelle, qui permet de raisonner sur l’enchaînement des évènements qui surviennent lors de l’exécution d’un programme. Ces outils trouvent leur principale utilité lors de la définition, avant de commencer la programmation à proprement parler, d’un cahier des charges de ce que l’algorithme ou le programme doivent pouvoir faire. L'[[https://ieeexplore.ieee.org/document/1029846|article est à lire ici]]. \\ L'[[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|interview réalisée par l'INS2I est disponible ici]]. \\ === Appels d'offres et informations des partenaires === * **INSMI / Appel à contribution** : Dans le cadre des [[https://www.insmi.cnrs.fr/fr/cnrsinfo/les-assises-des-mathematiques|Assises des mathématiques]], l'Insmi propose à la communauté mathématique le défi Diffusion des mathématiques. Les réponses à cet [[https://intranet.cnrs.fr/instituts/insmi/Pages/Défi-Diffusion.aspx|appel à contributions]] prendront la forme d’une description d’une action de diffusion. Les contributions seront envoyées au plus tard le 1er octobre 2022 à minuit. * **ANR / Appel à projets générique 2023** : L’[[https://anr.fr/fr/detail/call/aapg-appel-a-projets-generique-2023/|Appel à projets générique 2023 (AAPG 2023)]] est **ouvert depuis le 18/07/2022**. Clôture de la soumission des pré-propositions le **07/11/2022 à 17h00 CET**. * **Fac Sciences Info Recherche / Session d'information et d'accompagnement** : Une {{ :intranet:lettre-irif:2022-09-16:fac_sciences_info_recherche_session_d_information_et_d_accompagnement_l_appel_a_projets_ge_ne_rique_2023_de_l_anr.eml |session d’information et un accompagnement dédié}} est proposée dans le cadre de « L’appel à projets générique 2023 » de l’ANR. Celle-ci aura lieu, via zoom, le **vendredi 7 octobre 2022 de 11h à 12h30.** Si vous souhaitez assister à cette formation merci d’adresser votre demande à : [[projets.recherche.sciences@u-paris.fr]]. * **Université Paris Cité / HELP** : À compter du 19/09/2022, l'[[http://help.app.u-paris.fr |outil d'assistance informatique HELP]] s'enrichit de **4 nouvelles catégories** de services. {{ :intranet:lettre-irif:2022-09-16:actualites_dsin_portail_help_e_volue_et_propose_des_nouveaux_services.eml |Plus d'informations sur l'évolution du portail HELP ici}}. * Salles pédagogiques "Halle aux Farines" et "Olympe de Gouges" * Arrivée-départ d’un personnel Université Paris Cité * Production Audiovisuelle * FabLab des Grands Moulins * **Université Paris Cité / Activités sportives** : Les **inscriptions aux activités sportives** d'Université Paris Cité sont **ouvertes depuis le 12 septembre**. Les inscriptions sont possibles tout au long de l’année universitaire, selon les places disponibles. * Modalités d'inscription pour les __étudiants d'Université Paris Cité__ : [[https://u-paris.fr/sport/inscription-apsa/]] * Modalités d'inscription pour les __personnels d'Université Paris Cité__ : [[https://u-paris.fr/sport/inscription-apsa/]] * **[Rappel] Université Paris Cité / Mobilités Erasmus+ STA/STT** : La campagne Mobilités Erasmus+ STA/STT pour l'année 2022-2023 est lancée. Cet appel concerne les enseignants chercheurs (Mobilité d’enseignement – STA) et les agents de l’Administration (Mobilité de formation – STT). Dates limites pour la Mobilité S1 : 21 octobre 2022 et pour la Mobilité S2 : 9 décembre 2022. **Newsletter des partenaires** : Les lettres arrivent sporadiquement aux membres de l'IRIF. Elles sont donc listées ci-dessous. * [[https://u-paris.fr/diip?mailpoet_router&endpoint=track&action=click&data=WyI1MTIiLCJzdGxwMmJnYmU5Y3M0a3dzZ3M0a2Nvc29rODRvdzRncyIsIjgiLCJlMDM5NWFlMmRkYzciLGZhbHNlXQ|Newsletter diiP]] de septembre 2022 * [[https://www.cnrs.fr/CNRS-Hebdo/iledefrance-villejuif/lettre.php?numero=620|CNRS Hebdo]] du 16/09/2022 * [[https://u-paris.fr/?mailpoet_router&endpoint=track&action=click&data=WyI1MzAiLCIxYXFleHU4ZjFrOXc0Z3drZ3c0azRzMDAwc2dnbzg4YyIsIjQ0MCIsIjU2YjhlNWQyOTMzMyIsZmFsc2Vd|Université Paris Cité Infos]] du 16/09/2022 * [[http://click.revue.email/ss/c/XN2t88CAhalHja1RClwc6nfV-nStt3kVsgZH5NOVlm0s4-JsRnL-EwwY36x0vLmBdQSS-qlw9MAmAHhTsikDIjGxldb4QTFXzYJqzuGfT6e_iksaFcAYBkGq9znk4wMgcStIt1eGeKo7yJL4mMWLo7WGZnKNLbq48JowcW390jYi8y6hdX1eHuSndOWSemxDUFkhy29FRW1iPVluYfmgY-KJWq0fe70GjTvDlLx7bV3guXE_YQl1eP8y9OOhe65L/3ph/QxzH_aWbSSeb-313t3hTFw/h1/EbkCzh3WjIOZzAk5ZHPOlC77pnEuI4ffBiy5OqflDa8|Newsletter de l'INS2I]] #13 du 15/09/2022 * [[https://u-paris.fr/?mailpoet_router&endpoint=view_in_browser&action=view&data=WzcyMiwiZDZhNjA2ZjExNGRhIiwwLDAsMCwxXQ|L'actualité étudiante]] du 14/09/2022 * [[https://u-paris.fr/?mailpoet_router&endpoint=track&action=click&data=WyI1MzciLCIxMnNwaWs2c3dhZXM4Y2t3b2MwbzBzZ29rbzAwZ3NvZyIsIjQzOCIsIjhiNDI2MjJhMDExZCIsZmFsc2Vd|Fil info Recherche]] du 13/09/2022 * [[https://intranet.cnrs.fr/delegations/dr1/Pages/Lettreinterne.aspx?IdLettre=20|CNRS interne]] du 09/09/2022 === Agenda de la semaine du 19 septembre au 23 septembre === [[:seminaires:pps:|Preuves, programmes et systèmes]] · Lundi 19 septembre, 11:00, Room 3052 · \\ **Shachar Itzhaky** (Technion, Haifa), //TheSy: Theory Exploration Powered by Deductive Synthesis and E-graphs// [[:seminaires:verif:|Vérification]] · Lundi 19 septembre, 11:00, Room 3052 · \\ **Shachar Itzhaky** (Technion University), //TheSy: Theory Exploration Powered by Deductive Synthesis and E-graphs// [[:seminaires:combi:|Combinatoire énumérative et analytique]] · Jeudi 22 septembre, 14:00, Room 3052 et zoom · \\ **Groupe De Lecture - Intervalles De Tamari**, //Corentin Henriet et Matthieu Josuat-Verges// [[:seminaires:doctorants:|Séminaire des doctorants]] · Jeudi 22 septembre, 16:00, 3052 · \\ **Victor Arrial**, //TBA// [[:seminaires:cat:|Catégories supérieures, polygraphes et homotopie]] · Vendredi 23 septembre, 14:00, Room 1007 · \\ **Marek Zawadowski** (Université de Varsovie), //(Positive) Opetopes and opetopic sets//