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.


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 :

  • 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

  • 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.


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