Activités par an
Activités
- 23 résultats
Résultats de recherche
-
A Dataflow Analysis for Comparing and Reordering Predicate Arguments
Gonzague Yernaux (Orateur)
2023Activité: Discours ou présentation › Présentation orale
-
On Detecting Semantic Clones in Constraint Logic Programs
Gonzague Yernaux (Orateur)
2 oct. 2022Activité: Discours ou présentation › Présentation orale
-
Anti-unification of Unordered Goals
Gonzague Yernaux (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?
Isabelle Linden (Orateur)
5 juil. 2021 → 6 juil. 2021Activité: Discours ou présentation › Présentation orale
-
Moulinog: A Generator of Random Student Assignments Written in Prolog
GONZAGUE YERNAUX (Orateur)
8 sept. 2020Activité: Discours ou présentation › Présentation orale
-
Introduire la concurrence en début de secondaire
Cédric Libert (Orateur)
6 févr. 2020Activité: Discours ou présentation › Présentation orale
-
Generalizing Generalization: towards a framework for anti-unification in Logic Programming
Gonzague Yernaux (Orateur)
22 nov. 2019Activité: Discours ou présentation › Présentation orale
-
Teaching concurrency to secondary school students, really ?
Cédric Libert (Orateur)
22 nov. 2019Activité: Discours ou présentation › Présentation orale
-
Generalization-driven semantic clone detection in CLP
Gonzague Yernaux (Orateur) & Wim Vanhoof (Orateur)
9 oct. 2019Activité: Discours ou présentation › Présentation orale
-
Les préconceptions des étudiants sur la concurrence
Cédric Libert (Orateur)
26 août 2019Activité: Discours ou présentation › Présentation orale
-
Analysis of students’ preconceptions of concurrency
Cédric Libert (Orateur)
26 août 2019Activité: Discours ou présentation › Présentation orale
-
NASA Formal Methodos 2019
James Jerson Ortiz Vega (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
Cédric Libert (Orateur) & Fanny Boraita (Orateur)
18 déc. 2018Activité: Discours ou présentation › Présentation orale
-
Retours et analyse d’un dispositif d’évaluation continue en programmation
Cédric Libert (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
Manel Barkallah (Orateur), Jean-Marie Jacquet (Orateur) & Isabelle Linden (Orateur)
23 oct. 2018Activité: Discours ou présentation › Présentation orale
-
Un an d'évaluation continue en introduction à la programmation
Cédric Libert (Orateur)
29 août 2018Activité: Discours ou présentation › Présentation orale
-
International Conference on Quality, Reliability, and Security
James Jerson Ortiz Vega (Orateur)
16 juil. 2018 → 20 juil. 2018Activité: Discours ou présentation › Présentation orale
-
Feature-based Modelling and Automations
Patrick Heymans (Orateur), Pierre-Yves Schobbens (Orateur) & Gilles Perrouin (Orateur)
28 mai 2018Activité: Discours ou présentation › Présentation orale
-
Év(a/o)luons en continu !
Cédric Libert (Orateur)
27 mars 2018Activité: Discours ou présentation › Présentation orale
-
NASA Formal Methods Symposium
James Jerson Ortiz Vega (Orateur)
2017 → …Activité: Discours ou présentation › Présentation orale
-
Informatiesystemen
Wim Vanhoof (Orateur)
14 déc. 2016Activité: Discours ou présentation › Présentation orale
-
Databases en het drie lagen model
Wim Vanhoof (Orateur)
13 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 ?
Cédric Libert (Orateur)
5 juil. 2016Activité: Discours ou présentation › Présentation orale