Informatiques

Sommaire

Jean-Pierre Finance ? Entre retrospective et prospective
Serge Abiteboul ? Gestion de donnees pour le web
Michel Adiba ? Modeles de donnees
Victor Alessandrini ? Les enjeux du calcul scientifique
Andre Arnold ? Modelisation et verification de systemes communicants
Nicholas Ayache ? Imagerie et robotique medicales : du microscope informatique au simulateur de chirurgie
Francois Bancilhon, Guy Ferran, Sophie Gamerman ? Les SGBDO sont morts, vive la technologie des SGBDO !
Michel Beaudouin-Lafon ? Ceci n'est pas un ordinateur : perspectives sur l'interaction homme-machine
Alain Bensoussan, Isabelle Pottier ? Bogue 2000 : mythe ou realite ?
Albert Benveniste ? Quelques questions cle a la frontiere entre l'automatique et l'informatique
Daniel Beurrier, Yann Le Biannic ? Application du langage synchrone ESTEREL aux systemes avioniques
Jean-Daniel Boissonnat ? Le calcul geometrique
Gilles Brassard ? Ordinateurs quantiques
Jean-Pierre Briot ? Programmation d'applications concurrentes et reparties par objets, reflexion, interactions et agents
Yves Caseau ? Contraintes et genie logiciel
Paul Caspi ? Langages pour la conception de systemes reactifs
Philippe Chretienne ? Un apercu sur la recherche en ordonnancement a l'aube de l'an 2000
Pierre Cointe ? Langages a objets
Pierre Combes, Francis Klay, Beatrice Renard ? Le traitement des interactions de services
Patrick Cousot ? Interpretation abstraite
Robert Demolombe, Luis Farinas del Cerro ? La modelisation logique dans les nouveaux systemes d'information et de communication
Michel Diaz ? Protocoles et reseaux
Edwin Diday ? Analyse des donnees symboliques : Theorie et outil pour la fouille des connaissances
Gilles Dowek ? La verification automatique de demonstrations
Didier Dubois, Henri Prade ? Les ensembles flous en science et ingenierie de l'information : concepts de base et applications
Daniel Etiemble ? Quels processeurs a l'horizon 2010 ?
Paul Feautrier ? Les compilateurs
Jean-Gabriel Ganascia ? L'informatique et les sciences cognitives
Marie-Claude Gaudel ? Methodes formelles, preuves et tests
Michel Gentot ? La protection des donnees a caractere personnel en l'an 2000 : enjeux et perspectives
Michel Gondran, Michel Minoux ? Dio?des et semi-anneaux : Algebres et analyses pour le XXI e siecle ?
Philippe Guyot ? Informatique et espace : les logiciels embarques sur satellite
Jean-Paul Haton ? Reconnaissance automatique de la parole
Claude Hennebert ? Systemes de securite ferroviaires
Pascal van Hentenryck ? Programmation par contraintes
Daniel Kayser ? Traitement du langage naturel : un regard sur son evolution et ses perspectives
Jean Latger ? Les images de synthese
Jean-Marc Lavest, Marc Richetin ? La metrologie par vision
Daniel Lazard ? Calcul formel : tendances et progres recents
Jacques Levy Vehel ? Analyse fractale : une nouvelle generation d'outils pour le traitement du signal
Daniel Litaize, Jacques Collet, Ahmed Louri ? L'optique dans l'ordinateur
Guy Louchard ? L'analyse d'algorithmes
Pierre-Arnoul de Marneffe ? Nouvelle pedagogie et informatique
Jean-Michel Muller ? Vers des primitives propres en arithmetique des ordinateurs
Amedeo Napoli, Jerome Euzenat, Roland Ducournau ? Les representations des connaissances par objets
Dominique Perrin ? Automates finis
Jean-Marie Pierrel ? Communication multimodale : langue, designation gestuelle et perception visuelle
Guillaume Poupard, Jacques Stern ? Cryptologie
Guy Pujolle ? Les reseaux : bilan et avenir
Vincent Quint ? Les nouvelles technologies du Web
Patrice Quinton ? Architectures specialisees
Luis Rodriguez-Rosello ? Les technologies pour l'education et la formation : bilan et perspectives
Gabriel Ruget, Michel Prenat ? Fusion multi-senseurs
Marc Shapiro ? Le partage d'information dans les systemes repartis de grande echelle
Joseph Sifakis ? Methodes formelles : le prix du succes