La semaine de reprise est actuellement marquée par l'épidémie liée au nouveau coranavirus. Merci d'aider les services de l'IRIF en préparant bien en amont vos prochaines missions et invitations, et en transmettant celles effectuées par Inria à direction@irif.fr. Les restrictions évoluant rapidement, plusieurs missions et invitations peuvent être annulées à tout moment, et de plus l'IRIF est constamment sollicité par ses tutelles pour recenser la présence de ses agents à l'étranger et les pays de provenance de ses invités.

La campagne de demandes de financements ANR a bien débuté pour l'IRIF, qui a de surcroît obtenu des soutiens pour des projets individuels du CNRS. L'Université de Paris et le DIM Informatique proposent de plus des financements d'évènements en 2020. Le CNRS n'ayant accepté de co-financer aucun évènement organisé par l'IRIF pour 2020, ces appels en fin de lettre peuvent vous intéresser.

Enfin je vous invite aussi à lire les lettres des tutelles en fin de lettre qui comportent plusieurs informations pertinentes.

• COVID-19 DIRECTIVES FOR IRIF MEMBERS AND VISITORS: if you recently visited or plan to visit China, Hong Kong, Macau, Singapore, South Korea, and specific regions in Italy (of which Lombardy and Venetia), then you are asked to follow the directives in the page COVID-19 IRIF directives: they subsume the directives of our differents supervising entities (CNRS, U.Paris, INRIA). Please check the list of regions daily, since it rapidly evolves.

• L'IRIF pilote ou est associé à 8 dépôts de projets ANR présents au 2e tour. Si vous avez besoin d'aide pour le montage financier, vous pouvez contacter direction@irif.fr.

• Parmi les demandes remontées par l'IRIF à l'appel 2020 unique à projet du CNRS, ont été sélectionnés les projets venant soutenir les activités de nos nouveaux maîtres de conférence Hugo Férée, Sam van Gool et Valia Mitsou, ainsi qu'un projet émergence de Giovanni Bernardi, pour un montant total de 22 000€.

• Intranet : mise à jour de l'intranet concernant les formations et les écoles thématiques soutenues par le CNRS.

• Two papers co-authored by IRIF members will be presented at PLDI'20, the main conference on implementations of programming languages. The papers propose new methodologies for verifying distributed protocols and smart contracts running on top of blockchains, respectively.

• IRIF will finance one or two additional Master scholarships in Foundations of Computer Science within the PGSM program of FSMP for female students who have completed a bachelor’s degree or the first year masters in one of the universities of the FSMP network. Apply by May 8th.

• Sylvain Perifel from IRIF, together with Damiano Mazza and Thomas Seiller, organize the Caleidoscope Research School in Computational Complexity, to be held in Paris, 15-19 June 2020. The 2020 Caleidoscope school will be comprised of four main lecture courses, by Ryan Williams (MIT), Luca Trevisan (Bocconi University), Bruce Kapron (University of Victoria) and Daniel Marx (Max Planck Institute Saarbrucken); and three more focussed topics by Elham Kashefi (CNRS and Sorbonne University, Georg Moser (University of Innsbruck) and Carola Doerr (CNRS and Sorbonne University).

As software takes over more and more functionalities in embedded and safety-critical systems, bugs may endanger the safety of human beings and of the environment, or entail heavy financial losses. In spite of the development of verification and testing techniques, debugging still plays a crucial part in the arsenal of the software developer. Unfortunately, usual debugging techniques do not scale to large concurrent and distributed systems: they fail to provide precise and efficient means to inspect and analyze large concurrent executions; they do not provide means to automatically reveal software faults that constitute actual causes for errors; and they do not provide succinct and relevant explanations linking causes (software bugs) to their effects (errors observed during execution).

The overall objective of the ANR Project DCore, 2019-23 is to develop a semantically well-founded, novel form of concurrent debugging, which we call “causal debugging'', that aims to alleviate the deficiencies of current debugging techniques for large concurrent software systems.

• Université : L'Université de Paris lance un appel à demande de financement d'évènements sur l'université en 2020. Deadline : 31 mars 2020
• DIM Informatique : Les appels à projets pour l'année 2020 (collaborations, manifestations et matériel) du DIM RFSI sont maintenant ouverts : Deadline 15 mai

• CNRS : La campagne des écoles thématiques 2021 est ouverte. Deadline pour les déclarations d'intention : 20 mars 2020
• FSMP : Programme de bourses PGSM Master, deadline 8 mai 2020, avec 1 à 2 bourses supplémentaires de M1 ou M2 pour une étudiante en informatique fondamentale financées par l'IRIF

• 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 du 27/02/2020 avec un retour sur les récentes nomination à L’Académie des sciences
  • CNRS Hebdo du 20/02/2020 avec une intervention du président de la Conférence des présidents du Comité national (CPCN) “pour une concertation sincère sur la LPPR”
  • Université de Paris Infos avec des rendez-vous sur notre campus du 2 au 12 mars prochain dans le cadre de la journée internationale des droits des femmes
  • CR du CS de l'INS2I avec un point et des recommandations sur « Développement durable, informatique & technologies de l'information »