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
- London Mathematical Society Northern Regional Meeting and Workshop on Homogeneous Structures , Leeds, 19-22 juillet 2011.
- Deuxième conférence internationale et atelier en théorie des valuations , Segovia, 18-30 juillet 2011.
- Algebra, Combinatorics and Model Theory , Istanbul, 22-26 août 2011.
- Ecole d'automne en logique et complexité , Université Charles, Prague, 19-23 septembre 2011.
- Théorie des modèles des groupes (interactions entre théorie des modèles et théorie géométrique des groupes) , CIRM, Luminy, 21-25 novembre 2011.
Activités plus anciennes (archives).
- De mars à juin 2011 un semestre thématique est organisé à Lyon dans le cadre du réseau MALOA .
-
Le projet ANR MODIG recrute un postdoc en théorie des modèles;
Archives des actualités.
Post-doctorants
Visiteurs
Doctorants
- Mohammed Belkasmi (bureau 111b; tel 04 72 43 11 89)
(Directeur: T. Altinel)
- Jean Berthet (bureau 111a; tel 04 72 43 16 89)
(Directeur: I. Ben Yaacov))
- Dogan Bilge (Directeurs: E. Jaligot et J. Melleray)
- Artem Chernikov (bureau 111b; tel 04 72 43 11 89)
(Directeur: I. Ben Yaacov)
- Simon Iosti (bureau 111a; tel 04 72 43 16 89)
(Directeur: T. Altinel)
-
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
L'équipe de Logique de Lyon I fait partie du réseau de formation
MALOA (responsable local: I. Ben Yaacov)
Dans ce cadre, un semestre thématique est organisé à Lyon de mars à juin 2011.
Cette équipe a été une composante :
|
