Lettre de l'IRIF du 7 mai 2020 Edito Comme l'a annoncé l'Université de Paris, la reprise progressive d'activité sur son site est repoussée au 18 mai. Durant ce temps les modalités vont continuer de se préciser, avec visiblement une réserve pour notre discipline et notre bâtiment. Le plan de reprise de l'IRIF ne consistait pourtant les 2 premières semaines qu'en une présence simultanée d'au plus 10 personnes par roulement pour les 40 personnes ayant exprimées ce besoin et ce souhait. Des informations seront communiquées ce soir même par le vice président recherche de l'Université de Paris aux directeurs d'unité. Elles seront présentées au conseil de laboratoire ce mardi, et une réponse sera proposée. Le conseil sera ouvert à qui le souhaite. Nous y ferons aussi le point sur vos difficultés afin de les transmettre à l'Université pour qu'elle juge au mieux de l'ouverture ou non de notre bâtiment. Dans ce contexte, notre priorité est d'organiser et de rendre possible la récupération de matériel, notamment via une bourse au matériel mise en place avec l'aide de la commission environnement, ainsi que l'achat de matériel avec livraison à domicile pour le matériel inexistant. Les tutelles nous demandent de nous équiper pour le télétravail dans la durée, pour plusieurs mois, et certains d'entre vous pourraient vouloir en profiter pour s'équiper durablement, au delà de la situation actuelle. Cette semaine encore de belles annonces avec un best paper award, un papier à une excellent conférence où nous avons peu l'habitude de figurer, et enfin une initiative internationale issue de l'IRIF sur la réduction de l'émission carbone liée aux activités de recherche de notre discipline. Enfin plusieurs deadlines approchent à ne pas manquer concernant notamment bourses de thèse, ATER et postdocs. Si vous voulez faire figurer une recherche d'étudiant pour une thèse dans la page Thèses, merci de contacter direction@irif.fr, de même pour la page Postdocs. Annonces de la direction Utilisation, emprunt et sortie de matériel : Une nouvelle page sur l'intranet rappelant l'usage du matériel mis à disposition, notamment lorsque ce dernier est sorti du laboratoire. La clarification des règles vise à faciliter la sortie et le suivi du matériel qui sortira du laboratoire (alors que ce n'était peut être pas sa vocation initiale) afin de faciliter votre travail à domicile. Retenez qu'il vous faudra faire une demande et déclarer la sortie du matériel. Bourse au matériel : Dans le contexte actuel, il est important que chacun puisse avoir un environnement de travail de qualité chez lui, et l'IRIF va continuer d'essayer de faire tout pour cela. Il est en effet possible d'avoir du matériel à la maison (écran, casque, imprimante, ordinateur) : soit en récupérant du matériel de son bureau, consulter et respecter la procédure de Utilisation, emprunt et sortie de matériel, soit en empruntant du matériel à un.e collègue, pour les demandes et les offres remplir la feuille Bourse au matériel (modalités à suivre - emprunts pour 6 mois renouvelables), en respectant les règles de Utilisation, emprunt et sortie de matériel, soit en achetant (soi-même ou via le laboratoire, avec livraison à domicile), consulter Visio, télétravail (outils & équipement). Prochain conseil de laboratoire du 12 mai à 10h30 (media en cours d'étude) : Etats des lieux des difficultés : parole donnée aux membres du conseil ainsi qu'aux participants extérieurs Bilan du calendrier de retour sur site : retour de l'Université de Paris, position du conseil Demande de financement hors cadre Concours Maître de Conférence Participation au conseil : Tout membre de l'IRIF peut assister au conseil de laboratoire en tant que spectateur (sauf pour toute discussion à huis clos). Dans ce cas, écrire à direction@irif.fr pour obtenir le lien. Conseil d'UFR organisé dans la foulée l'après-midi du 12 mai Actualités scientifiques de l'IRIF 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. This paper got the best paper award of ICALP/Tack-B. Simon Mauras (IRIF PhD student) is the single author of a paper accepted at the EC 2020 conference (http://ec20.sigecom.org), on “Two-Sided Random Matching Markets: Ex-Ante Equivalence of the Deferred Acceptance Procedures” Thomas Colcombet and Hugo Férée (IRIF) together with Antoine Amarilli and Thomas Schwentick administrate the website for the TCS4F Manifesto, an initiative to reduce the carbon footprint related to Theoretical Computer Science research activities. Notion du jour Knot theory studies mathematical knots. These are like the usual shoelaces and rope knots but with the difference that the ends of the string are joined together so that it cannot be undone. Of particular interest is the study of when two knots are equivalent, that is when one can be transformed into the other without cutting the string or passing the string through itself. The theory has applications in physics, biology, chemistry, and computer science. For instance, the security of some quantum money relies on the assumption that given two different looking but equivalent knots, it is difficult to explicitly find a transformation that takes one to the other. Appels d'offres, évènements des partenaires CNRS : Message d'Antoine Petit, PDG du CNRS, aux agents CNRS Université de Paris : Campagne d'ATER en Informatique à l'IRIF, deadline 21 mai (ouverture 5 mai) Université de Paris : Appel à projet émergence (1 ou 2 ans, 20 à 50 keur) le démarrage d’une thématique nouvelle pour faire ensuite l’objet de demandes de type ANR, projet européen ou autre, deadline 23 juin 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 DIM Technologies Quantiques : Allocations post-doc 2020, deadline 15 mai Bourses de thèse CFM : Fondation CFM pour la Recherche souhaite financer quelques étudiants exceptionnels en leur proposant des bourses sensiblement supérieures à celles du Ministère et des organismes. Plus d'informations et transmission avant le 5 juin. Newsletter des partenaires : Les lettres arrivent sporadiquement aux membres de l'IRIF. Elles sont donc listées ci-dessous. CNRS Hebdo du 05/05/2020 Lettre de l'Université de Paris du 30/04/2020 Lettre de l'INSMI du 30/04/2020