Votre recherche
Format
Niveau de difficulté
Disciplines
Intervenants
Cursus
Type de production
Langues
Chaine
An Introduction to Iris: Higher-Order Concurrent Separation Logic
Birkedal
Lars
Modern programming languages such as Java, Scala, and Rust are examples of concurrent higher-order imperative programming languages.
A stable marriage between order and disorder (workshop ERC Nemo Processus ponctuels et graphes aléa…
Last
Günter
Stable matchings were introduced in a seminal paper by Gale and Shapley (1962) and play an important role in economics. Following closely Holroyd, Pemantle, Peres and Schramm (2009), we shall
Comment passent à l'échelle les systèmes de la nouvelle vague de technologies (Scaling behaviors of…
Liu
Zhen
La conférence commence par une introduction de Philippe Nain, DR Inria, qui raconte avec l'appui de quelques anecdotes, le parcours de Zhen liu, depuis les conditions de son arrivée comme jeune