Le séminaire du Laboratoire

Les archives de 2006

DEC
7
16:00
An ontology for observation of multiagent based simulation.
DEC
7
14:30
L'algèbre tropicale.
NOV
30
13:00
Vérification formelle d'algorithmes cryptographiques en Coq.
Sabrina Tarento
NOV
23
13:00
Contrôle de trafic pour service privilégié sur réseaux sans fil.
NOV
15
13:00
Research lines and projects at Pisa KDD Lab.