Research Group on the Foundations of Computer Science

  • 5000

    Belgium

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

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

Gonzague Yernaux (Speaker)

22 Nov 2019

Activity: Talk or presentation typesOral presentation

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

Grascomp Doctoral Day

Manel Barkallah (Participant)

22 Nov 2019

Activity: Participating in or organising an event typesParticipation in conference

Grascomp Doctoral Day

Gonzague Yernaux (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

Teaching concurrency to secondary school students, really ?

Cédric Libert (Speaker)

22 Nov 2019

Activity: Talk or presentation typesOral presentation

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

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

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

Wim Vanhoof (Speaker)

8 Oct 2019

Activity: Talk or presentation typesInvited talk

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

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

Analysis of students’ preconceptions of concurrency

Cédric Libert (Speaker)

26 Aug 2019

Activity: Talk or presentation typesOral presentation

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

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

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

l’utilisation du portfolio dans deux cours organisés dans la faculté d’informatique

Cédric Libert (Speaker), & Fanny Boraita (Speaker)

18 Dec 2018

Activity: Talk or presentation typesOral presentation

Retours et analyse d’un dispositif d’évaluation continue en programmation

Cédric Libert (Speaker)

26 Nov 2018

Activity: Talk or presentation typesOral presentation

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

Manel Barkallah (Contributor)

23 Oct 2018

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

Symbolic Reasoning in Artificial Intelligence Allows for the Development of `Correct-by-Construction' Systems

Manel Barkallah (Speaker), , Jean-Marie Jacquet (Speaker), & Isabelle Linden (Speaker)

23 Oct 2018

Activity: Talk or presentation typesOral presentation

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

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

Rencontres Wallonnes du e-Tourisme

Isabelle Linden (Participant)

12 Sep 201813 Sep 2018

Activity: Participating in or organising an event typesParticipation in conference

Un an d'évaluation continue en introduction à la programmation

Cédric Libert (Speaker)

29 Aug 2018

Activity: Talk or presentation typesOral presentation

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

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

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

É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

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