Lettre de l'IRIF du 7 février 2020 Edito Suite à une recommandation positive du conseil de laboratoire, l'IRIF s'est engagé à financer dans le cadre du programme PGSM de la FSMP une à deux bourses de Master supplémentaires pour des étudiantes en informatique fondamentale. Conformément à une autre recommendation du conseil, l'IRIF s'est associé à deux actions appelant à la vigilance pour la future loi de programmation pluriannuelle de la recherche (LPPR) et invite l'ensemble de ses membres à s'y associer aussi. La lettre hebdomadaire du CNRS contient de précieuses informations sur la campagne 2021 des écoles thématiques ainsi qu'une intervention de Frédérique Vidal sur la LPPR. Enfin, vous retrouverez dans les actualités de l'INS2I une beau zoom sur la thèse de Raphaëlle Crubillé à l'occasion de la remise de son prix Gilles Kahn. Annonces de la direction Conseil de laboratoire du 4 février : Compte-rendu sur l’intranet. Suivant les recommandations du conseil : L'IRIF finance dans le cadre du programme PGSM de la FSMP une à deux bourses supplémentaires de Master en informatique fondamentale au sein de l’Université de Paris attribuée à une ou deux étudiantes ayant effectué une année de L3 ou de M1 au sein au sein du réseau de la FSMP. L'IRIF invite les enseignants de L3 et M1 a faire la publicité de ces possibilités supplémentaires de financement. Concernant le positionnement de l'IRIF sur la future loi de programmation pluriannuelle de la recherche : L'IRIF a signé et appelle tous ses membres à signer de même la motion des présidents de sections du Comité National du CNRS, soutenue par le Conseil Scientifique du CNRS L'IRIF a signé une tribune des directrices et directeurs d'unité de recherche intitulée LPPR : un projet par et pour 1% des scientifiques à paraître dans l'édition du Monde datée du 11 février : liste des signataires Actualités scientifiques de l'IRIF Sylvain Périfel 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. Raphaëlle Crubillé, docteure de l'IRIF, à l'honneur dans l'actualité de l'INS2I Notion de la semaine Call-By-Push-Value (CBPV) is a theoretical programming language discovered by Paul Blain Levy. It classifies programs into two distinct syntactic classes, inert results called values and active processes called computations. Intuitively, a value is, a computation does. Thanks to this separation, CBPV can give a crisp account of important concepts in programming languages, including evaluation order (call-by-name vs. call-by-value) and effects (such as memory, exceptions, or probabilities). It is strongly connected to Linear Logic, which gives a different yet related perspective on the same issues. Appels d'offres, évènements des partenaires CNRS : La campagne des écoles thématiques 2021 est ouverte. Deadline pour les déclarations d'intention : 20 mars 2020 CNRS : Intervention de Frédérique Vidal au séminaire des nouveaux directeurs et directrices d'unité 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 Université de Paris : Bourse doctorale de mobilité internationale pour les doctorants qui souhaitent aller faire un séjour de recherche à l'étranger. Budget max 3000 pour la durée de la thèse. Deadline : 14 février Thèses région Ile de France : La Région lance son 2ème appel pour propositions de thèse partagée entre un laboratoire relevant d'un DIM et une entreprise en Île-de-France dans le cadre de l'appel à projet Paris Région PhD 2020. Deadline 24 février. DIM Informatique : Les appels à projets pour l'année 2020 (collaborations, manifestations et matériel) du DIM RFSI sont maintenant ouverts : Deadline 15 mai FSMP : La FSMP co-organise une journée intitulée Math&IA le lundi 9 mars de 9h à 18h dans le grand amphithéâtre du Muséum d’Histoire Naturelle (40 rue Geoffroy Saint-Hilaire, Paris 5e). L'un des objectifs de cette journée est de sensibiliser la communauté mathématique aux nouveaux développements de la discipline à l’interface de l’IA. La journée comportera un volet colloque ainsi qu’une table ronde. Inscription obligatoire. 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 Actualités de l'Université de Paris Lettre de l'INSMI