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