==== 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’[[https://www.irif.fr/intranet/conseil|intranet]]. Suivant les recommandations du conseil : * L'IRIF finance dans le cadre du [[https://www.sciencesmaths-paris.fr/fr/pgsm-master-794.htm|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 [[https://www.c3n-cn.fr/survey/index.php/317533|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** : [[https://tribune-lppr.frama.site/|liste des signataires]] === Actualités scientifiques de l'IRIF === * **Sylvain Périfel** from IRIF, together with Damiano Mazza and Thomas Seiller, organize the [[https://caleidoscope20.sciencesconf.org|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'[[https://ins2i.cnrs.fr/fr/cnrsinfo/le-prix-de-these-gilles-khan-attribue-raphaelle-crubille|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** : [[http://www.cnrs.fr/fr/cnrsinfo/frederique-vidal-au-seminaire-des-nouveaux-directeurs-et-directrices-dunite|Intervention de Frédérique Vidal]] au séminaire des nouveaux directeurs et directrices d'unité * **FSMP** : Programme de bourses [[https://www.sciencesmaths-paris.fr/fr/pgsm-master-794.htm|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** : {{ :intranet:lettre-irif:2020-01-17:fwd_appel_a_candidatures_bourse_doctorale_de_mobilite_internationale_up_2020.eml |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 [[https://www.iledefrance.fr/paris-region-phd-2020|Paris Région PhD 2020]]. **Deadline 24 février**. * **DIM Informatique** : Les [[https://dim-rfsi.fr/projets|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. [[https://www.math-ia.fr|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 * [[http://www.cnrs.fr/CNRS-Hebdo/iledefrance-villejuif/lettre.php|CNRS Hebdo]] * [[https://u-paris.fr/actualites/|Actualités de l'Université de Paris]] * [[http://www.cnrs.fr/insmi/spip.php?rubrique777|Lettre de l'INSMI]]