CoordiNam

Liaison Entreprises et Universités
University of Namur
Faculty of Computer Science
CoordiNam

Coordination, Models, Verification, Intelligent Systems, Enterprise Information Systems,
Business Intelligence
Questions ?
Laurent Galas
Valorisateur TIC - Community Manager chez
UNamur
 +32-081725339
 [email protected]
Laboratory contact details
Laboratory Head
General Contact
Professor Jacquet Jean-Marie
 Rue de Bruxelles,
61
5000 Namur
Belgique
 +32-81725001
 [email protected]
Main study areas and research topics
Based on the paradigm of coordinating program fragments to build smart systems, the research conducted in the
CoordiNam laboratory concerns the development of so-called coordination languages and models, declarative
programming (in particular inductive, logic and constraint programming), programming methodologies, formal methods, tool
supports as well as their applications in the context of industrial applications.
The laboratory offers as major domain of competences: Coordination, Models, Formal Methods and Verification
Last Research Project
ExpeSurf : Support to multiprocessing surface engineering using an expert system
SEPlanS : Expert System for Wealth and Estate Planning
BEM : Business Event Manager. Dynamic management of exceptions in logistics business processes.
Industrial application fields
Planning and optimization software.
Enterprise Information Systems in domains such as logistics and health care planning.
More information about the Universities & Higher Education Institutions expertise on www.reseaulieu.be
Page 1 / 2
Liaison Entreprises et Universités
Technologies offers description
Intelligent Systems
Decision Support Systems
Business Intelligence
Services proposal
Knowledge, Decision and Business Process Modeling
Development of intelligent decision support systems
Related Lab'Insight Event
Transport et Logistique en milieu urbain
Organisé le lundi 9 décembre 2013 à l'Université de Mons
Ce rendez-vous Lab'InSight a été l'occasion pour les entreprises du secteur logistique de rencontrer des experts
universitaires et d'initier de nouvelles collaborations.
More information about the Universities & Higher Education Institutions expertise on www.reseaulieu.be
Page 2 / 2