Research Group on the Foundations of Computer Science

  • 5000

    Belgium

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.

    Projects

    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 conferencePoster

    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 journalArticle

    Open Access
    File
  • Introduire la concurrence en début de secondaire

    Libert, C. & Vanhoof, W., 2020. 12 p.

    Research output: Contribution to conferencePaper

    Open Access

    Activities

    Introduire la concurrence en début de secondaire

    Cédric Libert (Speaker)

    6 Feb 2020

    Activity: Talk or presentation typesOral presentation

    Journées Francophones Extraction et Gestion des Connaissances

    Etienne Cuvelier (Organiser), , Isabelle Linden (Organiser), , Christian Colot (Organiser), & Monique FRAITURE (Organiser)

    27 Jan 202031 Jan 2020

    Activity: Participating in or organising an event typesParticipation 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 typesParticipation in workshop, seminar, course

    Prizes

    IBM Belgium Prijs informatica

    VANHOOF, Wim (Recipient), 1996

    Prize: National/international honour

    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

  • 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., 1996

    Supervisor: Jacquet, J. (Supervisor)

    Student thesis: Master typesMaster 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 2019

    Supervisor: Jacquet, J. (Supervisor)

    Student thesis: Master typesMaster in Computer science

    File

    Automatic Test Generation for Data-driven Applications

    Author: Marcozzi, M., 24 Oct 2014

    Supervisor: 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 typesDoctor of Sciences