Éduquer au numérique par la fiction : l’initiative interdisciplinaire du NaDI
Le Namur Digital Institute (NaDI) lance un cycle de rendez-vous originaux : « Les Séances du Numérique ». Des films suivis de débats avec des experts et expertes pour comprendre les défis du numérique et stimuler la réflexion collective. Un projet porté par Anthony Simonofski, Anne-Sophie Collard, Benoît Vanderose et Fanny Barnabé.
Voir le contenu
Défense de thèse de doctorat en informatique - Gonzague Yernaux
Abstract
Detecting semantic code clones in logic programs is a longstanding challenge, due to the lack of a unified definition of semantic similarity and the diversity of syntactic expressions that can represent similar behaviours. This thesis introduces a formal and flexible framework for semantic clone detection based on Constrained Horn Clauses (CHC). The approach considers two predicates as semantic clones if they can be independently transformed, via semantics-preserving program transformations, into a common third predicate. At the core of the method lies anti-unification, a process that computes the most specific generalisation of two predicates by identifying their shared structural patterns. The framework is parametric in regard with the allowed program transformations, the notion of generality, and the so-called quality estimators that steer the anti-unification process.
Jury
Prof. Wim Vanhoof - University of Namur, BelgiumProf. Katrien Beuls - University of Namur, BelgiumProf. Jean-Marie Jacquet - University of Namur, BelgiumProf. Temur Kutsia - Johannes Kepler University, AustriaProf. Frédéric Mesnard - University of the Reunion, Reunion IslandProf. Paul Van Eecke - Free University of Brussels, Belgium
Voir le contenu
Défense de thèse de doctorat en informatique - Sacha Corbugy
Abstract
In recent decades, the volume of data generated worldwide has grown exponentially, significantly accelerating advancements in machine learning. This explosion of data has led to an increased need for effective data exploration techniques, giving rise to a specialized field known as dimensionality reduction. Dimensionality reduction methods are used to transform high-dimensional data into a low-dimensional space (typically 2D or 3D), so that it can be easily visualized and understood by humans. Algorithms such as Principal Component Analysis (PCA), Multidimensional Scaling (MDS), and t-distributed Stochastic Neighbor Embedding (t-SNE) have become essential tools for visualizing complex datasets. These techniques play a critical role in exploratory data analysis and in interpreting complex models like Convolutional Neural Networks (CNNs). Despite their widespread adoption, dimensionality reduction techniques, particularly non-linear ones, often lack interpretability. This opacity makes it difficult for users to understand the meaning of the visualizations or the rationale behind specific low-dimensional representations. In contrast, the field of supervised machine learning has seen significant progress in explainable AI (XAI), which aims to clarify model decisions, especially in high-stakes scenarios. While many post-hoc explanation tools have been developed to interpret the outputs of supervised models, there is still a notable gap in methods for explaining the results of dimensionality reduction techniques. This research investigates how post-hoc explanation techniques can be integrated into dimensionality reduction algorithms to improve user understanding of the resulting visualizations. Specifically, it explores how interpretability methods originally developed for supervised learning can be adapted to explain the behavior of non-linear dimensionality reduction algorithms. Additionally, this work examines whether the integration of post-hoc explanations can enhance the overall effectiveness of data exploration. As these tools are intended for end-users, we also design and evaluate an interactive system that incorporates explanatory mechanisms. We argue that combining interpretability with interactivity significantly improves users' understanding of embeddings produced by non-linear dimensionality reduction techniques. In this research, we propose enhancements to an existing post-hoc explanation method that adapts LIME for t-SNE. We introduce a globally-local framework for fast and scalable explanations of t-SNE embeddings. Furthermore, we present a completely new approach that adapts saliency map-based explanations to locally interpret non-linear dimensionality reduction results. Lastly, we introduce our interactive tool, Insight-SNE, which integrates our gradient-based explanation method and enables users to explore low-dimensional embeddings through direct interaction with the explanations.
Jury
Prof. Wim Vanhoof - University of Namur, BelgiumProf. Benoit Frénay - University of Namur, BelgiumProf. Bruno Dumas - University of Namur, BelgiumProf. John Lee - University of Louvain, BelgiumProf. Luis Galarraga - University of Rennes, France
Voir le contenu
Les séances du numérique | L'IA a-t-elle une conscience ?
Programme : 17h : Accueil & présentation du film17h15 : Projection du film Ex machina19h05 : Débat « L’IA a-t-elle une conscience ? » (avec Isabelle Linden & Benoît Frenay)19h45 : finDeux experts prendront part au débat : Benoît Frenay qui apportera un éclairage sur les logiques d’apprentissage des intelligences artificielles actuelles et les limites de leur « autonomie ». Peut-on vraiment parler d’intelligence sans conscience ? Jusqu’où peut aller l’imitation ?Isabelle Linden qui interrogera les fondements mêmes de ce que nous appelons « penser » dans une logique informatique. Peut-on créer une machine consciente ? Ou ne sommes-nous que face à des miroirs de nos propres désirs ?
S'inscrire
Voir le contenu
L'Idéodrome - Seriez-vous capable de transformer vos travaux et compétences en une expérience ludique et accessible ?
Chercheur·euses, doctorant·es, artistes, designers, enseignant·es, créatif·ves de tous horizons : c’est une occasion unique de faire sortir vos idées du cadre habituel pour les faire vivre autrement. Objectif de cette première édition : concevoir ensemble une chasse au trésor ludo-pédagogique à Namur, autour de la thématique de la désinformation, destinée aux jeunes de 15 à 18 ans.En pratiqueQuand ? les 1, 2 et/ou 3 juin 2026 (9h–16h), participation flexible (quelques heures, une demi-journée, une journée ou 3 jours)Où ? Le TRAKK à NamurLunch offert par le NADI + café/thé à volonté dans une ambiance collaborativeTout est prévu pour expérimenter, tester, créerInscription : gratuite, mais envoyez un mail à digifactory.asbl@gmail.comUn moment pour croiser les disciplines, sortir des silos…et inventer d’autres manières de raconter, de transmettre et de partager.NB: Pour les doctorant·es, la participation est valorisable dans le parcours doctoral (crédits de formation).OrganisateursJulie Henry, Fanny Boraita, Fanny Barnabé, Benoît Vanderose, Xavier Devroey, Maxime Verbesselt
Voir le contenu
Une démarche pédagogique innovante au service de la qualité logicielle
Une initiative pédagogique originale a été menée à l’Université de Namur durant l’année académique 2024‑2025 dans le cadre du cours Test et Qualité logicielle du master en informatique, orientation software engineering. Cette démarche a conduit à la publication du SNAIL Report 2025, un véritable baromètre des pratiques de développement logiciel en Fédération Wallonie‑Bruxelles.
Voir le contenu
Projet NHNAI : quand la démocratie rencontre l’intelligence artificielle
Progressivement, des technologies de plus en plus sophistiquées envahissent nos sphères d’activités sans que nous ayons préalablement été consultés en tant que citoyens. Les nouveaux outils numériques, intelligences artificielles ou technologies issues des progrès en neurosciences, qui transforment nos rapports identitaires et sociaux, ne devraient-ils pas faire l’objet de vastes débats démocratiques suffisamment informés ? Cette question est au cœur du projet de «recherche-action» international «Un nouvel humanisme au temps des neurosciences et de l’intelligence artificielle» auquel participe l’UNamur.
Voir le contenu
Deux prestigieuses Chaires Francqui internationales en avril 2023
A partir du 17 avril 2023, deux prestigieuses Chaires Francqui internationales auront lieu à l’UNamur. Le Professeur Timoteo Carletti (Département de mathématiques - Institut naXys) accueille la Professeure Ginestra Bianconi, une des principales expertes en matière de réseaux et de structures d'ordre élevé. Le Professeur Romain Houssa (Faculté de sciences économiques, sociales et de gestion – Institut DeFiPP) accueille quant à lui le Professeur Karel Mertens, expert en macroéconomie.
Voir le contenu
Visite prestigieuse du Prof. Jean-Luc Brédas
Le 9 juin 2023, les Instituts NISM et naXys, les Départements de physique et de chimie ainsi que le Namur Research College ont eu le plaisir d’accueillir le Prof. Jean-Luc Brédas de l’Université d’Arizona. Orateur prestigieux à la renommée internationale, le Prof. Brédas a réalisé sa thèse de doctorat avec le Prof. Jean-Marie André à l’UNamur.
Voir le contenu
Le satellite européen Euclid s'élance le 1er juillet pour cartographier les galaxies : l’UNamur impliquée dans la mission
Le satellite européen Euclid sera propulsé dans l'espace samedi 1er juillet à 17h11 depuis Cap Canaveral, aux États-Unis. Ce télescope devra permettre une cartographie plus précise de milliards de galaxies sur environ douze milliards d'années-lumière. Une équipe de scientifiques et ingénieurs belges de l'UCLouvain, l'ULB, de l’ULg, de l’UNamur et de l’Université de Gand, ainsi que du Centre Spatial de Liège (CSL) ont participé à ce projet de dix ans, réunissant plus de 3.500 personnes venues de 21 pays.
Voir le contenu
Un environnement de recherche de qualité grâce au NARC
Chaque début d’année académique, le Conseil d’administration octroie un statut de « Fellow NARC » à des chercheurs faisant preuve d’un CV de recherche de haut niveau, ayant reçu récemment un prix ou un financement prestigieux. Retour sur le fellowship du Professeur Frederik De Laender.
Voir le contenu
Des chercheurs de l’UNamur publiés dans Communications Physics
Les réseaux sont fondamentaux dans la modélisation des systèmes complexes, systèmes composés par un nombre incroyablement grand de parties en interaction entre elles. Les applications sont nombreuses, que ce soit dans les neurosciences, l'épidémiologie, mais aussi dans l’informatique et l'ingénierie. Une collaboration entre l'Université de Catania (Italie) et l’Université de Namur, guidée par le Professeur Timoteo Carletti du Département de mathématique (Institut naXys), a développé un nouveau formalisme qui permet la modélisation des systèmes où plusieurs parties interagissent en même temps (multi-body) et de façon asymétrique. Cette recherche a été publiée dans la prestigieuse revue Communication Physics, du groupe Nature.
Voir le contenu