TBA
1 : Laboratoire de Recherche en Informatique
(LRI)
-
Site web
Université Paris-Sud - Paris 11, Institut National de Recherche en Informatique et en Automatique, Centre National de la Recherche Scientifique : UMR8623, CentraleSupélec
LRI - Bâtiments 650-660 Université Paris-Sud 91405 Orsay Cedex -
France
TBA
| Type : | : | oral |
| Thématiques | : | Essaims de robots |
| Thématiques | : | Algorithmique distribuée |
| Thématiques | : | Méthodes formelles |
| Thématiques | : | Vérification |
| PDF version | : |  PDF version |
