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


Actualités


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 :

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.


Appels d'offres et informations des partenaires


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