Service de Logique mathématique

Le Service de Logique Mathématique de l'Université de Mons a été fondé en 1973 par Maurice Boffa (1939–2001), qui en fût le directeur de 1973 jusqu'à son décès. Le service est désormais dirigé par Christian Michaux et Françoise Point.

Les recherches du service sont centrées d'une part sur la théorie des modèles et ses applications, principalement à l'algèbre et d'autre part sur certains aspects de la calculabilité.

Les cours assurés par le service concernent les mathématiques élémentaires et l'algèbre en BAC 1 et divers cours de logique mathématique à partir de BAC 2. Le service est également en charge de la gestion de l'agrégation et de la finalité didactique du master en sciences mathématiques.

Ce service fait partie du Département de Mathématique.