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 !
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 :
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.
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.
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