Projects per year
Fingerprint Dive into the research topics where Research Group on the Foundations of Computer Science is active. These topic labels come from the works of this organisation's members. Together they form a unique fingerprint.
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Profiles
Projects
VeriLearn: Verifying Learning Artificial Intelligence Systems
HEYMANS, P., FRENAY, B., SCHOBBENS, P., TEMPLE, P., Nanfack, G., AMRANI, M. & BIBAL, A.
1/01/18 → 31/12/21
Project: Research
Research Output
An SMT-Based Concolic Testing Tool for Logic Programs
Fortz, S., Mesnard, F., Payet, E., PERROUIN, GILLES., VANHOOF, W. & Vidal, G., 31 Jan 2020, (Accepted/In press).Research output: Contribution to conference › Poster
Generalization-Driven Semantic Clone Detection in CLP
Yernaux, G. & Vanhoof, W., 21 Apr 2020, In : Lecture Notes in Computer Science. 12042, p. 228-242 15 p.Research output: Contribution to journal › Article
Open Access
File
Introduire la concurrence en début de secondaire
Libert, C. & Vanhoof, W., 2020. 12 p.Research output: Contribution to conference › Paper
Open Access
Activities
Introduire la concurrence en début de secondaire
Cédric Libert (Speaker)
6 Feb 2020
Activity: Talk or presentation types › Oral presentation
Journées Francophones Extraction et Gestion des Connaissances
Etienne Cuvelier (Organiser), , Isabelle Linden (Organiser), , Christian Colot (Organiser), & Monique FRAITURE (Organiser)
27 Jan 2020 → 31 Jan 2020
Activity: Participating in or organising an event types › Participation in conference
FOCUS Research Seminar
Wim Vanhoof (Organiser), , Jean-Marie Jacquet (Organiser), , Manel Barkallah (Member of Organizing Committee), , Gonzague Yernaux (Member of Organizing Committee), , Pierre-Yves Schobbens (Member of Organizing Committee), , James Jerson Ortiz Vega (Member of Organizing Committee), , Moussa Amrani (Member of Organizing Committee), , Isabelle Linden (Member of Organizing Committee), & Christian Colot (Member of Organizing Committee)
6 Dec 2019
Activity: Participating in or organising an event types › Participation in workshop, seminar, course
Prizes
Most Influential Paper Award
SCHOBBENS, PIERRE-YVES (Recipient), HEYMANS, Patrick (Recipient), Jean-Christophe Trigaux (Recipient) & Yves Bontemps (Recipient), 15 Sep 2016
Prize: National/international honour
Press / Media
17th IFIP international conference on coordination models and languages (COORDINATION 2015)
19/01/15
1 item of Media coverage
Press/Media: Expert Comment
6th international workshop on formal methods and analysis in spl engineering (FMSPLE 2015)
Maxime Cordy & Patrick Heymans
20/10/14
1 item of Media coverage
Press/Media: Expert Comment
10th international IFIP workshop on semantic web and web semantics (SWWS 2014)
14/06/14
1 item of Media coverage
Press/Media: Expert Comment
Datasets
JHipster v3.6.1 dataset
DEVROEY, X. (Creator), Halin, A. (Creator), Nuttinck, A. (Creator), Acher, M. (Contributor) & PERROUIN, G. (Contributor), Zenodo, 26 Apr 2020
Dataset
Student theses
A Blackboard Approach to Concurrent Constraint Programming
Author: Pires da Costa, J. M., 1996Supervisor: Jacquet, J. (Supervisor)
Student thesis: Master types › Master in Computer science
File
Applications de la programmation déclarative au problème de planification des visites médicales des Services de Promotion de la Santé à l'Ecole
Author: Rwanyindo, C., 22 Jun 2019Supervisor: Jacquet, J. (Supervisor)
Student thesis: Master types › Master in Computer science
File
Automatic Test Generation for Data-driven Applications
Author: Marcozzi, M., 24 Oct 2014Supervisor: Vanhoof, W. (Supervisor), Habra, N. (Jury), Hainaut, J. (Jury), Englebert, V. (Jury), WIJSEN, J. (External person) (Jury) & Serebrenik, A. (External person) (Jury)
Student thesis: Doc types › Doctor of Sciences