Peu d'actualités à l'IRIF, mais néanmoins des deadlines à ne pas oublier notamment pour les bourses de thèse, les prix de thèse et de carrière, et enfin l'appel à projet de l'Université de Paris.

A l'IRIF, les stagiaires sont dorénavant autorisés à venir uniquement pour rencontrer leur maître de stage, s'ils sont inscrits à l'avance dans le semainier et qu'ils suivent les consignes de l'IRIF. Le nombre de personnes autorisées à venir simultanément a augmenté, mais la règle doit rester le télétravail autant que possible, en espérant que la situation puisse continuer de s'améliorer rapidement, et que nous puissions tous revenir bientôt travailler ensemble à l'IRIF !

Profitez de ce long week-end de pentecôte pour redécouvrir les parcs parisiens, et essayer de résoudre notre défi de la semaine.

• Venir à l'IRIF : Consulter Consignes COVID-19 et remplir la semaine correspondante du panning de juin au plus tard le mercredi de la semaine concernée. Points à respecter par chaque personne s'inscrivant :
  • Au plus 60 personnes simultanément présentes dans le laboratoire (arbitrage si nécessaire par le conseil de direction)
  • Relire et respecter avant chaque venue Consignes COVID-19

• Prochain Conseil de laboratoire du 9 juin 10h30
  • Locaux : Retour de la commission locaux sur la réorganisation des espaces communs et des bureaux (à confirmer)
  • Bourses IRIF : Retour sur le financement de l'IRIF de bourses supplémentaires de Master (LMFI ou MPRI) du programme programme PGSM de la FSMP pour une à deux étudiantes du réseau de la FSMP
  • Concours MCF : Retour des pôles sur les candidats Maître de Conférences auditionnés concernant leur affectation à l'IRIF
  • Tout autre point remonté à direction@irif.fr avant le 3 juin
  • 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.

• Prochain Conseil de laboratoire du 23 juin 10h30
  • Profils MCF/PR à l'IRIF : Discussion des besoins du laboratoire

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

• Amos Korman (IRIF) has been awarded the 2020 Prize for Innovation in Distributed Computing. The prize will be given during the SIROCCO 2020 conference in July.

• The One World Numeration Seminar, a new international online seminar on numeration systems and related topics, is organised by Wolfgang Steiner (IRIF) and hosted at IRIF. Next schedules talks are:
  • June 2: Henna Koivusalo (University of Vienna), Linear repetition in polytopal cut and project sets
  • June 9: Simon Baker (University of Birmingham), Equidistribution results for self-similar measures
  • June 16: Carlos Matheus (CNRS, École Polytechnique): Approximations of the Lagrange and Markov spectra
  • June 23: Niels Langeveld (Leiden University), Continued fractions with two non integer digits
  • June 30: Derong Kong (Chongqing University), Univoque bases of real numbers: local dimension, Devil's staircase and isolated points
  • July 7: Hajime Kaneko (University of Tsukuba), Analogy of Lagrange spectrum related to geometric progressions
  • July 14: Attila Pethő (University of Debrecen), On diophantine properties of generalized number systems - finite and periodic representations

Compléter la suite logique suivante :

Solution dans la prochaine lettre… La première personne qui envoie la bonne réponse à direction@irif.fr pourra soumettre dans la prochaine lettre son propre casse-tête !

The AdeCoDS project aims at providing a principled approach to the co-design of an application with its adequate consistency model. Our approach spans programming language, static and dynamic verification, protocol, and distributed system techniques. The project involves three academic partners (IRIF, LIP6, INRIA) and two industrial ones (Orange, ARM).

Developing correct, efficient and available distributed systems is a major challenge. A central problem is to determine an adequate level of consistency for a given application: a level that requires as little synchronization as possible, but is strong enough to ensure the correctness of the application behavior. The goal of this project is to provide a principled and automated approach for the co-design of an application with its adequate consistency model, and to demonstrate the applicability of our framework by developing practical systems (a 5G+ management infrastructure and an IoT application).

• 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

• Université de Paris : les candidatures pour une allocation de l'école doctorale peuvent être déposées jusqu'au 18 Juin. Les candidatures pour rejoindre l'IRIF doivent être envoyées à ufr-ed386@math.univ-paris-diderot.fr, abou@irif.fr et direction@irif.fr.
• 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.

• Prix Inria - Académie des sciences : Trois prix d’un montant total de 65 000 € seront décernés à des scientifiques en sciences informatiques et mathématiques. Candidater. Deadline : 5 juillet.
• Prix de thèse SIF-Gilles Kahn : L'appel à candidatures est ouvert. Deadline : 14 septembre

• Newsletter des partenaires : Les lettres arrivent sporadiquement aux membres de l'IRIF. Elles sont donc listées ci-dessous.
  • La lettre du journal du CNRS du 28/05/2020
  • CNRS Hebdo du 26/05/2020