Choisissez le fuseau horaire

Le fuseau horaire de votre profil:

Utiliser le fuseau horaire basé sur:

Evénement/catégorie Personnalisé

Veuillez choisir un fuseau horaire personnalisé

S'authentifier

Workshop Schlumberger : Types dépendants et Formalisation des mathématiques

Name: Workshop Schlumberger : Types dépendants et Formalisation des mathématiques
Start: 2022-06-15T09:00:00+02:00
End: 2022-06-15T18:30:00+02:00
Location: Le Bois-Marie

15 juin 2022

Le Bois-Marie

Fuseau horaire Europe/Paris

Accueil
Programme
Inscription
Poster
Liste des participants
Playlist vidéo

Workshop Schlumberger : Types dépendants et Formalisation des mathématiques

Contact: Élisabeth Jasserand

Liste des participants

35 participants