Research Group on the Foundations of Computer Sciences

  • 5000

    Belgique

Activités

Moulinog: A Generator of Random Student Assignments Written in Prolog

GONZAGUE YERNAUX (Orateur)

8 sept. 2020

Activité: Types de discours ou de présentationPrésentation orale

22nd International Symposium on Principles and Practice of Declarative Programming

GONZAGUE YERNAUX (Participant), , LAURENT SCHUMACHER (Participant), & Wim VANHOOF (Participant)

8 sept. 202010 sept. 2020

Activité: Types de Participation ou d'organisation d'un événementParticipation à une conférence, un congrès

International Conference on Decision Support System Technology :

Isabelle LINDEN (Organisateur)

27 mai 202029 mai 2020

Activité: Types de Participation ou d'organisation d'un événementParticipation à une conférence, un congrès

Introduire la concurrence en début de secondaire

Cédric Libert (Orateur)

6 févr. 2020

Activité: Types de discours ou de présentationPrésentation orale

Journées Francophones Extraction et Gestion des Connaissances

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

27 janv. 202031 janv. 2020

Activité: Types de Participation ou d'organisation d'un événementParticipation à une conférence, un congrès

FOCUS Research Seminar

Wim Vanhoof (Organisateur), , Jean-Marie Jacquet (Organisateur), , Manel Barkallah (Membre du Comité d'Organisation), , Gonzague Yernaux (Membre du Comité d'Organisation), , Pierre-Yves Schobbens (Membre du Comité d'Organisation), , James Jerson Ortiz Vega (Membre du Comité d'Organisation), , Moussa Amrani (Membre du Comité d'Organisation), , Isabelle Linden (Membre du Comité d'Organisation), & Christian Colot (Membre du Comité d'Organisation)

6 déc. 2019

Activité: Types de Participation ou d'organisation d'un événementParticipation à un atelier/workshop, un séminaire, un cours

Grascomp Doctoral Day

Manel Barkallah (Participant)

22 nov. 2019

Activité: Types de Participation ou d'organisation d'un événementParticipation à une conférence, un congrès

Teaching concurrency to secondary school students, really ?

Cédric Libert (Orateur)

22 nov. 2019

Activité: Types de discours ou de présentationPrésentation orale

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

Gonzague Yernaux (Orateur)

22 nov. 2019

Activité: Types de discours ou de présentationPrésentation orale

Federal University of Pernambuco

Isabelle Linden (Chercheur visiteur)

4 nov. 201929 nov. 2019

Activité: Types de Visite d'une organisation externeRecherche/Enseignement dans une institution externe

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

Activité: Types de Participation ou d'organisation d'un événementParticipation à un Colloque, une journée d'étude

Grascomp Doctoral Day

Gonzague Yernaux (Participant)

22 nov. 2019

Activité: Types de Participation ou d'organisation d'un événementParticipation à une conférence, un congrès

Business Intelligence et Modélisation Conceptuelle de Datawarehouses

Isabelle Linden (Orateur)

24 oct. 2019

Activité: Types de discours ou de présentationDiscours invité

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

Wim Vanhoof (Orateur)

8 oct. 2019

Activité: Types de discours ou de présentationDiscours invité

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

Gonzague Yernaux (Participant), & Wim Vanhoof (Participant)

8 oct. 201910 oct. 2019

Activité: Types de Participation ou d'organisation d'un événementParticipation à une conférence, un congrès

Generalization-driven semantic clone detection in CLP

Gonzague Yernaux (Orateur), & Wim Vanhoof (Orateur)

9 oct. 2019

Activité: Types de discours ou de présentationPrésentation orale

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

Wim Vanhoof (Orateur)

7 oct. 20199 oct. 2019

Activité: Types de Participation ou d'organisation d'un événementParticipation à une conférence, un congrès

IRIT Institut de Recherche Informatique

Isabelle Linden (Chercheur visiteur)

29 sept. 20194 oct. 2019

Activité: Types de Visite d'une organisation externeRecherche/Enseignement dans une institution externe

35th International Conference on Logic Programming (ICLP 2019)

Gonzague Yernaux (Participant)

20 sept. 201925 sept. 2019

Activité: Types de Participation ou d'organisation d'un événementParticipation à une conférence, un congrès

Les préconceptions des étudiants sur la concurrence

Cédric Libert (Orateur)

26 août 2019

Activité: Types de discours ou de présentationPrésentation orale

Analysis of students’ preconceptions of concurrency

Cédric Libert (Orateur)

26 août 2019

Activité: Types de discours ou de présentationPrésentation orale

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

Isabelle Linden (Orateur)

27 mai 201929 mai 2019

Activité: Types de Participation ou d'organisation d'un événementParticipation à une conférence, un congrès

NASA Formal Methodos 2019

James Jerson Ortiz Vega (Orateur)

7 mai 20199 mai 2019

Activité: Types de discours ou de présentationPrésentation orale

Connected and Automated Driving

Pierre-Yves Schobbens (Participant)

2 avr. 20193 avr. 2019

Activité: Types de Participation ou d'organisation d'un événementParticipation à une conférence, un congrès

Drones Days

Pierre-Yves Schobbens (Participant)

17 mars 2019

Activité: Types de Participation ou d'organisation d'un événementParticipation à une conférence, un congrès

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

Pierre-Yves Schobbens (Participant), , Claire Lobet-Maris (Organisateur), , Anthony Simonofski (Organisateur), , Benoît Vanderose (Conférencier), , Yves Poullet (Conférencier), & Bruno Dumas (Orateur)

28 mars 2019

Activité: Types de Participation ou d'organisation d'un événementParticipation à un Colloque, une journée d'étude

Midi du CRIDS : relations internationales

Pierre-Yves Schobbens (Participant)

12 mars 2019

Activité: Types de Participation ou d'organisation d'un événementParticipation à un atelier/workshop, un séminaire, un cours

Agora Transition Now

Pierre-Yves Schobbens (Participant)

25 mars 2019

Activité: Types de Participation ou d'organisation d'un événementParticipation à un Colloque, une journée d'étude

Forum Recherches en transition

Pierre-Yves Schobbens (Participant)

18 mars 2019

Activité: Types de Participation ou d'organisation d'un événementParticipation à un Colloque, une journée d'étude

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

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

18 déc. 2018

Activité: Types de discours ou de présentationPrésentation orale

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

Cédric Libert (Orateur)

26 nov. 2018

Activité: Types de discours ou de présentationPrésentation orale

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

Isabelle Linden (Participant)

23 oct. 2018

Activité: Types de Participation ou d'organisation d'un événementParticipation à un Colloque, une journée d'étude

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

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

23 oct. 2018

Activité: Types de discours ou de présentationPrésentation orale

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

Manel Barkallah (Orateur)

23 oct. 2018

Activité: Types de Participation ou d'organisation d'un événementParticipation à une conférence, un congrès

1st International Workshop on Machine Learning and Software Engineering in Symbiosis (Evénement)

Gilles Perrouin (Président), , Xavier Devroey (Président), , Maxime Cordy (Président), & Mathieu Acher (Président)

3 sept. 2018

Activité: Types de MembreMembre d'un comité

Rencontres Wallonnes du e-Tourisme

Isabelle Linden (Participant)

12 sept. 201813 sept. 2018

Activité: Types de Participation ou d'organisation d'un événementParticipation à une conférence, un congrès

Ecole de formation interdisciplinaire pour doctorants 2018: Les couleurs

Isabelle Linden (Participant)

5 sept. 20187 sept. 2018

Activité: Types de Participation ou d'organisation d'un événementParticipation à un atelier/workshop, un séminaire, un cours

PReCISE Research on Variability-intensive Systems

Gilles Perrouin (Orateur), & Pierre-Yves Schobbens (Orateur)

3 août 2018

Activité: Types de discours ou de présentationDiscours invité

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

Cédric Libert (Orateur)

29 août 2018

Activité: Types de discours ou de présentationPrésentation orale

International Conference on Quality, Reliability, and Security

James Jerson Ortiz Vega (Orateur)

16 juil. 201820 juil. 2018

Activité: Types de discours ou de présentationPrésentation orale

PReCISE Research on Variability-intensive Systems

Gilles Perrouin (Orateur), & Pierre-Yves Schobbens (Orateur)

26 juil. 2018

Activité: Types de discours ou de présentationDiscours invité

Chaire IBM

Isabelle Linden (Orateur), , Christian Colot (Orateur), , Thomas Tombal (Orateur), & Jean-Marc Van Gyseghem (Orateur)

25 juin 201826 juin 2018

Activité: Types de Participation ou d'organisation d'un événementParticipation à un Colloque, une journée d'étude

Feature-based Modelling and Automations

Patrick Heymans (Orateur), , Pierre-Yves Schobbens (Orateur), & Gilles Perrouin (Orateur)

28 mai 2018

Activité: Types de discours ou de présentationPrésentation orale

International Conference on Decision Support System Technology

Isabelle Linden (Organisateur)

22 mai 201825 mai 2018

Activité: Types de Participation ou d'organisation d'un événementParticipation à une conférence, un congrès

Midi du Crids - Knowledge Modelling and Extraction in DSS

Isabelle Linden (Orateur)

15 mai 2018

Activité: Types de Participation ou d'organisation d'un événementParticipation à un atelier/workshop, un séminaire, un cours

Év(a/o)luons en continu !

Cédric Libert (Orateur)

27 mars 2018

Activité: Types de discours ou de présentationPrésentation orale

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

Isabelle Linden (Orateur)

6 nov. 2017

Activité: Types de Participation ou d'organisation d'un événementParticipation à un Colloque, une journée d'étude

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

Xavier Devroey (Orateur)

26 sept. 201729 sept. 2017

Activité: Types de Participation ou d'organisation d'un événementParticipation à une conférence, un congrès

Testing Variability-intensive Systems

Gilles Perrouin (Orateur), , Xavier Devroey (Orateur), & Maxime Cordy (Orateur)

26 sept. 2017

Activité: Types de discours ou de présentationDiscours invité

IAJBS annual conference

Isabelle Linden (Participant)

16 juil. 201719 juil. 2017

Activité: Types de Participation ou d'organisation d'un événementParticipation à une conférence, un congrès