Groupe de travail : Cryptographie et Complexité
Les séances se déroulent le jeudi à 15h à 16h en salle des séminaires.
Le groupe de travail est ouvert à tous.
Exposés à venir
Le 15/12/2005
Pierre Valarcher (LIFAR)
Titre : Sur la non existence d'une logique de Hoare pour le langage de Clarke (1977). |
|
|