La semaine a été marquée par une demande des tutelles de préparer le “Plan de sortie très progressive du confinement” après le 11 mai. Nous avons donc dû vous consulter en urgence pour essayer de répondre au mieux à vos attentes. Une première version de ce plan sera discutée avec l'INS2I aujourd'hui, et sera présenté au conseil de laboratoire mardi prochain, puis proposé en visio à la Faculté des Sciences de l'Université de Paris mercredi prochain. Nous ferons tout pour qu'un mode de travail raisonnable soit mis en place afin de respecter vos attentes et les contraintes sanitaires qui nous seront demandées. Les tutelles déciderons de la validité et du calendrier de ce plan.

La semaine se ponctue aussi avec une annonce attendue du prolongement des thèses si nécessaire, ainsi que des contrats postdocs. Là aussi nous suivrons le dossier de près. Grâce au recensement des étudiants en fin de thèse que nous avons fait, nous pourrons rapidement les accompagner dans leur démarche le moment venu.

Je compte sur vous tous pour prendre soin des uns et des autres. N'hésitez pas à nous solliciter aussi. Le questionnaire a fait remonter de nombreuses demandes qu'il est possible de satisfaire dès maintenant en nous contactant.

N'oubliez pas les deadlines qui reprennent avec notamment le programme d'invitations scientifiques de l'Université (inscrivez tous vos candidats même non confirmés avant le 3 mai, afin de se laisser le temps de la réflexion ensuite), les bourses de thèse de la région, et le calendrier ERC ajusté.

Terminons en soulignant cette semaine encore de beaux résultats à la conférence LICS, après ICALP la semaine dernière.

• Annonce du prolongement des thèses et postdocs: Communiqué du 23 avril annonçant la prolongation des thèses, contrats doctoraux et post-doctoraux lorsque jugé nécessaire, jusqu'à 1 an.

• Nouvelles de l'INS2I (cisio des directeurs d'unité du 20 avril)
  • Concours chercheurs : entre mi-juin et fin juillet, avec possibilité de visio
  • Thèse/Postdoc/ANR : possibilité de prolongation à l'étude (point tranché depuis)
  • Préparation du plan de sortie de confinement progressive après le 11 mai

• Nouvelles de l'ERC (provenant de l'INS2I)
  • Auditions supprimées pour 2020
  • Deadline Advanced grants : 30 août 2020, avec à présent une audition (2021)
  • Deadlines Starting/Consolidator grants décalées en janvier 2021 (au lieu de juillet 2020

• Prochain conseil de laboratoire du 28 avril (ou 5 mai) à 11h (via BBB) :
  • Reprise (très) progressive d'activités : organisation du travail et de l'occupation des locaux
  • Gestion des retards (soutenances de thèse, fin de CDDs, recrutements, …) : information et organisation
  • Tout autre point remonté à direction@irif.fr avant le 24/04 : ne vous censurez pas !

• Télétravail : L'intranet s'enrichit avec des conseils logiciels et matériels. N'hésitez pas à vous équiper. La commission matériel (materiel@irif.fr) et l'équipe administrative (secretariat@irif.fr) sont là pour vous conseiller et passer vos commandes.

• IRIF Coffee & Cake via le logiciel de Juliusz
  • Chaque jour à 13h30
  • Chaque jeudi à 17h
  • Sur https://jch.irif.fr:8081 en choisissant ou créant un groupe public-IRIF-xxx
• IRIF Chat : un chat informel créé par des membres de l'IRIF. Chacun est libre de le rejoindre, étudiants et non-étudiants, pour mener des discussions informelles.

• Claire Mathieu (IRIF) has been interviewed by the online news site of CNRS about using graphs to plan deconfinement.

• Six papers coauthored by IRIF members will be presented at the prestigious conference LICS'20 this summer. Topics include the semantics of probabilistic and nondeterministic programming languages, as well as extensions of the proof-program correspondence to classical logic. List of accepted papers.

• Thomas Colcombet (IRIF) with David Barozzini, Lorenzo Clemente and Paweł Parys (Univ Warsaw) will virtually present at ICALP'20 how to compute downward closures of safe recursion schemes, objects that give meaningful information about the behavior of higher order programs.

• Pierre Fraigniaud (IRIF) and Ami Paz (U. Vienna, Austria) will virtually present at ICALP'20 how to model distributed computing in networks in the framework of algebraic topology, where algorithms are characterized as simplicial maps between complexes. Paper.

• In the context of quantum cloud computing, Frédéric Magniez (IRIF) with Ashwin Nayak (U. Waterloo) will introduce at ICALP'20 a fundamentally new and more efficient solution than classical ones to decide if there is inconsistency between 2 or more remote quantum databases. Paper.

Un petit groupe du laboratoire a lancé quelques pistes de réflexions scientifiques en lien avec la crise actuelle. Ces pistes ont été remontées à l'INS2I et certaines seront discutées dans la cellulle Care@CNRS en charge de coordonner les actions des laboratoires CNRS en lien avec la crise actuelle.

Les travaux des prochaines semaines s'articuleront en pratique autour de :

• Simulation pratique de stratégies de dé-confinement en milieu scolaire (Claire Mathieu et Laurent Viennot)
• Groupe d'expertise scientifique sur la sécurité des propositions de tracking (Geoffroy Couteau)
• Collecte de données pour entrainer un ECG virtuel basé sur un monitoring vidéo des patients à distance (Yaël Fregier)

Si certains d'entre vous souhaitaient se positionner scientifiquement, sur le court ou le long terme, contactez ces personnes directement ou direction@irif.fr. Un rdv hebdomadaire est organisé en visio.

• Message d'Antoine Petit, PDG, aux agents du CNRS : mail du 23 avril
• Université de Paris : Campagne d'invitation scientifique 2020/21 (mois de professeurs invités), date limite 3 mai

• DIM MAth Innov : Offres doctorales et post-doctorales 2020, deadline 20 mai
• DIM Informatique : Les appels à projets pour l'année 2020 (collaborations, manifestations et matériel) du DIM RFSI sont maintenant ouverts : Deadline 15 mai
• Ile de France : Appel à projet SESAME de l'IdF pour acquérir les moyens nécessaires pour développer de nouveaux projets d’envergure et de mettre en œuvre des dispositifs expérimentaux originaux de recherche. Deadline 20 mai 12h

• Programmes de recherche bilatéraux PHC et ECOS : Rappel des différents programmes ouverts, dates limites du 15 avril au 12 juin en fonction du pays.

• Newsletter des partenaires : Les lettres arrivent sporadiquement aux membres de l'IRIF. Elles sont donc listées ci-dessous.
  • CNRS Hebdo du 23/04/2020
  • Lettre de l'Université de Paris du 17/04/2020