Séminaire ERMIT.

ERMIT

Séminaire 2009-2010.


Le mardi à 13h30, salle de séminaire du DMI, Pôle technologique Universitaire (PTU), BP 7151, Bâtiment no 2, 2 rue Joseph Wetzell, 97490 Sainte-Clotilde.

01.06.10 Marianne MORILLON, Quelques conséquences du lemme de sélection de Rado.
18.05.10 Adrian MATHIAS (13h), ``Flutters'' et caméléons.
27.04.10 Didier CAUCAL (Université Paris-Est), Systèmes de récriture préfixe/suffixe.
30.03.10 Youssef BOUDABBOUS (Université de Sfax, Tunisie), Les tournois 3-demi-reconstructibles (suite).
23.03.10 Youssef BOUDABBOUS (Université de Sfax, Tunisie), Les tournois 3-demi-reconstructibles.
16.03.10 Marianne MORILLON, Espaces de Helly et compacité.
09.03.10 Kai HAUSER -15h-, Cantor's Absolute (Part 2).

17.12.09 10h30: *Baptiste CALMES (Université de Lens), Géométrie des variétés de drapeaux, théories cohomologiques et combinatoire associée.
                ~ 12h30: *Thierry MONTEIL, Infinite words with uniform frequencies, and invariant measures of symbolic systems, suite.

15.12.09 13h30: *Dominique TOURNES (IUFM), La construction tractionnelle des équations différentielles.
                ~ 15h: *Thierry MONTEIL (Université Montpellier 2), Infinite words with uniform frequencies, and invariant measures of symbolic systems. Résumé.

Les 5 et 7 décembre 2009, Mini-colloque.
05.12.09
10h: *Alain ESCASSUT (Université Blaise Pascal, Clermont-Ferrand 2), Spectre multiplicatif d'algèbres de Banach de fonctions continues d'un espace ultramétrique dans un corps ultramétrique complet.
11h: *Szymon DOLECKI (Université de Dijon), Topologisations et régularisations consécutives des prétopologies.
12h: *Bruno COURCELLE (Université Bordeaux 1), On several proofs of the Recognizability Theorem.
11.12.09 10h *Damian NIWINSKI (Université de Varsovie), On the Borel complexity of MSO definable sets of branches.

08.12.09 Serge BURCKEL, Il existe X qui dit "P ≠ NP".

01.12.09 13h30: *Jérôme GERMONI (Université Lyon 1), Matrices 2 x 2, coniques et isomorphismes exceptionnels. Résumé.
                ~ 15h:   *Vincent BORRELLI (Université Lyon 1), Intégration convexe, plongements isométriques et visualisation. Résumé.

24.12.09 Kai HAUSER -15h-, Cantor's Absolute (Part I).
17.11.09 Olivier ESSER, L'axiome d'antifondation et sa consistance relative par rapport à ZF-.
10.11.09 Relâche.
O3.11.09 Youssef BOUDABBOUS (Université de Sfax, Tunisie), Les tournois (< = k)-demi-reconstructibles pour k < = 6.
27.10.09 Adrian MATHIAS, Caméléons (ter).
20.10.09 Olivier ESSER, Antifondation et forcing. Résumé.
13.10.09 Dominique CASTELLA, Arithmétique des polynômes tropicaux.
06.10.09 Christian DELHOMMÉ, Caméléons (bis).
29.09.09 Adrian MATHIAS, Caméléons.
22.09.09 Serge BURCKEL, SAT par sauts. Slides.
15.09.09 Marianne MORILLON, La propriété de Hahn-Banach continue dans les espaces normés du type C*(X).

Séminaire 2008-2009.



09.06.09
02.06.09 Yves MARTIN, Illustration dynamique des concepts hyperboliques sur la pseudosphère. Résumé.
26.05.09,
19.05.09 Adrian MATHIAS,
12.05.09 Olivier CARTON (Université Paris 7), Mots et arbres de Sturm.
05.05.09 Adrian MATHIAS, Le principe ⋄ ("diamond").
28.04.09 Damian NIWINSKI (Université de Varsovie), Topological arguments for automata theoretic hierarchies.

21.04.09 *14h Didier CAUCAL (Université Paris-Est) Automaticité (Travail en collaboration avec Christian Delhommé).
                *15h30 Guillaume AUBRUN (Lyon I), Introduction à la géométrie des espaces normés de grande dimension.

14.04.09 Etienne GHYS (ENS Lyon) -15h-, L'attracteur de Lorenz.
07.04.09 Yves MARTIN (IUFM), De la démarche opérationnelle au concept mathématique dans l'enseignement à l'école élémentaire.
31.03.09 Guillaume AUBRUN (Université Lyon I), Inégalité maximale de Hardy-Littlewood en grande dimension.
24.03.09 Youssef BOUDABBOUS, Tournois (suite).
17.03.09 Youssef BOUDABBOUS (Université de Sfax, Tunisie), Généralités sur les tournois.
10.03.09 Kai HAUSER -15h30-, Intuition and mathematical objects.
03.03.09 Olivier ESSER, Antifondation dans le système de Zermelo (résumé).
24.02.09 Maurice POUZET, (Université Lyon 1) Espaces ultramétriques homogènes (résumé).
17.02.09 Maurice POUZET, Espaces ultramétriques homogènes. Séance reportée.
10.02.09 Maurice POUZET, Espaces ultramétriques homogènes. Séance reportée.

