Lettre de l'IRIF du 30 avril 2021 Even if teleworking is mandatory when possible, coming to the lab is allowed when working from home cannot be done efficiently. In that case, to come to IRIF you must visit the page https://www.irif.fr/intranet/prpa. When at IRIF you must wear a face mask all the time: ONLY Category 1 reusable masks or surgical masks WITHOUT exhalation valve COVID Situation at IRIF: 0 active case – 0 close contact. All diagnosed persons and close contacts must signal their situation to direction@irif.fr. You can be tested in the building: https://u-paris.fr/test-covid/ Edito Cette semaine nous diffusons plusieurs rappels ainsi que de nouveaux appels de nos partenaires : les bourses du programme du programme PGSM Master de la FSMP avec notamment une à deux supplémentaires financée par l’IRIF. Le financement par le DIM Math Innov de jusqu’à 9 allocations doctorales en mathématiques et informatique théorique. Le renouvellement de l’opération nationale « Les visites insolites du CNRS » dans le cadre de la Fête de la Science 2021. Et aussi l’appel à candidatures ERC Advanced Grants de l’INS2I. La réunion annuelle ANR-HOSIGRA qui se déroulera en ligne du 3 au 6 mai. Du côté de nos tutelles, le scrutin pour le renouvellement des membres élus des sections du Comité national du CNRS va se dérouler en ligne dès le 17 mai. Les activités proposées par le Service Culturel de l’Université de Paris se poursuivent. Vous pouvez continuer à vous inscrire pour des consultations poétiques et de nouvelles dates seront partagées pour les visites Street Art. Pour finir, zoom sur un article de vulgarisation publié dans le Blog Binaire et rédigé par Sylvain Périfel et Guillaume Lagarde. Bonne lecture ! Annonces de la direction Élections CoNRS : Le scrutin pour le renouvellement des membres élus des sections du Comité national va se dérouler à partir du 17 mai, exclusivement par vote électronique. Consultez les modalités du scrutin ici et les candidatures au 1er tour des collèges A et B ici. Valérie Berthé (IRIF) est candidate pour le collège DR CNRS. [Rappel] Appel à manifestation d'intérêt pour une bourse thèse IA : Dans le cadre du Data Intelligence Institute of Paris (diiP) 2 bourses concernant notre Ecole Doctorale (ED 386) seront potentiellement disponibles. Parce que ces bourses sont financées à seulement 50% par l'ANR, un cofinancement est nécessaire. Afin que l'ED se prononce sur l'opportunité d'assurer ce cofinancement sans pénaliser d'autres candidatures non-IA, il est demandé de transmettre les candidatures potentielles au plus vite. En l'absence de vivier, l'ED refusera de cofinancer ces bourses. Si vous êtes intéressé, contactez au plus vite Ahmed.Bouajjani@irif.fr en ajoutant en cc direction@irif.fr. Service Culturel / Université de Paris : Parcours Street Art : Nouvelles dates à venir courant mai. Nous vous tiendrons informé. Des consultations poétiques (20 minutes par téléphone) avec le Théâtre de la Ville et disponibles en plusieurs langues : français, anglais, Arabic اللغة العربية, Japanese 日本語, Mandarin 中文版 et espagnol. Informations et modalités d’inscription ici. Inventaire matériel empruntable pour le télétravail (disponible au secrétariat - bureau 4001- ou dans le bureau de Houy) Tablettes graphiques : 9 iPad : 9, Stylets iPad : 12 Ecrans : 5, Webcams : 7 Casques-micros : 2, Casques bluetooth à conduction osseuse : 2 Ordinateurs de bureau : 3, Ordinateurs portables : 3 Actualités ANR-HOSIGRA meeting : The Annual meeting of ANR-HOSIGRA, in collaboration with teams from India and China, will take place online May 3-6. The schedule of the talks is available here. Find abstracts and the zoom link here. LICS 2021 : Quick look on 2 of the 6 papers accepted Antoine Allioux (IRIF, Inria), Eric Finster (University of Cambridge), and Matthieu Sozeau (Inria) will present at LICS 2021 a proof that types are infinity-groupoids internal to an extension of homotopy type theory allowing for the formalization of higher algebraic structures. Nuria Brede (University of Potsdam) & Hugo Herbelin (IRIF) will present a unified classification of choice and bar induction principles. Zoom sur l'intervention d'un membre de l'IRIF sur le blog Binaire Est-il plus difficile de trouver une solution ou de vérifier une solution ? Comment expliquer un des problèmes centraux de l’informatique fondamentale tout en sortant du cadre classique ? Répondre simplement à ces questions, c’est le pari tenu par Sylvain Perifel (IRIF) et son ancien doctorant, Guillaume Lagarde (Université de Bordeaux). Les deux chercheurs ont été approchés par Serge Abiteboul, informaticien et fondateur du Blog Binaire afin de publier une série d’articles de vulgarisation sur le thème de la complexité algorithmique. En février 2021, Sylvain Perifel et Guillaume Lagarde se lancent alors dans la rédaction d’un premier article intitulé « Henri Potier à l’école de la complexité ». L’analogie avec l’univers du célèbre personnage anglais sera utilisé pour introduire les protocoles interactifs entre professeurs et étudiants. Les professeurs sont les magiciens qui vont venir en aide aux élèves : Henri, Hermine et Renaud. Cet article est le premier d’une série à venir qui couvrira une partie des problématiques soulevées par ce thème et sera publié dans le courant de l’année sur le Blog Binaire, un blog de vulgarisation sur l’informatique. Destiné aux lecteurs avec une certaine connaissance de l’informatique, il s'agit d'un blog indépendant et tenu par des académiques qui s’intéressent à tous les sujets en lien avec le monde numérique qui nous entoure. Lire l’article. Appels d'offres et informations des partenaires FSMP / Appel à candidature PGSM Master : Les étudiantes sont particulièrement encouragées à répondre à cet appel à candidatures. Les candidatures se font via le formulaire en ligne. Date limite : 8 mai 2021 (23h59, heure de Paris). Une à deux bourses supplémentaires de M1 ou M2 en informatique fondamentale, financée par l'IRIF au sein de l'Université de Paris attribuée à une ou deux étudiantes ayant effectué une année de L3 ou de M1 au sein du réseau de la FSMP. Une bourse supplémentaire de M2 Maths Fondamentales financée par l’IMJ-PRG sera attribuée à une étudiante ayant effectué une année en M1 ou à une étudiante en préparation de l'agrégation à Sorbonne université ou à l'Université de Paris. DIM Math Innov / Allocations doctorales : Le Domaine d'Intérêt Majeur (DIM) Math Innov propose de financer jusqu'à 9 allocations doctorales en mathématiques et en informatique théorique de 3 ans à partir d’octobre 2021 L’appel à candidatures est ouvert jusqu’au 20 mai 2021 (23H59 heure de Paris). Détails de l’offre ici et formulaire de candidature disponible ici. CNRS / Fête de la Science : Le CNRS renouvelle l’opération nationale « Les visites insolites du CNRS » pour l’édition 2021 de la Fête de la Science qui aura lieu du 1er au 11 octobre 2021. Consultez les modalités générales pour 2021 ici. Fiche projet à remplir et à renvoyer avant le 18 mai. INS2I / Candidatures ERC Advanced Grants : L'appel ERC Advanced Grants 2021 va ouvrir très bientôt avec le 31 août 2021 comme date limite pour la soumission des projets. Pour toute question ou toute demande d'aide et d'accompagnement dans la préparation de votre projet, n'hésitez pas à solliciter la cellule ERC de l'INS2I : Marie-Christine.Rousset@univ-grenoble-alpes.fr. [Rappel] 8 postes d'ATER en informatique mis au concours à l'UFR d'Informatique de l'Université de Paris : Les profils sont ouverts sur tous les aspects de l'informatique de l'IRIF. Pour candidater, cliquez ici. Date limite de candidature : 4 mai 2021 (16h, heure de Paris). Plus d'informations ici. [Rappel] Université de Paris / Appel à manifestation d'intérêt - projets de médiation scientifique : Cet appel vise à accompagner enseignants-chercheurs, chercheurs de la Faculté et associations étudiantes, dans leurs initiatives ayant vocation à rendre accessible un sujet de recherche scientifique à un public non spécialiste. Toutes les informations sur cet appel ici. Date limite pour l'envoi des dossiers : lundi 31 mai (17h00). Newsletter des partenaires : Les lettres arrivent sporadiquement aux membres de l'IRIF. Elles sont donc listées ci-dessous. La Lettre du CNRS d'Avril 2021 CNRS Hebdo du 29/04/2021 avec à la une le nouveau Groupement de recherche (GDR) Océan et Mers (Omer), créé par le CNRS Université de Paris Infos du 29/04/2021 avec à la une les résultats de l'appel à projets “Advanced Grant” Informations d'internationalisation de l'Université de Paris du 29/04/2021