erim

Equipe de Recherche
en Informatique et Mathématiques

Vous êtes ici : AccueilManifestations scientifiquesSéminaire ERIM

 

Séminaire ERIM

 

En plus des présentations faites par les membres d'ERIM, notre séminaire a accueilli des chercheurs de renommée internationale : 

  •        Pr. Michael LIN (l’Université de Beer-sheva, Israel) : 2 séjours d’un mois,
  •      Pr. Stephen SIMONS (l’Université de Californie à Santa Barbara, USA),
  •      Pr. Michel de Lara (École des Ponts ParisTech / Université Paris-Est),
  •      Pr. Matthias EHRGOTT (Université d’Auckland, Nouvelle Zélande),
  •      Pr. Jean-Baptiste CAILLAU (Université de Bourgogne) : 1 séjour d’un mois. 
  •      Pr. Pierre Cardaliaguet (Université Paris Dauphine)
  •      Pr. Didier Aussel (Université de Perpignan)
  •      Pr. Didier Caucal (CNRS/Université Paris-Est)  
  •      Pr. Arno Van den Essen (Université de Nijmegen, Pays Bas)
  •      Pr. Shigeru Kuroda (Université de Tokyo, Japon) 

 

Derniers exposés 

 

 

 

  •        Mardi 27 août 2013 à 16h30 : Léonard Todjihoundé (Institut de Mathématiques et de Sciences Physiques, Porto-Novo,  Benin)

Titre : Harmonic Nets in Metric Spaces

 
  •         Jeudi 22 novembre 2012 à 10h : Marcin Przybylko (ERIM et Université de Varsovie) 

titre :   How to make queries more feasible. Restricted conjunctive queries and their complexity.

 

  •        Mardi 27 novembre 2012 à 10h : Pr. André Galligo (Université de Nice et INRIA).

Titre: Isolation de racines réelles de polynômes lacunaires (à 1 variable) à coefficients entiers.

(travail commun avec Mariemi Alonso (Madrid)).

Résumé : Les méthodes usuelles de recherches certifiées de racines réelles de polynômes, basées sur l'algorithme de Sturm ou la méthode de Descartes, ne respectent pas la lacunarité; car elles tendent à augmenter le nombre de monômes. Nous développons une nouvelle approche basée sur une généralisation du théorème classique de Budan-Fourier. On présentera d'abord les propriétés structurelles de la table de Budan, puis une stratégie pour la calculer et borner la complexité de ce calcul. Ensuite on présentera un algorithme pratique, qui suit la même approche, pour calculer rapidement les racines réelles. L'exposé sera illustré par des figures et des exemples.

 

  • Mardi, le 4 décembre à 10h, salle E6, orateur : Didier Caucal, Institut Gaspard Monge

titre :   Graphs and schemes

Abstract:We present a hierarchy of graph families defined by systems of recursive
equations. Then we describe the corresponding sub-hierarchies of
languages, ordinals, infinite words and terms.

This talk will be in French.

 

Aller au haut