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