09.12.08 Adrian MATHIAS, L'axiome de la paire.
02.12.08 Dominique CASTELLA, Notions de rang en algèbre tropicale: suite.
25.11.08 Olivier MOIOLI, Théorie du corps de classe local.
18.11.08 Adrian MATHIAS,
11.11.08
04.11.08 (à 13h45) Adrian MATHIAS, Forcing dans les modèles de Zermelo.
28.10.08
21.10.08
14.10.08 Dominique CASTELLA, Notions de rang en algèbre tropicale.
07.10.08
30.09.08 Marianne MORILLON, Puissances réduites et existence de formes linéaires (résumé).   Slides.
23.09.08
16.09.08 Adrian MATHIAS, Ensembles providents, logique infinitaire.

Séminaire 2007-2008.

Le mardi à 13h30, salle de séminaire du DMI, Campus universitaire du Chaudron, 97490 Moufia.

06.05.08 Marianne MORILLON, Compacité faible dans l2(I) et Axiome du Choix (résumé).
29.04.08
23.04.08 (mercredi, 8h30) Christian DELHOMMÉ, Bonne fondation (II).
22.04.08 Dominique CASTELLA, Courbes tropicales.
15.04.08 Adrian MATHIAS,
8.04.08 Olivier CARTON (Université Paris 7), Automates sur les chaînes.
1.04.08 Marc de CRISENOY, Introduction aux formes modulaires (III).
31.03.08 (lundi, 8h30) Christian DELHOMMÉ, Bonne fondation (I).
25.03.08
18.03.08 Marc de CRISENOY, Introduction aux formes modulaires (II).
14.03.08 (vendredi, 14h) Kai HAUSER, Two Non-Contrived Incompatible Strong Axioms of Infinity.
11.03.08 Didier CAUCAL (Université Paris-Est), Algèbres de Boole en théorie des langages formels.
4.03.08 Marc de CRISENOY, Introduction aux formes modulaires (I).
26.02.08 Marianne MORILLON, Formes linéaires et Axiomes de Choix fini.   Slides.
19.02.2008 Dominique CASTELLA, Semi-corps idempotents.
12.02.2008 Adrian MATHIAS, Rudimentary recursion, provident sets and forcing.
4.12.2007 Bernard CHAMPION (Faculté des Lettres), Kolam .
25.09.2007 Youssef BOUDABBOUS (Université de Sfax, Tunisie), k-reconstructible binary relations.
11.09.2007 Adrian MATHIAS, "Liens entre la théorie descriptive des ensembles, la théorie de la mesure et les temps d'arrêt."

Séminaire 2006-2007.

23.04.2007 Nicola ANDJIGA (Université de Yaoundé, Cameroun), "La théorie des jeux et la théorie du choix social".
17.04.2007 Adrian MATHIAS "L'emploi des jeux dans les définitions des mesures et extenseurs".
10.04.2007 Dominique LEPELLEY (faculté d'Économie), Théorie des choix collectifs.
28.03.2007 René SCHIPPERUS, Partition relations on ordinals.
26.03.2007 Maurice POUZET (Université Lyon 1), "Quand l'algèbre d'un âge est-elle intègre ? Preuve d'une conjecture de Cameron."
19.03.2007: Jacques DUPARC, Real maps as strategies.
12.03.2007: Jacques DUPARC (Université de Lausanne), The Moschovakis-Steel Hierarchy.
19.02.2007: Marianne MORILLON, Compacité faible et Axiome du Choix (suite).
12.02.2007 Marianne MORILLON, Compacité faible et Axiome du Choix. Slides.
12.12.2006 Frank BIHLER, Regularité des anneaux cohérents.
7.12.2006 Dominique CASTELLA, Algèbre tropicale.
** date ?? Adrian MATHIAS, Balanced categories and supercompact cardinals.
** date ?? trois exposès de M. de CRISENOY.
** date ?? Frank BIHLER, Anneaux réguliers.
14.09.2006 Youssef BOUDABBOUS (Université de Sfax, Tunisie), La dualité dans différents problèmes de reconstruction
7.09.2006 Frank BIHLER, K-théorie algébrique et topologique.

Séminaire 2005-2006.

2.05.2006 Olivier ESSER (Université de Bruxelles), Arbres sur les ensembles dirigés et cardinaux faiblement compacts.
18.4.06 Guillaume CHÈZE (Université de Toulouse), Algorithmes pour la factorisation absolue des polynomes en deux variables.
4.4.06 Stephen HUGGETT (Université de Plymouth, Royaume Uni), Meteorological images from polar-orbiting satellites.
21.03.2006 James HIRSCHORN (Université de Kobé, Japon), What types of Radon measures can a compact space carry ?
7.03.2006 Olivier FRÉCON, Sous-groupes de Carter dans les groupes ordinaires de rang de Morley fini.
28.02.2006 Marianne MORILLON, Les espaces bloc-compacts (suite).
21.02.2006 Marianne MORILLON, Suites-bloc normalisées convergentes. Diverses notions de séquentielle compacité de [-1,1]^J.
14.02.2006 Olivier ESSER (Université de Bruxelles), Théorie positive des ensembles.
6.12.2005 Frank WAGNER (Université Lyon 1), Mauvais corps: existence et non-existence.
4.11.2005 Jacques DUPARC (Université de Lausanne), Automates et hiérarchies de Wagner.
25.10.2005 Maurice POUZET, Du bel ordre au meilleur ordre.
11.10.2005 Maurice POUZET (Université Lyon 1), Le Profil des relations.
27.09.2005 René SCHIPPERUS, Jeux de Boris Model (suite).
20.09.2005 René SCHIPPERUS, Jeux de Boris Model.
Retour à la page d'accueil d'ERMIT