Les thématiques actuellement développées sont la théorie des modèles;
la complexité algébrique et la théorie descriptive des ensembles, avec
des interactions en théorie
(géométrique) des groupes, géométrie algébrique, et géométrie/analyse
réelle.
Le thème a de nombreuses interactions avec les thèmes géométrie et
algèbre, et un peu avec l'analyse et la combinatoire.
Le groupe a de bonnes relations avec les informaticiens du
LIP à l'ENS Lyon.
[Activités]
[Actualités]
[Membres][Enseignements]
Annonces
-
Atelier anglo-belge en Théorie des Modèles et Applications, Mons, Belgique, 2-3 décembre 2009.
- Théorie des Modèles: Autour des corps valués et les théories dépendantes,
Oberwolfach, Allemagne, 3-9 janvier 2010.
- Atelier de théorie des ensembles, ISLA 20010,
Hyderabad, India, 25-29 janvier 2010.
- Théorie des Modèles,
Kirishima, Japon, 1-5 mars 2010.
- Théorie des Modèles,
DaeJeon, Corée du Sud, 19-22 mai 2010.
Activités plus anciennes (archives).
- Azadeh Neman a soutenu sa thèse "Propriétés combinatoires et modèle-théoriques des groupes"
(dir: E. Jaligot) le 7 juillet 2009.
- Paul Baginski a obtenu une bourse NSF pour un postdoctorat de deux ans à Lyon à partir de septembre 2009.
-
Les
projets ANR blanc MODIG (membres locaux: Ben Yaacov, Blossier,
Martin-Pizarro, Wagner; en collaboration avec Paris 7 et Paris 11) et
AGORA (membre local: Melleray; en collaboration avec l'ENS Lyon,
Paris 6 et Rennes) commencent tous deux en septembre 2009 pour une durée de
trois ans.
Archives des actualités.
Post-doctorants
- Javier Moreno (bureau 109 c; tel 04 72 44 62 00) @
- Janak Ramakrishnan (bureau 109 c; tel 04 72 44 62 00) @
- Paul Baginski (bureau 115)
Visiteurs
- Jeff Burdges nous visitera trois mois sur un poste de CR invité (semestre d'automne 2009).
Doctorants
- Ricardo de Aldama Sánchez (bureau 105; tel 04 72 44 79 41)
@
(Directeur: F. Wagner)
- Mohammed Belkasmi (bureau 111b; tel 04 72 43 11 89)
@
(Directeur: T. Altinel)
- Claudel Berthet (bureau 111a; tel 04 72 43 16 89)
@
(Directeur: I. Ben-Yaacov))
- Dogan Bilge (bureau 109b; tel 04 72 .43.13.86) @ (Directeur:s: E. Jaligot et J. Melleray)
- Simon Iosti (bureau 111a; tel 04 72 43 16 89)
@
(Directeur: T. Altinel)
- Cédric Milliet (bureau 111b; tel 04 72 43 11 89)
@
(Directeur: F. Wagner)
-
Olivier Roche (Université Fribourg /All.)
@
(Directeurs: F. Wagner; M.
Ziegler, Université Fribourg / All.)
- Daniele A.G. Vallino (Turin/It.) @ (Directeurs: A. Ould Houcine, D. Zambella, Turin/It.)
Anciens membres et visiteurs.
Enseignements- L'Equipe a aussi bien sûr un rôle de formation, en particulier en Master 1 et 2 et au niveau doctoral. Cliquer ici pour plus de renseignements sur l'enseignement de la Logique à l'ICJ.
Rattachements
Ce thème a été une composante
Par aillleurs l'équipe de Logique de Lyon I fera partie du futur réseau de formation
MALOA.
|
