Research Group on the Foundations of Computer Science

  • 5000

    Belgium

Activities 2011 2020

Journées Francophones Extraction et Gestion des Connaissances

Etienne Cuvelier (Organiser), Isabelle Linden (Organiser), Christian Colot (Organiser), Monique Noirhomme (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

Grascomp Doctoral Day

Manel Barkallah (Participant)
22 Nov 2019

Activity: Participating in or organising an event typesParticipation in conference

Federal University of Pernambuco

Isabelle Linden (Visiting researcher)
4 Nov 201929 Nov 2019

Activity: Visiting an external institution typesResearch/Teaching in a external institution

Generalizing Generalization: towards a framework for anti-unification in Logic Programming

Gonzague Yernaux (Speaker)
22 Nov 2019

Activity: Talk or presentation typesOral presentation

Grascomp Doctoral Day

Gonzague Yernaux (Participant)
22 Nov 2019

Activity: Participating in or organising an event typesParticipation in conference

Vie privée, liberté d'expression et démocratie dans la société du numérique - Espoirs ou menaces ? Transparences et opacités

Manel Barkallah (Participant)
28 Nov 2019

Activity: Participating in or organising an event typesParticipation to a Symposium, a study Day

On an old (and possibly still unsolved?) problem in program specialization

Wim Vanhoof (Speaker)
8 Oct 2019

Activity: Talk or presentation typesInvited talk

Business Intelligence et Modélisation Conceptuelle de Datawarehouses

Isabelle Linden (Speaker)
24 Oct 2019

Activity: Talk or presentation typesInvited talk

Generalization-driven semantic clone detection in CLP

Gonzague Yernaux (Speaker), Wim Vanhoof (Speaker)
9 Oct 2019

Activity: Talk or presentation typesOral presentation

29th International Symposium on Logic-Based Program Synthesis and Transformation

Gonzague Yernaux (Participant), Wim Vanhoof (Participant)
8 Oct 201910 Oct 2019

Activity: Participating in or organising an event typesParticipation in conference

29th International Symposium on Logic-Based Program Synthesis and Transformation

Wim Vanhoof (Contributor)
7 Oct 20199 Oct 2019

Activity: Participating in or organising an event typesParticipation in conference

IRIT Institut de Recherche Informatique

Isabelle Linden (Visiting researcher)
29 Sep 20194 Oct 2019

Activity: Visiting an external institution typesResearch/Teaching in a external institution

35th International Conference on Logic Programming

Gonzague Yernaux (Participant)
20 Sep 201925 Sep 2019

Activity: Participating in or organising an event typesParticipation in conference

Les préconceptions des étudiants sur la concurrence

Cédric Libert (Speaker)
26 Aug 2019

Activity: Talk or presentation typesOral presentation

EURO Mini Conference & EWG-DSS – 5th International Conference on Decision Support System Technology

Isabelle Linden (Contributor)
27 May 201929 May 2019

Activity: Participating in or organising an event typesParticipation in conference

NASA Formal Methodos 2019

James Jerson Ortiz Vega (Speaker)
7 May 20199 May 2019

Activity: Talk or presentation typesOral presentation

Connected and Automated Driving

Pierre-Yves Schobbens (Participant)
2 Apr 20193 Apr 2019

Activity: Participating in or organising an event typesParticipation in conference

Forum Recherches en transition

Pierre-Yves Schobbens (Participant)
18 Mar 2019

Activity: Participating in or organising an event typesParticipation to a Symposium, a study Day

Agora Transition Now

Pierre-Yves Schobbens (Participant)
25 Mar 2019

Activity: Participating in or organising an event typesParticipation to a Symposium, a study Day

Midi du CRIDS : relations internationales

Pierre-Yves Schobbens (Participant)
12 Mar 2019

Activity: Participating in or organising an event typesParticipation in workshop, seminar, course

Vivre la Ville : (dé)construire la Smart city

Pierre-Yves Schobbens (Participant), Claire Lobet-Maris (Organiser), Anthony Simonofski (Organiser), Benoît Vanderose (Speaker), Yves Poullet (Speaker), Bruno Dumas (Contributor)
28 Mar 2019

Activity: Participating in or organising an event typesParticipation to a Symposium, a study Day

Drones Days

Pierre-Yves Schobbens (Participant)
17 Mar 2019

Activity: Participating in or organising an event typesParticipation in conference

NaDI - l'Intelligence Artificielle : enjeux et défis.

Isabelle Linden (Participant)
23 Oct 2018

Activity: Participating in or organising an event typesParticipation to a Symposium, a study Day

NaDI - l'Intelligence Artificielle : enjeux et défis.

Manel Barkallah (Contributor)
23 Oct 2018

Activity: Participating in or organising an event typesParticipation in conference

Rencontres Wallonnes du e-Tourisme

Isabelle Linden (Participant)
12 Sep 201813 Sep 2018

Activity: Participating in or organising an event typesParticipation in conference

1st International Workshop on Machine Learning and Software Engineering in Symbiosis (Event)

Gilles Perrouin (Chair), Xavier Devroey (Chair), Maxime Cordy (Chair), Mathieu Acher (Chair)
3 Sep 2018

Activity: Membership typesMembership of committee

Ecole de formation interdisciplinaire pour doctorants 2018: Les couleurs

Isabelle Linden (Participant)
5 Sep 20187 Sep 2018

Activity: Participating in or organising an event typesParticipation in workshop, seminar, course

PReCISE Research on Variability-intensive Systems

Gilles Perrouin (Speaker), Pierre-Yves Schobbens (Speaker)
3 Aug 2018

Activity: Talk or presentation typesInvited talk

International Conference on Quality, Reliability, and Security

James Jerson Ortiz Vega (Speaker)
16 Jul 201820 Jul 2018

Activity: Talk or presentation typesOral presentation

PReCISE Research on Variability-intensive Systems

Gilles Perrouin (Speaker), Pierre-Yves Schobbens (Speaker)
26 Jul 2018

Activity: Talk or presentation typesInvited talk

Chaire IBM

Isabelle Linden (Contributor), Christian Colot (Contributor), Thomas Tombal (Contributor), Jean-Marc Van Gyseghem (Contributor)
25 Jun 201826 Jun 2018

Activity: Participating in or organising an event typesParticipation to a Symposium, a study Day

International Conference on Decision Support System Technology

Isabelle Linden (Organiser)
22 May 201825 May 2018

Activity: Participating in or organising an event typesParticipation in conference

Midi du Crids - Knowledge Modelling and Extraction in DSS

Isabelle Linden (Contributor)
15 May 2018

Activity: Participating in or organising an event typesParticipation in workshop, seminar, course

Feature-based Modelling and Automations

Patrick Heymans (Speaker), Pierre-Yves Schobbens (Speaker), Gilles Perrouin (Speaker)
28 May 2018

Activity: Talk or presentation typesOral presentation

Év(a/o)luons en continu !

Cédric Libert (Speaker)
27 Mar 2018

Activity: Talk or presentation typesOral presentation

Journée d'études sur le Transmédia

Isabelle Linden (Contributor)
6 Nov 2017

Activity: Participating in or organising an event typesParticipation to a Symposium, a study Day

Testing Variability-intensive Systems

Gilles Perrouin (Speaker), Xavier Devroey (Speaker), Maxime Cordy (Speaker)
26 Sep 2017

Activity: Talk or presentation typesInvited talk

21st International Systems and Software Product Line Conference (SPLC '17)

Xavier Devroey (Contributor)
26 Sep 201729 Sep 2017

Activity: Participating in or organising an event typesParticipation in conference

IAJBS annual conference

Isabelle Linden (Participant)
16 Jul 201719 Jul 2017

Activity: Participating in or organising an event typesParticipation in conference

PAAMS 2017

Cédric Libert (Contributor)
21 Jun 201723 Jun 2017

Activity: Participating in or organising an event typesParticipation in workshop, seminar, course

International Conference on Natural Language & Information Systems

Isabelle Linden (Participant)
21 Jun 201723 Jun 2017

Activity: Participating in or organising an event typesParticipation in conference

International Conference on Decision Support System Technology

Isabelle Linden (Organiser)
29 May 201731 May 2017

Activity: Participating in or organising an event typesParticipation in conference

13th Workshop on Advances in Model Based Testing (A-MOST '17)

Xavier Devroey (Member of Organizing Committee)
17 Mar 2017

Activity: Participating in or organising an event typesParticipation in workshop, seminar, course

10th IEEE International Conference on Software Testing, Verification and Validation (ICST 2017)

Xavier Devroey (Contributor)
13 Mar 201718 Mar 2017

Activity: Participating in or organising an event typesParticipation in conference

12th International Workshop on Mutation Analysis (Mutation 2017)

Xavier Devroey (Contributor)
13 Mar 2017

Activity: Participating in or organising an event typesParticipation in conference

11th International Workshop on Variability Modelling of Software-intensive Systems

Xavier Devroey (Contributor)
1 Feb 20173 Feb 2017

Activity: Participating in or organising an event typesParticipation in conference

NASA Formal Methods Symposium

James Jerson Ortiz Vega (Contributor)
2017 → …

Activity: Participating in or organising an event typesParticipation in conference

NASA Formal Methods Symposium

James Jerson Ortiz Vega (Speaker)
2017 → …

Activity: Talk or presentation typesOral presentation