Passer au contenu
Sections
Outils personnels
Vous êtes ici : Accueil » Anciens événements » Séminaires 1998/99
Chercher

Recherche avancée
 

Séminaires algo/I3 1998/99

Information, Interaction, Intelligence
Patrice Enjalbert, Mauro Gaio
Nadine Lucas

Algorithmique
Brigitte Vallee, Etienne Grandjean
Date:
20 10 98 		Séminaire I3
Titre:
Assemblée Équipe I3
Heure: 14:00-15:00
Lieu: Campus II 		Titre (Résumé):
Présentation et analyse d'un test d'irreductibilité absolue des polynômes.
Orateur: Jean-Francois RAGOT, Université Limoges
Heure: 14:00-15:00
Lieu: S3-255 Campus II
Titre (Résumé):
Sur les systemes de numeration a base complexe
Orateur: Taoufik SAFER, LIAFA, Université Paris 7
Heure: 15:00-16:00
Lieu: S3-255 Campus II
Date:
27 10 98 		Groupe de Travail TAL-InfoDoc
Titre (Résumé):
Bilan de MUC 6: état de l'art, avancées, perspectives
Orateurs: Jean-Marc Vuillaume, Michel Dupont
Heure: 14:00-15:30
Lieu: MRSH SH-005 Campus I
Date:
3 11 98 		Séminaire I3
Titre:
Discussion d'orientation de l'équipe I3: Systèmes multi-agents.
Heure: 14:00-15:00
Lieu: S3-351 Campus II 		Titre (Résumé):
Lois 0-1 en logique
Orateur: Jean-Marie LE BARS (GREYC)
Heure: 16:00-17:00
Lieu: S3-351 Campus II
Date:
10 11 98 		Groupe de Travail TAL-InfoDoc
Titre (Résumé):
Le geste graphique pour l'interaction homme-machine
Orateur: Claudie Faure, ENST, Paris.
Heure: 14:00-15:30
Lieu: S3-351Campus II 		Titre (Résumé):
Linear Programming Validation" (LPV): Une nouvelle technique de validation formelle utilisant la programmation linéaire
Orateur: Jean-Luc LAMBERT (GREYC)
Heure: 16:00-17:00
Lieu: S3-351 Campus II
Date:
17 11 98 		Séminaire I3
Titre (Résumé):
Fitting the Workflow Management Facility into the Object Management Architecture
Orateur: Pr K. Meyer-Wegener, TU Dresden
Heure: 14:00-15:00
Lieu: S3-351 Campus II 		Titre (Résumé):
Probleme SAT et phenomenes de seuil
Orateur: Nadia CREIGNOU (SDAD)
Heure: 16:00-17:00
Lieu: S3-351 Campus II
Date:
24 11 98 		Séminaire I3
Titre:
Discussion d'orientation de l'équipe I3: Langage.
Heure: 14:00-15:00
Lieu: S3-351 Campus II 		Titre (Résumé):
Un nombre d'intersection pour des chemins de surfels sur une surface discrete
Orateur: Sebastien FOUREY (GREYC)
Heure: 16:00-17:00
Lieu: S3-351 Campus II
Date:
1 12 98 		Séminaire I3
Titre:
Discussion d'orientation de l'équipe I3: Quels enjeux technologiques ?
Heure: 14:00-15:00
Lieu: S3-351 Campus II 		Titre (Résumé):
Presentation du groupe fondamental dans les surfaces discretes
Orateur: Remy MALGOUYRES (GREYC)
Heure: 16:00-17:00
Lieu: S3-351 Campus II
Date:
8 12 98 		Séminaire I3
Titre (Résumé):
Quel est le sujet de ce séminaire? Je crois que vous devriez pouvoir le savoir. (Sémantique des verbes modaux.)
Orateur: Patrice Enjalbert
Heure: 14:00-15:00
Lieu: S3-351 Campus II 		Titre (Résumé):
Une nouvelle représentation des fonctions booléennes
Orateur: Claude CARLET (GREYC)
Heure: 16:00-17:00
Lieu: S3-351 Campus II
Date:
15 12 98

Séminaire Commun I3 / Algorithmique

