TBA
1 : Laboratoire de Recherche en Informatique
(LRI)
-
Website
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
| Subject : | : | oral |
| Topics | : | Robotic Swarms |
| Topics | : | Distributed Computing |
| Topics | : | Formal Methods |
| Topics | : | Verification |
| PDF version | : |  PDF version |
