Dernières semaines bien chargées avant Noël. Les services de l'IRIF s'adaptent pour assurer une continuité de service malgré les difficultés d'accès au laboratoire, tout en respectant la mobilisation de chacun.

Plusieurs appels à projets sont lancés via le CNRS, l'Université et des partenaires étrangers (voir en fin de lettre). Certains sont nouveaux et doivent passer par le laboratoire. Un mode opératoire va être établi après consultation du conseil de laboratoire. Soyez attentifs aux messages que vous recevrez ensuite via vos responsables d'équipes thématiques. Vous trouverez aussi la mise en ligne de conseils pour la préparation d'un contrat ERC.

Enfin de beaux succès de l'IRIF, dont notamment le prix de thèse Gilles Kahn : Bravo Raphaëlle ! Ce prix souligne une nouvelle fois non seulement la qualité de l'encadrement des thèses à l'IRIF mais aussi l'excellence des doctorants qui rejoignent chaque année le laboratoire, une richesse qui contribue aux réussites de l'IRIF.

Pour finir, il n'y aura pas de sapin de l'IRIF, mais j'encourage chaque personne à suspendre une décoration (non inflammable) sur le rail du plafond devant sa porte de bureau, ou ailleurs !

• Conseils aux candidats au concours Chercheurs CNRS : La section 6 a rédigé des conseils en français et en anglais. Ces derniers sont très utiles et je vous incite à les lire ou à les transmettre aux personnes concernées.

• Prochain conseil de laboratoire du 17 ou 18 décembre
  • Concours postdocs FSMP : remontée des candidats par les responsables de pôle avec les suggestions de classement A/B/C
  • Concours chercheurs CNRS : remontée des candidats par les équipes thématiques pour soutien du laboratoire en vue d'une intégration à l'IRIF. La forme du soutien sera discutée.
  • Appel contrats doctoraux internationaux IDEX 2020 : choix d'une procédure
  • Appel à projet unique du CNRS : choix d'une procédure
  • Qualité de vie : nomination d'un Assistant de Prévention, droit à la déconnexion, abonnement revues
  • Bourses de master : présentation des programmes FSMP et initiatives en cours

Rappel : Tout membre de l'IRIF peut assister au conseil de laboratoire en tant que spectateur ne participant pas aux débats (sauf pour toute discussion à huis clos).

• Assemblée générale du laboratoire et galette le 14 janvier (à confirmer)
  • Début d'après-midi, assemblée : budget de l'année, appels è projet du labo, bilan des actions de l'IRIF, suggestions et questions de l'assemblée
  • Fin d'après-miid, galette

• Conseils ERC sur l'intranet : La section Contrats de recherche s'enrichit d'une fiche Conseils de rédaction de projets ERC contenant de précieux conseils pour préparer une candidature à l'ERC (merci à Valérie)

• Egalité femmes-hommes
  • Retrouver les présentations du séminaire “Places des femmes à l'INS2I” lors du conseil scientifique de l'INS2I
  • La commission égalité femmes-hommes se saisit de plusieurs problématiques à l'IRIF, et mène plusieurs actions de sensibilisation, que la lettre de l'IRIF reprendra régulièrement. Une des actions actuelles concernent les situations de harcèlement au travail, qu'il soit moral, sexiste ou sexuel. Ces situations peuvent se produire sur le lieu du travail, qui pour nous inclut aussi les lieux de mission, à savoir conférences, écoles et invitations.

• Commission écologie et développement durable : Après proposition au conseil de laboratoire de novembre, la direction a validé la création d'une commission écologie et développement durable. Cette commission est animée par Thomas Colcombet et Sylvain Périfel.

• Two papers coauthored by IRIF members will be presented at POPL’20, the main conference on programming languages and programming systems. The papers' topics are reflecting Coq in Coq and how to differentiate higher-order programs.

• Michele Pagani (IRIF), Alois Brunel (Deepomatic) and Damiano Mazza (LIPN) will present at POPL'20 an effect-free extension of the back propagation algorithm to higher-order functional programming, allowing for a logical understanding of its dynamics thanks to linear logic.

• Le prix de thèse Gilles Khan 2019 décerné par la SIF et patronné par l'Académie des Sciences‬⁩ est attribué à Raphaëlle Crubillé (ancienne doctorante à l'IRIF)‬⁩ pour sa thèse Behavioral Distances for Probabilistic Higher-order Programs.

Harcèlement sexiste : Tout agissement lié au sexe d’une personne, ayant pour objet ou pour effet de porter atteinte à sa dignité ou de créer un environnement intimidant, hostile, dégradant, humiliant ou offensant.

Plus d'information dans le Vade-mecum à l'usage des établissements sur le harcèlement sexuel dans l'enseignement supérieur et la recherche.

Plus d’informations sont fournies dans les liens ou les pièces attachées.

• CNRS : Appel à projet unique via les laboratoires et remplaçant les PEPS. Deadline mi-janvier par email à direction@irif.fr
• Université : Appel à bourse de thèse internationale. Deadline 20 décembre par email à direction@irif.fr
• Université : Appel à projet avec King’s College London pour promouvoir et renforcer les collaborations. Deadline : 31 janvier 2020
• Université : L’Université Franco Italienne (UFI)lance un appel à projets Vinci pour soutenir la coopération universitaire franco-italienne par le biais de financements de mobilité pour étudiants, doctorants, post-doctorants et enseignants entre la France et l’Italie. Deadline : 7 février 2020, 12h
• Université : MSCA Meet-Up 2020 pour soutenir des chercheur.e.s post-doctorants ou expérimentés souhaitant rejoindre un laboratoire de l'Université pour une période de deux ans en postulant à une bourse Marie Sklodowska-Curie. Deadline : 29 janvier 2020, 13h
• Newsletter des partenaires : Les lettres arrivent sporadiquement aux membres de l'IRIF notamment celles de Paris Diderot. Elles sont donc listées ci-dessous
  • CNRS Hebdo
  • Diderot Info (cnx intranet requise)