Information sur le groupe Preuves d'algorithmes distribués


Nom Preuves d'algorithmes distribués 
Nom court PAD 
Description Ce groupe s'intéresse aux preuves formelles d'algorithmes distribués 
Site web  
 
Fréquence des réunions (tous/toutes les) 7 jours 
Jour des réunions Jeudi 
Créateur casteran 
Actif Oui 
inscription modérée (O/N) Non 
Inscription close (O/N) Non 
Groupe intranet (O/N) Non 


Pour vous inscrire dans ce groupe, il vous faut passer par l'intranet ou contacter les responsables (voir liste ci-dessous) du groupe.

Liste des responsables :
Casteran Pierre

Retour
Retour à l'index