Service d'Informatique théorique
Le Service d'Informatique Théorique fait partie du Département d'Informatique de la Faculté des Sciences de l'UMONS ainsi que des deux instituts de recherche : InforTech et Complexys.
Le Service d'Informatique Théorique participe aux activités d'enseignement (structures de données, compilation, calculabilité) et de recherche (principalement en vérification et synthèse assistée par ordinateur).