Research Group on the Foundations of Computer Science

  • 5000

    Belgium

Activities 2011 2019

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

Generalization-driven semantic clone detection in CLP

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

Activity: Talk or presentation typesOral presentation

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

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

Drones Days

Pierre-Yves Schobbens (Participant)
17 Mar 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

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

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

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

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

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

12th International Workshop on Mutation Analysis (Mutation 2017)

Xavier Devroey (Contributor)
13 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

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

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

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

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

38th International Conference on Software Engineering

Xavier Devroey (Speaker)
18 May 201620 May 2016

Activity: Participating in or organising an event typesParticipation in conference

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

Formal Aspects of Computing (Journal)

Wim Vanhoof (Peer reviewer)
1 Apr 20161 Jun 2016

Activity: Publication peer-review and editorial work typesPublication peer-review

Clone detection in logic programs: awards a semantical approach

Wim Vanhoof (Speaker)
28 Jan 2016

Activity: Talk or presentation typesInvited talk

Didapro 6

Cédric Libert (Contributor)
27 Jan 2016

Activity: Participating in or organising an event typesParticipation in conference