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 
Inscriptions modérées? Non 
Inscriptions closes? Non 
Groupe intranet? Non 


Pour vous inscrire dans ce groupe, il vous faut passer par l'intranet ou contacter le responsable du groupe.

Retour
Retour à l'index