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

Bienvenue à la 1ʳᵉ conférence MG-ERC Cette conférence, en lien avec les thématiques de recherche du département de chimie, a pour objectif de rassembler une centaine de chercheurs travaillant dans les domaines de la chimie des hétéroatomes, de la chimie de coordination, de la catalyse, et de la chimie inorganique. Elle présente une réelle nouveauté en Belgique en termes des domaines couverts, et va permettre aux participants de découvrir des nouveaux concepts, idées et tendances dans ces domaines de recherche récents en chimie. Voici la liste des conférenciers, qui sont des experts mondiaux dans leurs domainesDr. Daniël Broere (Utrecht University, Netherlands)Prof. Agnieszka Nowak-Król (Universität Würzburg, Germany)Dr. Antoine Simonneau (Université Paul-Sabatier, Toulouse, France)Prof. Dr. Sebastian Riedel (Freie Universität, Berlin, Germany)Dr. Arnaud Voituriez (Université Paris-Saclay, France)Prof. Dr. Alessandro Bismuto (Universität Bonn, Germany)Dr. Christian Hering-Junghans (Leibniz-Institut für Katalyse, Germany)Prof. Connie Lu (Universität Bonn, Germany)Prof. Simon Aldridge (University of Oxford, UK)Dr. Ghenwa Bouhadir (Université Paul-Sabatier, Toulouse, France)Prof. Dr. Viktoria Däschlein-Gessner (Ruhr-University of Bochum, Germany)    Dr. Jennifer A. Garden (University of Edinburgh, UK)Prof. Muriel Hissler (Université de Rennes, France)Prof. Jean-François Paquin (Université de Laval, Canada) Plus d’informations et inscription

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

Every two years, the International Symposium on Marek's Disease and Avian Herpesviruses (MDAH) brings together researchers from around the world to exchange the latest insights on poultry viral diseases — covering their biology, evolution, control strategies, and epidemiology. Attendees include PhD students, postdocs and researchers representing academia, government, and commercial organizations from North and South America, Europe, Asia, the Middle East, Australia, and Africa.DeadlinesOpening of abstract submissions and registrations: 20.11.2025Deadline for abstract submissions: 20.01.2026Early bird registration deadline: 01.03.2026Pre-reserved hotel rooms for symposium participants until: 01.03.2026 More information on the MDAH2026 website

Deadlines Opening of abstract submissions and registrations: 15 September 2025Deadline to submit indicative title and summary: 30 November 2025Deadline for final abstract submissions: 01 May 2026Early bird registration deadline: 01 March 2026 More information on the website

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

Cet événement sera l’occasion pour les étudiants, chercheurs et représentants des industries, d'explorer l'évolution de la microscopie électronique, d'approfondir leur compréhension des techniques d'analyse avancées et de participer à des démonstrations en direct dans un environnement de recherche réel.Programme détaillé09h00 | Accueil avec café et viennoiseries09h30 | Ouverture et présentation de la journée10h30 | Conférence avec Emanuel Katzmann - Présentation : TEM / CRYO TEM.11h30 | Conférence avec Yamaguchi-san - Présentation : imagerie SEM, préparation d'échantillons CP et FIB.12h30 | Pause déjeuner13h30 | Conférence avec Rick Verberne - Présentation : méthodes analytiques en microscopie électronique (EDS, EDS sans fenêtre, WDS, SXES, EBSD)14h30 | Découverte de la plateforme de microscopie électronique - Présentation générale avant la visite guidée du laboratoire avec J.-F. Colomer14h45 | Session pratique -MEB de paillasse JEOL JCM-7000.Découvrez à quel point l'imagerie MEB de haute qualité peut être accessible et intuitive.Au cours de cette session, nous vous présenterons :• Les types d'échantillons adaptés et les consignes simples de préparation• Comment choisir le mode d'observation optimal (SE, BSE, basse pression, etc.)• L'utilisation pratique des détecteurs et des fonctions d'imagerie de l'instrument• Analyse d'échantillons en direct — n'hésitez pas à apporter vos propres échantillons (veuillez nous informer à l'avance des échantillons que vous prévoyez d'apporter).16h45 | Séances de clôture et questions-réponsesL'événement comprend également une visite guidée du laboratoire, suivie d'un verre et de collations pour conclure.Les participants pourront échanger avec les spécialistes de JEOL et la plateforme de microscopie électronique lors de sessions pratiques et d'opportunités de réseautage.L'événement offre 1 crédit ECTS aux chercheurs doctorants et un certificat de participation sur demande.Inscription gratuite - nombre de places limité. Je m'inscris Télécharger le programme