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 PierreRetourRetour à l'index