==== Lettre de l'IRIF du 10 mars 2023 ==== === Edito === Dans la lettre cette semaine, le **prochain conseil de labo**, un **point info travaux** avec des **nuisances sonores** à venir et l’installation de la plateforme **Zulip** officielle du laboratoire. Côté actualités scientifiques, la **vidéo conférence cryptographie** de Sylvain Perifel, un **portrait de doctorant**, un **webinaire du Simons Institute** for the Theory of Computing et la prochaine **Distinguished Lecture** du diiP. Du côté de nos partenaires, le **webinaire Pilier 2 Horizon Europe**, les **bourses de master** de la FSMP et plusieurs annonces d'Université Paris Cité : **AMI - Médiation Scientifique**, le **co-financement de colloques** dans le cadre d'un GDR, la **finale Ma thèse en 180s** et les **Journées Scientifiques de l'Environnement**. Le focus cette semaine s'intéresse aux **Journées du GDR IM** organisées par l'IRIF. Bonne lecture ! === Annonces de la direction === * **Prochain conseil - mardi 14 mars à 13h** : Le prochain conseil de laboratoire se tiendra le **mardi 14 mars à 13h en salle 3058** et l'ordre du jour est détaillé ci-dessous. Le conseil suivant sera le 11 avril. * Présentation du budget IRIF * Résultat appel à projet CNRS * Discussion sur les éventuelles évolutions de la structure du laboratoire à évoquer dans le rapport HCERES * Discussion sur le règlement intérieur * **Info travaux SG** : Le **montage des échafaudages** va commencer la semaine prochaine, le **14 mars côté parvis** et le **15 mars côté Lepaute**. La fixation des échafaudages nécessite de percer la façade, des **nuisances sonores** sont donc à prévoir. * Après un an d’expérimentation réussie, un **Zulip interne au laboratoire** existe desormais : connectez-vous sur [[https://zulip.irif.fr|zulip.irif.fr]] en utilisant vos identifiants et mot de passe du laboratoire. La plateforme Zulip offre des fonctionnalités de chat avancées, et permet de communiquer à l’intérieur du laboratoire comme d’inviter des participants extérieurs. Le serveur aux US que Pierre-Evariste Dagand avait monté, et que vous avez été nombreux à utiliser, est lui appelé à disparaitre. Merci Pierre ! \\ === Actualités === * **Vidéo conférence cryptographie / Fête de la Science** : Cette [[https://youtu.be/IslzpbKfCnM|conférence ludique, présentée par Sylvain Perifel – Maître de conférences (Université Paris Cité/IRIF)]] à l’occasion de l’**édition 2022 de la Fête de la Science**, propose de retracer et de mettre en pratique les différentes avancées historiques de cette science qui semble un peu secrète, du code de César à RSA en passant par les substitutions mono-alphabétiques et par le chiffre de Vigenère. * **Portrait of a PhD student** : **Abhishek De**, former PhD student at IRIF explains his phD thesis [[https://www.irif.fr/_media/users/ade/main.pdf|"Linear logic with the least and greatest fixed points. Truth semantics, complexity and a parallel syntax"]] in this [[https://www.irif.fr/portraits/abhishek-de|written interview]]. * **Simons Institute for the Theory of Computing / Breakthroughs Webinar** : [[https://mailchi.mp/lists.simons.berkeley.edu/breakthroughs-raghu-meka?e=ab5f4cedde|Strong Bounds for 3-Progressions presented]] by **Raghu Meka (UCLA)** on **Thursday, March 16 at 3:30 – 4:30 p.m. PT.** [[https://berkeley.us7.list-manage.com/track/click?u=ded1b9d995b916471ca9dd267&id=1f68fca8c9&e=ab5f4cedde|Register]] to attend in-person or to receive the Zoom webinar link. * **diiP Distinguished Lecture** : The next Distinguished Lecture from the Data Intelligence Institute of Paris (diiP) "The promise of language models for language sciences? Let's chat!" will be [[https://u-paris.fr/diip mailpoet_router&endpoint=track&action=click&data=WyI1MTIiLCJzdGxwMmJnYmU5Y3M0a3dzZ3M0a2Nvc29rODRvdzRncyIsIjE5IiwiZjNiYjgzZThkOWJkIixmYWxzZV0|presented online]] on **April 5th, 2023, at 4 PM (Paris time)** by **Prof. Benoît Crabbé (Université Paris Cité)**. [[https://u-paris.fr/diip?mailpoet_router&endpoint=track&action=click&data=WyI1MTIiLCJzdGxwMmJnYmU5Y3M0a3dzZ3M0a2Nvc29rODRvdzRncyIsIjE5IiwiNjI2NmUxZmRkNDM4IixmYWxzZV0|More details here]]. \\ === Focus sur les Journées Nationales du GDR IM === {{:intranet:lettre-irif:2023-03-10:journees_nationales_du_gdr_im.png?400 |}} Les prochaines [[https://jnim2023.sciencesconf.org|Journées Nationales du GDR IM (JNIM 2023)]] auront lieu à l'Université Paris Cité du **4 avril au 7 avril** et sont organisées par l'IRIF. Ces journées comprendront des **présentations longues d’ora·teur·trice·s invité·e·s**, des **présentations plus courtes de membres des GT du GDR**, et des **posters de jeunes docteur·e·s et doctorant·e·s** du GdR IM. Une demie journée sera consacrée aux **assistants de preuve**. Toutes les présentations auront lieu dans l'Amphithéâtre Buffon de l'Université Paris Cité. [[https://jnim2023.sciencesconf.org/registration|Inscription ici]]. __Présentations keynote :__ * Sylvie Corteel * Joan Daemen * Jérôme Leroux * Christine Paulin * Sergio Rajsbaum __Présentations invité·e·s :__ * Madalena Chaves (GT Bioss) * Geoffroy Couteau (GT C2) * Berenice Delcroix-Ogier (GT CombAlg) * Yan Gérard (GT MM) * Marie Kerjean (GT Scalp) * Aurelie Lagoutte (GT Graphes) * Pierre Lairez (GT Calcul Formel) * Kilian Raschel (GT Alea) * Matthieu Rosenfeld (GT SDA2) * Tali Sznajder (GT Verif) \\ === Appels d'offres et informations des partenaires === * **CNRS / Webinaire Pilier 2 Horizon Europe** : Le pôle Europe du service Partenariat et Valorisation de la délégation Ile-de-France Villejuif du CNRS organise un **webinaire sur le pilier 2 du programme HORIZON EUROPE** le **mardi 14/03/2023 à 14h30** (durée: 1h30). [[https://evento.renater.fr/survey/webinaire-pilier-2-horizon-europe-14-03-2023-a-14h30-lyvyvlxs|Inscription au webinaire sur Evento]] au plus tard la veille du webinaire. * **FSMP / Bourses de master** : Dans le cadre de son programme PGSM, la Fondation Sciences Mathématiques de Paris offre des **bourses de master (M1 ou M2)** pour l'année académique 2023-2024 aux étudiant.e.s en mathématiques et en informatique fondamentale des établissements de son périmètre. Ce second appel d’offre PGSM est ouvert jusqu'au **mardi 9 mai 2023.** [[https://sciencesmaths-paris.fr/nos-programmes/pgsm-master|Détail de l'offre ici]] et [[https://applications.sciencesmaths-paris.fr/|formulaires de candidature disponibles ici]]. * **Université Paris Cité** : * __AMI - Médiation Scientifique__ : Pour la troisième année consécutive, la Faculté des Sciences lance un [[https://ami2023-ms.sciencescall.org/resource/page/id/2|appel à manifestation d’intérêt]] pour accompagner et soutenir ses membres dans leurs initiatives ayant vocation à rendre accessible un sujet de recherche scientifique à un public non spécialiste. Les dossiers doivent être déposés complets sur la plateforme : [[https://ami2023-ms.sciencescall.org/]] - **avant le 20 mars 2023 minuit.** * __Co-financement de colloques dans le cadre d'un GDR__ : Dans la cadre du Fonds d’intervention recherche de la Faculté des Sciences, la Commission recherche a décidé de consacrer une partie des fonds à l’animation scientifique autour des Groupements de recherche (GDR). {{ :intranet:lettre-irif:2023-03-10:aap_colloquesgdr_2023.pdf |Texte de présentation de cette initiative et conditions de candidature ici.}} * __Finale ASPC - Ma thèse en 180s__ : La finale régionale de **Ma Thèse en 180 secondes** qui départagera les 14 doctorant.es de l’Alliance Sorbonne Paris Cité aura lieu le **jeudi 16 mars à 18h30** à l’amphithéâtre Buffon ! [[https://u-paris.fr/finale-ma-these-180-s-le-16-mars-votez-pour-le-prix-du-public/?pk_campaign=actuune|Inscription gratuite mais obligatoire]]. * {{ :intranet:lettre-irif:2023-03-10:programme_et_inscriptions_journees_scientifiques_de_l_environnement_2023.eml |Journées Scientifiques de l'Environnement 2023}} : Sur le thème "La sobriété dans tous ses états : définir, comprendre, agir" se dérouleront du 14 au 16 mars. {{ :intranet:lettre-irif:2023-03-10:programme_jse_2023.pdf |Programme de la manifestation disponible ici}}. **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=view_in_browser&action=view&data=Wzg5NiwiYmM3MmU4MzNmZjAzIiwwLDAsNTc5LDFd|L'actualité étudiante]] du 09/03/2023 * [[https://intranet.cnrs.fr/delegations/dr1/Pages/Lettreinterne.aspx?IdLettre=30|CNRS interne]] du 09/03/2023 * [[https://u-paris.fr/?mailpoet_router&endpoint=track&action=click&data=WyI2MzUiLCJhamQ4OTR1aXQ3a2djMHMwY293MDRrb3dzNGdzc29zZyIsIjU3OCIsImFjNTk3YzFjNjAyYyIsZmFsc2Vd|Université Paris Cité Infos]] du 09/03/2023 * [[http://www.cnrs.fr/CNRS-Hebdo/iledefrance-villejuif/lettre.php?numero=634|CNRS Hebdo]] du 03/03/2023 === Agenda de la semaine du 13 mars au 17 mars === [[:seminaires:verif:|Vérification]] · Lundi 13 mars, 11:00, 1007 and [[https://u-paris.zoom.us/j/89886269671?pwd=QlgvOVBmdjZTVGZqamdOWVdSWWU5UT09|Zoom link]] · \\ **Daniel Neider** (TU Dortmund), //Reinforcement Learning with (Stochastic) Reward Machines// [[:seminaires:algocomp:|Algorithmes et complexité]] · Mardi 14 mars, 11:00, Room 3052 · \\ **Aleksandros Sobczyk** (IBM Research Zurich), //Approximate Euclidean lengths and distances beyond Johnson-Lindenstrauss// [[:seminaires:algocomp:|Algorithmes et complexité]] · Mardi 14 mars, 14:00, Room 3052 · \\ **Thomas Peters** (UCLouvain), //TBA// [[:seminaires:adg:|Algorithmique distribuée et graphes]] · Mardi 14 mars, 15:00, 1007 · \\ **Antoine Dailly** (LIMOS Clermont Auvergne), //Algorithms for the Metric Dimension problem on directed graphs// [[:seminaires:acs:|Analyse et conception de systèmes]] · Jeudi 16 mars, 09:30, Amphithéâtre Guillaume Budé, Collège de France · \\ **Xavier Leroy** (Collège de France), //Arbres équilibrés + copie de branches = persistance// [[:seminaires:combi:|Combinatoire énumérative et analytique]] · Jeudi 16 mars, 14:00, CIRM (Marseille) · \\ **Journees Alea**, //du 13 au 17 Mars// [[:seminaires:doctorants:|Séminaire des doctorants]] · Jeudi 16 mars, 16:00, 3052 and [[https://u-paris.zoom.us/j/87901757761?pwd=b3RXRWFUN0hlTGRYVzZyeEFESWZ4UT09|Zoom link]] · \\ **Clément Ducros**, //Secure Multiparty Computation: a brief introduction// [[:seminaires:automates:|Automates]] · Vendredi 17 mars, 14:00, Room 3052 · \\ **Florian Renkin**, //TBA// [[:seminaires:cat:|Catégories supérieures, polygraphes et homotopie]] · Vendredi 17 mars, 14:00, Room 1007 · \\ **Uli Fahrenberg** (Epita), //2-Categories with Lax Tensors, With a Motivation from Concurrency Theory//