Stage L3

Si l'exécution en λ-calcul avec ressources vous intéresse, mon rapport de stage se trouve ici.

Peut-être qu'un jour je raconterai que Luminy c'est chouette, que les tableaux y sont jolis et que Lionel Vaux et Emmanuel Beffara sont gentils. Voire même je mettrai un truc pour pouvoir jouer avec ma machine abstraite. (Par contre, il ne faut pas dire voire même, en tant que pléonasme, c'est de la surcharge inutile.)

Stage M1

Épisode 1 : Réalisabilité classique

Tourné à Montevideo, avec Mauricio Guillermo en guest-star, à propos de la réalisation classique des formules arithmétiques sous forme de jeux. Pour plus de détail, voir le synopsis (en anglais).

Épisode 2 : Automate cellulaire

Tourné à Turku, featuring Jarkko Kari et Timo Jolivet, sur les automates state-conserving. Un précis illustré est disponible (en anglais), ainsi que quelques bestiaires.