→
Séminaire

Équivalences de programmes

→

Ce fournisseur ne permet pas l'ajout d'événements multiples en un clic. Voici la liste des événements à ajouter individuellement.

Concurrency Theory: From Its Origins Towards a Science of Processes
Davide Sangiorgi

Séminaire
11:15 à 12:15

L'équivalence d'interaction
Adrienne Lancelot

Séminaire
11:15 à 12:15

Sémantiques de jeux des langages de programmation
Pierre Clairambault

Séminaire
11:15 à 12:15

Théorèmes de point fixe et coinduction sans coinduction
Damien Pous

Séminaire
11:15 à 12:15

Logique relationnelle probabiliste et ses applications à la cryptographie
Benjamin Grégoire

Séminaire
11:15 à 12:15

La sémantique de l'allocation dynamique : des noms frais aux faisceaux
Guilhème Jaber

Séminaire
11:15 à 12:15

Équivalences de programmes (7)
Xavier Leroy

Séminaire
11:15 à 12:15