Titre (Résumé):
Modèle LogGP et optimisation de temps de calcul des programes parallèles
Orateur: Risto Honkanen
Heure: 14:00-15:00
Lieu: S3-351 Campus II
Date:
05 01 99
Séminaire Commun I3 / Algo

Titre (Résumé):
Synthèse des objets graphiques et programmation fonctionnelle
Orateur: Jerzy Karczmarczuk
Heure: 14:00 - 15:00
Lieu: S3-351 Campus II
Date:
12 01 99		 Titre (Résumé):
La modélisation comme activité sémiotique. Application au cas des diagrammes UML.
Orateur: Bernard Morand
Heure: 14:00 - 15:00
Lieu: S3-351 Campus II 		Titre (Résumé):
Complexite de Kolmogorov a ressources bornees: une introduction
Orateur: Sophie Laplante (LRI, Universite Paris-Sud)
Heure: 16:00 - 17:00
Lieu: S3-351 Campus II
Date:
19 01 99		 Titre (Résumé):
Cycle de vie du document versus système d'interprétation automatique.
Orateur: Joël Gardes
Heure: 14:00-15:00
Lieu: S3-351 Campus II 		Titre :
Un schema d'approximation pour la coupe maximum dans un espace metrique
Orateur: Claire Kenyon (LRI, Universite Paris-Sud)
Heure: 15:45 - 17:00
Lieu: S3-351Campus II
Date:
26 01 99		 Reporté au 23/03
Titre (Résumé):
Modélisation de l'information spatiale dans les textes spécialisés
Orateur: Helène Miguet
Heure: 14:00-15:00
Lieu: S3-351 Campus II
Date:
02 02 99		 Titre (Résumé):
Raisonnement et programmabilité
Orateur: Violaine Prince, (LRIA, Paris 8)
Heure: 14:00-15:00
Lieu: S3-351 Campus II 		Titre (Résumé):
Fonctions courbes et fonctions parfaitement non linéaires sur $Z_q$
Orateur: Sylvie Dubuc
Heure: 16:00 - 17:00
Lieu: S3-351 Campus II
Date:
09 02 99		 Titre (Résumé):
Quels corpus pour l'acquisition de connaissances linguistiques?
Orateur: Benoit Habert
Heure: 14:00-15:00
Lieu: S3-351 Campus II 		Titre (Résumé):
Sur l'approximation de fonctions totales de NP
Orateur: Cristina BAZGAN (LRI, Orsay)
Heure: 16:00 - 17:00
Lieu: S3-351 Campus II
Date:
16 02 99		 Titre (Résumé):
Decompositions arborescentes des graphes
Orateur: Ioan TODINCA (LIP, ENS Lyon)
Heure: 16:00 - 17:00
Lieu: S3-351 Campus II
Date:
02 03 99
Séminaire Commun I3 / Algo

