Le séminaire du Laboratoire

Les archives de 2007

DEC
6
13:00
PALERME : une plateforme matérielle et une architecture logicielle ergonome pour la maîtrise de l'énergie.
NOV
29
13:00
e-Campus.
NOV
22
13:00
IKBS et le projet Coraux.
NOV
15
13:00
Déploiement autonome de composants logiciels ubiquitaires dans des réseaux dynamiques.
NOV
8
13:00
e-Guitare.
OCT
25
13:00
Analyse statique de logiciels.
OCT
11
13:00
Un couplage de dynamiques comportementales : le modèle DS pour l'aménagement du territoire.
OCT
4
13:00
Ruby on Rails.
JUN
14
10:00
Extrapolation algorithm for convex feasibility problems with application to Semidefinite Programming.
AVR
26
13:00
Spécificités des SMA à travers la plateforme de simulation Geamas-NG.
Architectures massivement parallèles pour les SMA, Observation dans les SMA, Emergence et phénomènes collectifs dans les SMA.
AVR
12
13:00
Le Web Sémantique.
AVR
5
13:00
Le profil des graphes et des tournois.
MAR
22
13:00
A propos de Wikipedia.
MAR
15
13:00
Vérification statique de pilote USB.
MAR
1
13:00
Weak Alternating Tree Automata Are Not That Weak.
FEV
15
13:00
Familles de Moore et systèmes implicatifs.
FEV
8
13:00
Une introduction à Coq.
Sabrina Tarento