Activités par an
Activités
- 24 résultats
Résultats de recherche
-
Optimizing Bipartite Matching with Interleaved and Injective Mappings: Implementing and Evaluating the k-swap Heuristic
Yernaux, G. (Orateur)
juil. 2025Activité: Discours ou présentation › Présentation orale
-
A Dataflow Analysis for Comparing and Reordering Predicate Arguments
Yernaux, G. (Orateur)
2023Activité: Discours ou présentation › Présentation orale
-
On Detecting Semantic Clones in Constraint Logic Programs
Yernaux, G. (Orateur)
2 oct. 2022Activité: Discours ou présentation › Présentation orale
-
Anti-unification of Unordered Goals
Yernaux, G. (Orateur)
18 févr. 2022Activité: Discours ou présentation › Présentation orale
-
Multiplying forms of recognition of student 'work' in times of pandemic: group word support as a source of resilience?
Linden, I. (Orateur)
5 juil. 2021 → 6 juil. 2021Activité: Discours ou présentation › Présentation orale
-
Moulinog: A Generator of Random Student Assignments Written in Prolog
YERNAUX, G. (Orateur)
8 sept. 2020Activité: Discours ou présentation › Présentation orale
-
Introduire la concurrence en début de secondaire
Libert, C. (Orateur)
6 févr. 2020Activité: Discours ou présentation › Présentation orale
-
Generalizing Generalization: towards a framework for anti-unification in Logic Programming
Yernaux, G. (Orateur)
22 nov. 2019Activité: Discours ou présentation › Présentation orale
-
Teaching concurrency to secondary school students, really ?
Libert, C. (Orateur)
22 nov. 2019Activité: Discours ou présentation › Présentation orale
-
Generalization-driven semantic clone detection in CLP
Yernaux, G. (Orateur) & Vanhoof, W. (Orateur)
9 oct. 2019Activité: Discours ou présentation › Présentation orale
-
Analysis of students’ preconceptions of concurrency
Libert, C. (Orateur)
26 août 2019Activité: Discours ou présentation › Présentation orale
-
Les préconceptions des étudiants sur la concurrence
Libert, C. (Orateur)
26 août 2019Activité: Discours ou présentation › Présentation orale
-
NASA Formal Methodos 2019
Ortiz Vega, J. J. (Orateur)
7 mai 2019 → 9 mai 2019Activité: Discours ou présentation › Présentation orale
-
l’utilisation du portfolio dans deux cours organisés dans la faculté d’informatique
Libert, C. (Orateur) & Boraita, F. (Orateur)
18 déc. 2018Activité: Discours ou présentation › Présentation orale
-
Retours et analyse d’un dispositif d’évaluation continue en programmation
Libert, C. (Orateur)
26 nov. 2018Activité: Discours ou présentation › Présentation orale
-
Symbolic Reasoning in Artificial Intelligence Allows for the Development of `Correct-by-Construction' Systems
Barkallah, M. (Orateur), Jacquet, J.-M. (Orateur) & Linden, I. (Orateur)
23 oct. 2018Activité: Discours ou présentation › Présentation orale
-
Un an d'évaluation continue en introduction à la programmation
Libert, C. (Orateur)
29 août 2018Activité: Discours ou présentation › Présentation orale
-
International Conference on Quality, Reliability, and Security
Ortiz Vega, J. J. (Orateur)
16 juil. 2018 → 20 juil. 2018Activité: Discours ou présentation › Présentation orale
-
Feature-based Modelling and Automations
Heymans, P. (Orateur), Schobbens, P.-Y. (Orateur) & Perrouin, G. (Orateur)
28 mai 2018Activité: Discours ou présentation › Présentation orale
-
Év(a/o)luons en continu !
Libert, C. (Orateur)
27 mars 2018Activité: Discours ou présentation › Présentation orale
-
NASA Formal Methods Symposium
Ortiz Vega, J. J. (Orateur)
2017 → …Activité: Discours ou présentation › Présentation orale
-
Databases en het drie lagen model
Vanhoof, W. (Orateur)
13 déc. 2016Activité: Discours ou présentation › Présentation orale
-
Informatiesystemen
Vanhoof, W. (Orateur)
14 déc. 2016Activité: Discours ou présentation › Présentation orale
-
Micro-mondes et passage de messages: vers une nouvelle façon d'aborder la programmation ?
Libert, C. (Orateur)
5 juil. 2016Activité: Discours ou présentation › Présentation orale