Titre (Résumé):
Introduction à la theorie algorithmique de l'information.
Orateur: Brigitte Vallée
Heure: 14:00
Lieu: S3-351 Campus II
Date:
09 03 99		 Titre (Résumé):
Pourquoi et comment envisager l'unité du texte?
Orateur: Nadine Lucas
Heure: 14:00-15:00
Lieu: S3-351 Campus II 		Titre (Résumé):
Graphes semi-k-cordaux: généralisation des hypergraphes acycliques et application aux CSP.
Orateur: Pascal Rossa
Heure: 16:00 - 17:00
Lieu: S3-351, Campus II
Date:
16 03 99		 Titre (Résumé):
Emergence d'un langage dans un système d'agents autonomes: simulations informatiques et "Têtes parlantes".
Orateur: Frédéric Kaplan
Heure: 14:00-15:00
Lieu: S3-351 Campus II 		Titre (Résumé):
Resultats d'approximation polynomiale differentielle pour les versions minimisation et maximisation du probleme du voyageur du commerce
Orateur: Vangelis Th. Paschos (Lamsade, Paris Dauphine)
Heure: 16:00 - 17:00
Lieu: S3-351 Campus II
Date:
23 03 99		 Titre (Résumé):
Modélisation de l'information spatiale dans les textes spécialisés
Orateur: Helène Miguet
Heure: 14:00-15:00
Lieu: S3-351 Campus II 		Titre (Résumé):
Les algorithmes de recherche de mot du type Boyer-Moore
Orateur: Thierry Lecroq (LIFAR, Universite de Rouen)
Heure: 16:00 - 17:00
Lieu: S3-351Campus II
Date:
30 03 99		 Titre (Résumé):
Interaction verbale et écrite dans des mondes virtuels: Quelques exemples d'application
Orateur: Pierre Nugues
Heure: 14:00-15:00
Lieu: S3-351 Campus II 		Titre (Résumé):
Un résultat faux tout de suite ou correct trop tard ?
Orateur: Vincent Lefebre (LIP, ENS Lyon )
Heure: 16:00 - 17:00
Lieu: S3-351Campus II
Date:
06 04 99		 Titre (Résumé):
À Préciser
Orateur: Pierre Nugues
Heure: 14:00-15:00
Lieu: S3-351 Campus II 		Pas de Séminaire Algo
Date:
13 04 99		 Vacances de Pâques
Date:
20 04 99		 Vacances de Pâques
Date:
27 04 99		 Titre (Résumé):
La définition dans le texte: des modèles aux résultats.
Orateur: Marie-Paule Péry-Woodley
Heure: 14:00 - 15:00
Lieu: S3-351 Campus II
Date:
04 05 99		 Pas de Séminaire:
discussion sur la nouvelle maquette de DEA au sein de l'équipe I3

Heure: 14:00
Lieu: S3-351 Campus II 		Titre :
Localisation d'un nombre fini de mots et implementation d'automates
Orateur: Christophe HANCART, LIFAR, Universite de Rouen,
Heure: 16:00 - 17:00
Lieu: S3-351 Campus II
Date:
11 05 99		 Titre (Résumé):
Analyse syntaxique en flux
Orateur: Jacques Vergne
Heure: 14:00 - 16:00
Lieu: S3-351 Campus II 		Titre (Résumé):
Statistiques de motifs
Orateur: Bruno SALVY, Projet ALGO, INRIA Rocquencourt
Heure: 16:00 - 17:00
Lieu: S3-351 Campus II
Date:
18 05 99		 Titre (Résumé):
L'auto-organisation de groupes pour l'allocation de tâches dans les Systèmes Multi-Agents : Application à CORBA
Orateur: Eric Malville (CNET-Caen)
Heure: 14:00 - 15:00
Lieu: S3-351 Campus II 		Titre (Résumé):
Decidable Verification for Reducible Timed Automata
Orateur: Daniele BEAUQUIER, Universite Paris XII,
Heure: 16:00 - 17:00
Lieu: S3-351 Campus II
Date:
25 05 99		 Titre :
Non communiqué
Orateur: Brahim Chaib-draa (Université Laval à Québec, Canada)
Heure: 14:00 - 15:00
Lieu: S3-351 Campus II 		Titre (Résumé):
Recherche pratique d'un mot dans un texte
Orateur: Mathieu Raffinot (Universite de Marne-la Vallee)
Heure: 16:àà - 17:00
Lieu: S3-351 Campus II
Date:
01 06 99		 Titre (Résumé):
La langue naturelle dans l'interaction personnes-machines
Orateur: Anne Nicolle (GREYC)
Heure: 14:00 - 16:00
Lieu: S3-351 Campus II
Date:
08 06 99		 Titre :
Méthodes et outils d'ingénierie linguistique pour l'aide à la spécification de logiciels
Orateur: Farid Cerbah (Dassault Aviation)
Heure: 15:00 - 16:00
Lieu: S3-351 Campus II
Date:
15 06 99		 Titre (Résumé):
NetSA: une architecture multiagent et son application aux domaines riches en information.
Orateur: Prof. B. Chaib-draa, (Département d'Ift, Université Laval, Ste-Foy, Canada)
Heure: 14:00 - 16:00
Lieu: S3-351 Campus II
Date:
29 06 99		 Titre (Résumé):
Thèse: Étude des contributions des structures textuelles et syntaxiques pour la prosodie : application à un système de synthèse vocale à partir du texte
Orateur: Gérald Vannier
Heure: 14:30
Lieu: Salle des Thèses, Campus II