Chargement Évènements

« Tous les Évènements

  • Cet évènement est passé

Séminaires du D2 “Méthodes formelles”

octobre 9, 2013 @ 14:00 - octobre 15, 2013 @ 15:00

Le mercredi 9 octobre et le mardi 15 octobre, auront lieu le séminaire du département 2 “Méthodes formelles”.

Séminaire Méthodes Formelles 1

Date : Mercredi 9 octobre
Heure : 14h
Orateur : Josef Widder (TU Wien)
Titre : Parameterized Model Checking of Fault-tolerant Distributed Algorithms by Abstraction
Salle : C005


Séminaire Méthodes Formelles 2

Date : Mardi 15 octobre
Heure : 14h
Orateur : Iordanis Kerenidis (CNRS, LIAFA)
Titre : Tutorial on Quantum Communication
Salle : A008

Séminaire Méthodes Formelles 1

Date : Mercredi 9 octobre
Heure : 14h
Orateur : Josef Widder (TU Wien)
Titre : Parameterized Model Checking of Fault-tolerant Distributed Algorithms by Abstraction
Salle : C005


Séminaire Méthodes Formelles 2

Date : Mardi 15 octobre
Heure : 14h
Orateur : Iordanis Kerenidis (CNRS, LIAFA)
Titre : Tutorial on Quantum Communication
Salle : A008

Détails

Début :
octobre 9, 2013 @ 14:00
Fin :
octobre 15, 2013 @ 15:00
Catégorie d’Évènement:

Lieu

Salles C005 et A008

Logo du CNRS

Logo Inria

Logo Université de Lorraine