Lettre de l'IRIF du 5 novembre 2021 Edito Dans la lettre cette semaine, la journée du pôle ASV et la demi-journée du pôle ASD et quelques informations concernant le budget, les commandes et les missions de fin d'année. Côté actualités scientifiques, félicitations à Baptiste Louf, ancien thésard de l'IRIF, pour son prix solennel de thèse de la chancellerie des universités de Paris et notons un papier accepté à la conférence NIPS 2021 co-écrit pas Adrian Vladu. Parmi les informations de nos partenaires, on notera la publication du rapport de l'IGÉSR sur les agressions sexuelles à l'ENS de Lyon et une pièce de théâtre interactive sur le harcèlement sexuel pour les doctorantes et doctorants proposée par Université de Paris. Et enfin, l’agenda de la semaine du 8 au 12 novembre. Bonne lecture ! Annonces de la direction Journées de pôles : Le pôle ASV organise une journée le vendredi 19 Novembre. Une série d'exposés auront lieu de 9h à 17h, le matin dans la salle 064 E (Halle aux Farines) et l'après-midi dans la salle 1021 (Sophie Germain). Le programme de cette journée est disponible ici. On November 16th, afternoon, the pole ASD organizes an event. Short introduction talks by the four new ASD permanent members will be presented. There will also be an informal introduction of PhD students and postdocs. Conseil de labo : Le compte-rendu du conseil de labo du 2 novembre 2021 est disponible ici. Le prochain conseil de labo se tiendra le 14 décembre 2021. Prochaine AG : La prochaine AG annuelle de l'IRIF se tiendra le 18 janvier 2022. Une galette sera proposée avant l'assemblée. Plus de détails à venir. Budget, commandes et missions de fin d’année : Concernant la subvention du laboratoire et les contrats finissant le 31/12/2021 : Date limite de transmission au secrétariat des commandes et retours de mission : 26/11/2021 pour le budget CNRS et 09/12/2021 pour le budget Université Tout ce qui arrive après sera pris sur 2022 Un voyage et un hôtel pour une mission 2022 peuvent déjà être payés sur le budget 2021 Concernant les autres contrats et les missions en 2022 : Date limite de transmission au secrétariat : 20/12/2021 Attention : réouverture des outils de saisie entre le 10/01/2022 et 20/01/2022 Commande de nouvelles chaises : Afin d'améliorer vos conditions de travail et sur recommandation du conseil de laboratoire, renouvelons les chaises de ceux qui en feront la demande. Pour cela, merci de bien vouloir compléter ce formulaire au plus tard le 12/11/2021. Consignes COVID-19 : Les mesures relatives aux consignes sanitaires dans le cadre de l'organisation d'événements font preuve de plus de flexibilité si passe sanitaire. Consultez la page d'informations à ce sujet. Actualités Prix solennels de thèse : Baptiste Louf (actuellement en postdoc en Suède), a reçu un prix solennel de thèse de la chancellerie des universités de Paris dans la catégorie prix en sciences “toutes spécialités” pour sa thèse préparée à l’IRIF sous la direction de Guillaume Chapuy et intitulée Cartes de grand genre : de la hiérarchie KP aux limites probabilistes. Cette thèse s’intéresse aux cartes combinatoires, qui sont définies comme des plongements de graphes sur des surfaces, ou de manière équivalente comme des recollements de polygones. Le genre g de la carte est défini comme le nombre d’anses que possède la surface sur laquelle elle est plongée. Liste des lauréats de l'édition 2021 ici. NIPS 2021 / Accepted paper : One accepted paper coauthored by Adrian Vladu (IRIF) will be presented at the 35th Conference on Neural Information Processing Systems (NIPS) 6-14 December 2021 : AC/DC: Alternating Compressed/DeCompressed Training of Deep Neural Networks. Focus sur le prix science ouverte du logiciel libre de la recherche Inscrit dans le deuxième Plan national pour la science ouverte, le Prix science ouverte du logiciel libre de la recherche veut mettre en valeur les projets et les équipes qui œuvrent au développement et à la diffusion des logiciels libres, et qui contribuent à la construction d’un bien commun de première importance. Ce prix est co-piloté par Roberto Di Cosmo. Objectifs : Reconnaître la contribution importante que constitue la production de logiciels libres Attirer l’attention de la communauté scientifique sur des réalisations d’exception ou très prometteuses, permettant de donner de la visibilité à des productions qui peuvent servir de modèle pour les prochaines générations de chercheurs et ingénieurs. Le prix comporte plusieurs catégories qui distinguent les projets selon leurs dimensions scientifique et technique, leur capacité à former et animer leur communauté et la qualité de leur documentation. Prix science ouverte logiciel libre – catégorie scientifique et technique Prix science ouverte logiciel libre – catégorie communauté Prix science ouverte logiciel libre – catégorie documentation Prix du jury, qui récompensera un projet exemplaire rassemblant les composantes techniques, l’animation de communauté et la documentation Le dépôt des candidatures est maintenant ouvert, et se fait en remplissant ce formulaire disponible en ligne. La date limite des candidatures est fixée au lundi 6 décembre 2021 à midi. Plus d'informations sur le Prix science ouverte du logiciel libre. Appels d'offres et informations des partenaires IGÉSR / Synthèse du rapport sur les agressions sexuelles à l'ENS de Lyon : La synthèse du rapport de l’Inspection générale de l’éducation, du sport et de la recherche est en ligne. A lire aussi, l'article paru dans Le Monde sur les violences sexuelles et sexistes à l'ENS de Lyon. Université de Paris / Théâtre-forum « Silences complices ? » : Le spectacle se tiendra le 7 décembre 2021 de 14h à 17 à l'IGPG et a pour objectif général d’aider les participantes et participants à définir les contours du harcèlement sexuel bien trop souvent banalisés par une partie de la société. Cette représentation est réservée aux doctorantes et doctorants. Places limitées, formulaire d'inscription ici. diiP / Announcements : The next Distinguished Lecture will be presented online on Zoom and at Room Turing Conseil, 45 rue des Saints Pères 75006 Paris on November 3, 4pm (Paris time) by Professor Laurent Daudet (Université de Paris), CTO and co-founder at LightOn. He will talk about Promises and challenges of massive-scale AI – the case of large language models. The diiP cordially invites you to its Projects and Networking Day, on Wednesday, December 8th, 2021, from 1:30 to 5:30pm. Event agenda and registration here. Newsletter des partenaires : Les lettres arrivent sporadiquement aux membres de l'IRIF. Elles sont donc listées ci-dessous. Fil info Recherche d'Université de Paris du 02/11/2021 Lettre de l'INSMI du 29/10/2021 Agenda de la semaine du 8 au 12 novembre Analyse et conception de systèmes · Lundi 8 novembre 2021, 14 heures – Salle 1007 · Emilio Jesus Gallego Arias (IRIF), Reading Group: AI meets Theorem Proving (1/?) Algorithmique distribuée et graphes · Mardi 9 novembre 2021, 14 heures – Salle 1007 · Subir Kumar Ghosh (RKMVERI), Chromatic art gallery problems for point and vertex guards Sémantique · Mardi 9 novembre 2021, 10 heures 30, Exposé à distance sur Galène – salle 3052 virtuelle · Thomas Ehrhard (CNRS, Université de Paris), Coherent Differentiation [Part 3] Soutenances de thèses · Mardi 9 novembre 2021, 17 heures – Salle 3052 & Zoom · Victor Lanvin (IRIF), A Semantic Foundation for Gradual Set-theoretic Types One world numeration seminar · Mardi 9 novembre 2021, 14 heures 30 – Online · Zhiqiang Wang (East China Normal University), How inhomogeneous Cantor sets can pass a point One world numeration seminar · Mardi 9 novembre 2021, 15 heures – Online · Younès Tierce (Université de Rouen Normandie), Extensions of the random beta-transformation