==== Lettre de l'IRIF du 29 mai 2020 ==== === Edito === 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. === Annonces de la direction === * **Venir à l'IRIF** : Consulter **[[intranet:covid]]** et remplir la semaine correspondante du **[[https://docs.google.com/spreadsheets/d/1g1ADhenMrYuBwcFkaPb_QkLQgqs7K-mwnZ3W8T8rRD0/edit?usp=sharing|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 **[[intranet:covid]]** * **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 [[https://www.sciencesmaths-paris.fr/fr/pgsm-master-794.htm|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 === Actualités scientifiques à 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 [[https://icalp2020.saarland-informatics-campus.de|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 [[https://sirocco2020.cs.uni-paderborn.de|SIROCCO 2020]] conference in July. * The [[https://www.irif.fr/~numeration/OWNS|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 === Défi de la semaine === Compléter la suite logique suivante :