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