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