Research Group on the Foundations of Computer Science

  • 5000

    Belgium

Activities 2011 2019

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

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

Wim Vanhoof (Speaker)
8 Oct 2019

Activity: Talk or presentation typesInvited talk

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

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

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

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

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

Rencontres Wallonnes du e-Tourisme

Isabelle Linden (Participant)
12 Sep 201813 Sep 2018

Activity: Participating in or organising an event typesParticipation in conference

PReCISE Research on Variability-intensive Systems

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

Activity: Talk or presentation typesInvited talk

PReCISE Research on Variability-intensive Systems

Gilles Perrouin (Speaker), Pierre-Yves Schobbens (Speaker)
26 Jul 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

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

Feature-based Modelling and Automations

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

Activity: Talk or presentation typesOral presentation

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

É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

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

Testing Variability-intensive Systems

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

Activity: Talk or presentation typesInvited talk

IAJBS annual conference

Isabelle Linden (Participant)
16 Jul 201719 Jul 2017

Activity: Participating in or organising an event typesParticipation in conference

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

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 Decision Support System Technology

Isabelle Linden (Organiser)
29 May 201731 May 2017

Activity: Participating in or organising an event typesParticipation in conference

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

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

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

Databases en het drie lagen model

Wim Vanhoof (Speaker)
13 Dec 2016

Activity: Talk or presentation typesOral presentation

Informatiesystemen

Wim Vanhoof (Speaker)
14 Dec 2016

Activity: Talk or presentation typesOral presentation

Université de la Réunion

Wim Vanhoof (Visiting researcher)
20 Nov 201625 Nov 2016

Activity: Visiting an external institution typesVisiting an external academic institution

Scade Academic Community Conference

James Jerson Ortiz Vega (Participant)
8 Sep 20169 Sep 2016

Activity: Participating in or organising an event typesParticipation in conference

Principles and Practice of Declarative Programming

Wim Vanhoof (Speaker)
7 Sep 2016

Activity: Participating in or organising an event typesParticipation in conference

28th European Conference on Operational Research

Isabelle Linden (Organiser)
3 Jul 20166 Jul 2016

Activity: Participating in or organising an event typesParticipation in conference

28th European Conference on Operational Research

Isabelle Linden (Contributor)
3 Jul 20166 Jul 2016

Activity: Participating in or organising an event typesParticipation in conference

The International Symposium on Software Testing and Analysis (ISSTA'16)

Xavier Devroey (Participant)
18 Jul 201620 Jul 2016

Activity: Participating in or organising an event typesParticipation in conference

Micro-mondes et passage de messages: vers une nouvelle façon d'aborder la programmation ?

Cédric Libert (Speaker)
5 Jul 2016

Activity: Talk or presentation typesOral presentation

9th International Workshop on Search-Based Software Testing

Xavier Devroey (Participant)
16 May 201617 May 2016

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

38th International Conference on Software Engineering

Xavier Devroey (Speaker)
18 May 201620 May 2016

Activity: Participating in or organising an event typesParticipation in conference