Activities per year
Activities
- 23 results
Search results
-
A Dataflow Analysis for Comparing and Reordering Predicate Arguments
Yernaux, G. (Speaker)
2023Activity: Talk or presentation types › Oral presentation
-
On Detecting Semantic Clones in Constraint Logic Programs
Yernaux, G. (Speaker)
2 Oct 2022Activity: Talk or presentation types › Oral presentation
-
Anti-unification of Unordered Goals
Yernaux, G. (Speaker)
18 Feb 2022Activity: Talk or presentation types › Oral presentation
-
Multiplying forms of recognition of student 'work' in times of pandemic: group word support as a source of resilience?
Linden, I. (Speaker)
5 Jul 2021 → 6 Jul 2021Activity: Talk or presentation types › Oral presentation
-
Moulinog: A Generator of Random Student Assignments Written in Prolog
YERNAUX, G. (Speaker)
8 Sept 2020Activity: Talk or presentation types › Oral presentation
-
Introduire la concurrence en début de secondaire
Libert, C. (Speaker)
6 Feb 2020Activity: Talk or presentation types › Oral presentation
-
Teaching concurrency to secondary school students, really ?
Libert, C. (Speaker)
22 Nov 2019Activity: Talk or presentation types › Oral presentation
-
Generalizing Generalization: towards a framework for anti-unification in Logic Programming
Yernaux, G. (Speaker)
22 Nov 2019Activity: Talk or presentation types › Oral presentation
-
Generalization-driven semantic clone detection in CLP
Yernaux, G. (Speaker) & Vanhoof, W. (Speaker)
9 Oct 2019Activity: Talk or presentation types › Oral presentation
-
Les préconceptions des étudiants sur la concurrence
Libert, C. (Speaker)
26 Aug 2019Activity: Talk or presentation types › Oral presentation
-
Analysis of students’ preconceptions of concurrency
Libert, C. (Speaker)
26 Aug 2019Activity: Talk or presentation types › Oral presentation
-
NASA Formal Methodos 2019
Ortiz Vega, J. J. (Speaker)
7 May 2019 → 9 May 2019Activity: Talk or presentation types › Oral presentation
-
l’utilisation du portfolio dans deux cours organisés dans la faculté d’informatique
Libert, C. (Speaker) & Boraita, F. (Speaker)
18 Dec 2018Activity: Talk or presentation types › Oral presentation
-
Retours et analyse d’un dispositif d’évaluation continue en programmation
Libert, C. (Speaker)
26 Nov 2018Activity: Talk or presentation types › Oral presentation
-
Symbolic Reasoning in Artificial Intelligence Allows for the Development of `Correct-by-Construction' Systems
Barkallah, M. (Speaker), Jacquet, J.-M. (Speaker) & Linden, I. (Speaker)
23 Oct 2018Activity: Talk or presentation types › Oral presentation
-
Un an d'évaluation continue en introduction à la programmation
Libert, C. (Speaker)
29 Aug 2018Activity: Talk or presentation types › Oral presentation
-
International Conference on Quality, Reliability, and Security
Ortiz Vega, J. J. (Speaker)
16 Jul 2018 → 20 Jul 2018Activity: Talk or presentation types › Oral presentation
-
Feature-based Modelling and Automations
Heymans, P. (Speaker), Schobbens, P.-Y. (Speaker) & Perrouin, G. (Speaker)
28 May 2018Activity: Talk or presentation types › Oral presentation
-
Év(a/o)luons en continu !
Libert, C. (Speaker)
27 Mar 2018Activity: Talk or presentation types › Oral presentation
-
NASA Formal Methods Symposium
Ortiz Vega, J. J. (Speaker)
2017 → …Activity: Talk or presentation types › Oral presentation
-
Databases en het drie lagen model
Vanhoof, W. (Speaker)
13 Dec 2016Activity: Talk or presentation types › Oral presentation
-
Informatiesystemen
Vanhoof, W. (Speaker)
14 Dec 2016Activity: Talk or presentation types › Oral presentation
-
Micro-mondes et passage de messages: vers une nouvelle façon d'aborder la programmation ?
Libert, C. (Speaker)
5 Jul 2016Activity: Talk or presentation types › Oral presentation