|
|
|
|
SÉMINAIRES IRISA 1 9 9 7
-
Vendredi 10 janvier 1997
-
Tom REPS (University of Winconsin, USA) :
Program analysis via graph reachability.
-
Vendredi 7 février 1997
-
Claude BREZINSKI (université des sciences et technologies
de Lille) :
Méthodes d'extrapolation pour la régularisation des
systèmes linéaires mal conditionnés.
-
Vendredi 7 mars 1997
-
Bill WADGE (University of Victoria, Canada) :
Industrial Intensional Logic
-
Vendredi 4 avril 1997
-
João Gabriel SILVA (Universidade de Coimbra - Polo II,
Portugal) :
Fault-injection and the validation of the
fail-silent model.
-
Vendredi 16 mai 1997
-
Jean-Pierre BALPE (université de Paris 8) :
La génération automatique de littérature
-
Vendredi 30 mai 1997
-
Vladimir A. Uspensky
(Moscow University and École Normale Supérieure de Lyon)
Kolmogorov complexity and its applications to randomness
-
Vendredi 6 juin 1997
-
Daniel NAULLEAU (université de Paris 6) :
Informatique et libertés : contrainte ou protection ?
-
Vendredi 19 septembre 1997
-
Stéphane GAUBERT
(Inria Rocquencourt) :
Une introduction à l'algèbre (max, +)
- Vendredi 10 octobre 1997
-
Laurent TRILLING
(ENSIMAG) :
Programmation géométrique : impérative et logique
- Vendredi 7 novembre 1997
-
JOURNÉE RÉALITÉ VIRTUELLE
- Vendredi 5 décembre 1997
-
François LE CHEVALLIER
(Thomson LCTAR) :
Le radar : principes et perspectives
|
