The Deparment of Mathematical Logic has also a research unit on Mathematical Education
Research Subjects
Model theory of algebraic structures (groups, rings, fields...)
Identities in Groups
Decidability Problems in Modules
Büchi's Method (automata and decidability problems in Arithmetic)
Blum-Shub-Smale Machines
Hybrid Systems
International Collaborations with
Equipe
de Logique Mathématique de Paris 7
IGD
Logique de Lyon1
Ecole Normale
Supérieure de Lyon
Participation to European Research Programs (past and present)
INTAS-01-447, Weak Arithmetics (local
coordinator: V. Bruyère)
ESPRIT-Working Group 8556 and 27150, NeuroCOLT
(local coordinator: C. Michaux)
ESPRIT-BRA Working Group 6317, ASMICS (local
coordinator: V. Bruyère)
INTAS-94-2412, Algebraic and logic models for
computer science and applications (local coordinator: M. Boffa)
ERB-CHRX-CT93-0093 Capital Humain et
Mobilité, Model Theory and Applications (local cordinator: M. Boffa)
National Collaborations with
Unité
de Logique Mathématique de l'ULB
CNRL
Retour à la page de garde / Back to the homepage This page is maintained by Christian Michaux