Résultats de recherche

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

Au programme pour tous et toutes 09h00 | Accueil09h30 | Cérémonie d'accueil des nouveaux étudiants11h00 | Célébration de la rentrée à la Cathédrale Saint-Aubain (Place Saint-Aubain - 5000 Namur) puis accueil des étudiants par les Cercles. En savoir plus

BNAIC/BeNeLearn 2025 will be held at the University of Namur under the auspices of the Belgian-Dutch Association for Artificial Intelligence (BNVKI) and the Dutch Research School for Information and Knowledge Systems (SIKS). The conference aims at presenting an overview of state-of-the-art research in artificial intelligence and machine learning in Belgium, The Netherlands, and Luxembourg. More information and registration

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

Professeur en sécurité informatique à l’Université de Namur, Florentin Rochet a fait de la cryptographie appliquée et des communications sécurisées son domaine d’expertise. Entre progression galopante de l’intelligence artificielle et solutions open source, il partage son analyse de la situation actuelle et livre ses perspectives pour l’avenir. 

14 septembre 2026 Au programme pour tous et toutes09h00 | Accueil au Pedro Arrupe (Rue de Bruxelles, 67 - 5000 Namur).11h00 | Célébration de la rentrée à la Cathédrale Saint-Aubain (Place Saint-Aubain - 5000 Namur) puis accueil des étudiants par les Cercles. Cours du jour (date à confirmer) 15 septembrePour les blocs 1 (Local I02)* - Séance accueil08H30 : Présentation du Doyen/Vice-Doyen (Anthony Cleve - Marie-Ange Remiche)09H00 : Présentation du SI (Cédric Aerts)09H20 : Présentation de la coordinatrice pédagogique (Fanny Boraita)09H40 : Présentation de la conseillère académique (Géraldine Grandjean)Pour les étudiants des 60 premiers crédits du bachelier (uniquement les étudiants de primo-arrivants*)10H40 (Local I02) : passeport pour le bac "mathématiques"(Florence Henry)La présence à ces séances est obligatoire.Pour les UES** et nouvel étudiant en Master (Local I33) - Séance accueil14H00 : Présentation du Doyen/Vice-Doyen (Anthony Cleve - Marie-Ange Remiche)14H30 : Présentation du SI (Cédric Aerts)14H50 : Présentation de la coordinatrice pédagogique (Fanny Boraita)15H10 : Présentation de la conseillère académique (Géraldine Grandjean)15H30 : Présentation du CSLabs (Hugo Raskin)(date à confirmer) 16 septembre Pour les blocs 1 (Local I02)*13H00 : Passeport "lire et comprendre un texte universitaire" (Alexandre Libioul)La présence à cette séance est obligatoirePour tous les étudiants : Début des cours (voir horaire)Permanences PAE17/09, 10h40-11h40 pour les NON-primo-arrivants de bloc1 : Configuration PAE (salle académique)17/09, 09h00-10h00 pour les bacheliers de bloc2 et 3: Configuration PAE (salle académique)18/09, 09h00-10h00 pour les masters : Configuration PAE (salle académique)* Étudiants primo-arrivants : Étudiants inscrits pour la première fois à un programme d'études en sciences informatiques à l'UNamur, qu'ils sortent du secondaire, d’une haute école, d'une autre université ou qu’ils soient inscrits en cours à horaire décalé. ** UES : Unités d'enseignement supplémentaires au master (année passerelle) Cours à horaire décalé Bachelier et Master 60(date à confirmer) Samedi 12 septembre - Début des coursPour les étudiants Primo-arrivants (Bloc 1 et UES) :08h30 : Accueil petit déjeuner (café, viennoiseries) dans le hall de la faculté.09h00 : Exposés du Vice-Doyen, Madame Marie-Ange REMICHE, de la conseillère académique, Madame Géraldine GRANDJEAN, du correspondant informatique, Monsieur Cédric AERTS et de la secrétaire, Madame Benjamine LURQUIN. Auditoire I02 (rez-de-chaussée de la Faculté d’Informatique). La présence à cette séance est obligatoire. La présentation de la séance d'accueil sera déposée sur le BVE par la suite.10h00 : Début des cours pour tous les étudiants Master de spécialisation en informatique et innovation : business analysis et gouvernance it Pour les étudiants concernés par les cours prérequis(date à confirmer) Samedi 12 septembre à 9h00, séminaire I22 au 2ème étage de la Faculté.Pour tous les nouveaux étudiantsDébut des cours (dates à confirmer) en octobre à la salle académique au 4e étage de la Faculté d’Informatique, dès 8h30. Et avant la rentrée ? Mettez tous les atouts de votre côté, participez aux cours préparatoires !Les cours préparatoires vous permettent de découvrir l’enseignement universitaire en révisant les matières indispensables à votre future formation.Exclusivement destinés aux élèves qui terminent leurs études en 2026, ces cours préparatoires, programmés entre la mi-août et début septembre, sont adaptés à chaque programme universitaire.En savoir plus sur les horaires des différentes sessions et s'inscrire aux cours préparatoires...  Pour bien vivre votre rentrée à l'Université, participez aux journées d'accueil !Jeudi 10 et vendredi 11 septembre - réservé aux primo-arrivants, gratuit, sur inscriptionVisite de votre Faculté et du campusBarbecue et soirée Vous devez vous inscrire à ces deux activités, même si vous êtes inscrits aux cours préparatoires ! Lien d'inscription : https://www.billetweb.fr/journees-dintegration-unamur-2025. Samedi 12 septembre de 12h à 16h - ouvert à tous - gratuit, accès libreForum des services : présentation des services aux étudiants (sport, culture, engagement, cellule sociale, ...), des kots à projets et des activités organisées sur le campus...