Research Group on the Foundations of Computer Science

Activities

Activities per year 2011 2014 2016 2018 2019 2023 2025

• 61 Participation in conference
• 25 Participation in workshop, seminar, course
• 24 Oral presentation
• 17 Participation to a Symposium, a study Day
• 22 More
  • 6 Invited talk
  • 3 Involvement in school activities
  • 3 Research/Teaching in a external institution
  • 2 Project follow-up meeting
  • 2 Publication peer-review
  • 2 Membership of committee
  • 2 Visiting an external academic institution
  • 1 Festival/Exhibition
  • 1 Editorial activity

Activities per year

Search results

• The 2025 International Conference on Advances in Computing Research

  Yernaux, G. (Participant)

  7 Jul 2025 → 9 Jul 2025

  Activity: Participating in or organising an event types › Participation in conference

• Optimizing Bipartite Matching with Interleaved and Injective Mappings: Implementing and Evaluating the k-swap Heuristic

  Yernaux, G. (Speaker)

  Jul 2025

  Activity: Talk or presentation types › Oral presentation

• Women and Girls in Science 2024

  Yernaux, G. (Participant)

  8 Feb 2024

  Activity: Participating in or organising an event types › Participation in conference

• 2023 Cyberwal in Galaxia

  Schobbens, P. Y. (Contributor)

  4 Dec 2023 → 7 Dec 2023

  Activity: Participating in or organising an event types › Involvement in school activities

• ARIAC Winter Team Building Meeting

  Schobbens, P. Y. (Contributor)

  5 Dec 2023

  Activity: Participating in or organising an event types › Participation in workshop, seminar, course

• 2023 Cyberwal in Galaxia

  Schobbens, P. Y. (Participant), JACQUET, J.-M. (Participant), Dejaeghere, J. (Participant), Elkoulak, H. (Participant), Nguyen, G. (Participant), Ouardi, D. (Participant) & Poeng, K. (Participant)

  4 Dec 2023 → 8 Dec 2023

  Activity: Participating in or organising an event types › Involvement in school activities

• CyberExcellence: Journée des chercheurs

  Nguyen, G. (Speaker), Poeng, K. (Speaker), Ouardi, D. (Speaker), Devroey, X. (Participant), Barkallah, M. (Participant), Schobbens, P. Y. (Participant) & JACQUET, J.-M. (Participant)

  24 Nov 2023

  Activity: Participating in or organising an event types › Project follow-up meeting

• Journée de séminaire des groupes de travail LVP et MTV2 du GdR GPL du CNRS

  Schobbens, P. Y. (Contributor)

  16 Nov 2023 → 17 Nov 2023

  Activity: Participating in or organising an event types › Participation in workshop, seminar, course

• The 22nd IEEE/WIC International Conference on Web Intelligence and Intelligent Agent Technology

  Yernaux, G. (Participant)

  26 Oct 2023 → 29 Oct 2023

  Activity: Participating in or organising an event types › Participation in conference

• 33rd International Symposium on Logic-based Program Synthesis and Transformation

  Yernaux, G. (Participant)

  23 Oct 2023 → 24 Oct 2023

  Activity: Participating in or organising an event types › Participation in conference

• SPLASH

  Schobbens, P. Y. (Contributor)

  26 Oct 2023

  Activity: Participating in or organising an event types › Participation in conference

• ​CONCUR​​FMICS​​FORMATS​​QEST​

  Schobbens, P. Y. (Contributor)

  18 Sept 2023 → 22 Sept 2023

  Activity: Participating in or organising an event types › Participation in conference

• 38th IEEE/ACM International Conference on Automated Software Engineering

  Schobbens, P. Y. (Contributor)

  13 Sept 2023 → 14 Sept 2023

  Activity: Participating in or organising an event types › Participation in conference

• 39th International Conference on Logic Programming (ICLP 2023)

  Yernaux, G. (Participant)

  9 Jul 2023 → 15 Jul 2023

  Activity: Participating in or organising an event types › Participation in conference

• CyberExcellence: Deuxième journée des chercheurs

  Nguyen, G. (Contributor), Dejaeghere, J. (Participant), Elkoulak, H. (Participant), JACQUET, J.-M. (Participant), Knockaert, M. (Participant) & Ouardi, D. (Participant)

  6 Apr 2023

  Activity: Participating in or organising an event types › Project follow-up meeting

• A Dataflow Analysis for Comparing and Reordering Predicate Arguments

  Yernaux, G. (Speaker)

  2023

  Activity: Talk or presentation types › Oral presentation

• 2022 Cyberwal in Galaxia

  Schobbens, P. Y. (Contributor)

  12 Dec 2022 → 16 Dec 2022

  Activity: Participating in or organising an event types › Involvement in school activities

• 2022 IEEE 16th International Workshop on Software Clones

  Yernaux, G. (Participant)

  2 Oct 2022

  Activity: Participating in or organising an event types › Participation in workshop, seminar, course

• On Detecting Semantic Clones in Constraint Logic Programs

  Yernaux, G. (Speaker)

  2 Oct 2022

  Activity: Talk or presentation types › Oral presentation

• 11th Conference on Data Science, Technology and Applications

  Linden, I. (Contributor)

  11 Jul 2022 → 13 Jul 2022

  Activity: Participating in or organising an event types › Participation in conference

• 8th International Conference on Decision support System Technology

  Linden, I. (Contributor)

  23 May 2022 → 26 May 2022

  Activity: Participating in or organising an event types › Participation in conference

• 33eme Conférence internationale francophone sur l'Interaction Humain-Machine

  Linden, I. (Participant)

  5 Apr 2022 → 8 Apr 2022

  Activity: Participating in or organising an event types › Participation in conference

• Anti-unification of Unordered Goals

  Yernaux, G. (Speaker)

  18 Feb 2022

  Activity: Talk or presentation types › Oral presentation

• Computer Science Logic 2022

  Yernaux, G. (Participant) & VANHOOF, W. (Participant)

  14 Feb 2022 → 19 Feb 2022

  Activity: Participating in or organising an event types › Participation in conference

• 16th International Working Conference on Variability Modelling of Software-Intensive Systems

  DEVROEY, X. (Member of Organizing Committee) & Arcaini, P. (Member of Organizing Committee)

  23 Feb 2022 → 25 Feb 2022

  Activity: Participating in or organising an event types › Participation in conference

• Time to Reshape the Digital Society - 40 ans du CRIDS : The directive on whistleblowers to the test of the digital society : Between hope and desillusion

  Linden, I. (Participant)

  18 Nov 2021 → 19 Nov 2021

  Activity: Participating in or organising an event types › Participation to a Symposium, a study Day

• 13th Symposium on Search-Based Software Engineering. SSBSE 2021.

  DEVROEY, X. (Member of Organizing Committee) & O’Reilly, U.-M. (Member of Organizing Committee)

  11 Oct 2021 → 15 Oct 2021

  Activity: Participating in or organising an event types › Participation in conference

• Logic-based Program Synthesis and Transformation (LOPSTR) 2021

  VANHOOF, W. (Co-chairman)

  7 Sept 2021

  Activity: Participating in or organising an event types › Participation in conference

• 25th ACM International Systems and Software Product Line Conference (SPLC ‘21)

  DEVROEY, X. (Member of Organizing Committee) & Rojas Siles, J. M. (Member of Organizing Committee)

  6 Sept 2021 → 11 Sept 2021

  Activity: Participating in or organising an event types › Participation in conference

• 37th IEEE International Conference on Software Maintenance and Evolution (ICSME '21)

  DEVROEY, X. (Member of Organizing Committee) & Constantinou, E. (Member of Organizing Committee)

  27 Sept 2021 → 1 Oct 2021

  Activity: Participating in or organising an event types › Participation in conference

• 13th International Conference on Education and New Learning Technologies

  Linden, I. (Contributor)

  5 Jul 2021 → 6 Jul 2021

  Activity: Participating in or organising an event types › Participation in conference

• Multiplying forms of recognition of student 'work' in times of pandemic: group word support as a source of resilience?

  Linden, I. (Speaker)

  5 Jul 2021 → 6 Jul 2021

  Activity: Talk or presentation types › Oral presentation

• 2021 36th Annual Symposium on Logic in Computer Science

  Yernaux, G. (Participant)

  29 Jun 2021 → 2 Jul 2021

  Activity: Participating in or organising an event types › Participation in conference

• 14th Researching and Applying Metaphor Conference

  Linden, I. (Contributor)

  23 Jun 2021 → 26 Jun 2021

  Activity: Participating in or organising an event types › Participation in conference

• 2nd ACM SIGSOFT International Workshop on Education through Advanced Software Engineering and Artificial Intelligence, EASEAI 2020, co-located with ESEC/FSE 2020

  Vanderose, B. (Organiser), HENRY, J. (Organiser), FRENAY, B. (Organiser) & DEVROEY, X. (Organiser)

  9 Nov 2020

  Activity: Participating in or organising an event types › Participation in workshop, seminar, course

• Moulinog: A Generator of Random Student Assignments Written in Prolog

  YERNAUX, G. (Speaker)

  8 Sept 2020

  Activity: Talk or presentation types › Oral presentation

• 22nd International Symposium on Principles and Practice of Declarative Programming

  YERNAUX, G. (Participant), SCHUMACHER, L. (Participant) & VANHOOF, W. (Participant)

  8 Sept 2020 → 10 Sept 2020

  Activity: Participating in or organising an event types › Participation in conference

• 8th JUnit Testing Tool Competition

  DEVROEY, X. (Organiser), Panichella, S. (Organiser) & Gambi, A. (Organiser)

  2 Jul 2020

  Activity: Participating in or organising an event types › Participation in workshop, seminar, course

• International Conference on Decision Support System Technology :

  Linden, I. (Organiser)

  27 May 2020 → 29 May 2020

  Activity: Participating in or organising an event types › Participation in conference

• Introduire la concurrence en début de secondaire

  Libert, C. (Speaker)

  6 Feb 2020

  Activity: Talk or presentation types › Oral presentation

• Journées Francophones Extraction et Gestion des Connaissances

  Cuvelier, E. (Organiser), Linden, I. (Organiser), Colot, C. (Organiser) & Fraiture, M. (Organiser)

  27 Jan 2020 → 31 Jan 2020

  Activity: Participating in or organising an event types › Participation in conference

• FOCUS Research Seminar

  Vanhoof, W. (Organiser), Jacquet, J.-M. (Organiser), Barkallah, M. (Member of Organizing Committee), Yernaux, G. (Member of Organizing Committee), Schobbens, P.-Y. (Member of Organizing Committee), Ortiz Vega, J. J. (Member of Organizing Committee), Amrani, M. (Member of Organizing Committee), Linden, I. (Member of Organizing Committee) & Colot, C. (Member of Organizing Committee)

  6 Dec 2019

  Activity: Participating in or organising an event types › Participation in workshop, seminar, course

• Federal University of Pernambuco

  Linden, I. (Visiting researcher)

  4 Nov 2019 → 29 Nov 2019

  Activity: Visiting an external institution types › Research/Teaching in a external institution

• Teaching concurrency to secondary school students, really ?

  Libert, C. (Speaker)

  22 Nov 2019

  Activity: Talk or presentation types › Oral presentation

• Grascomp Doctoral Day

  Barkallah, M. (Participant)

  22 Nov 2019

  Activity: Participating in or organising an event types › Participation in conference

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

  Yernaux, G. (Speaker)

  22 Nov 2019

  Activity: Talk or presentation types › Oral presentation

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

  Barkallah, M. (Participant)

  28 Nov 2019

  Activity: Participating in or organising an event types › Participation to a Symposium, a study Day

• Grascomp Doctoral Day

  Yernaux, G. (Participant)

  22 Nov 2019

  Activity: Participating in or organising an event types › Participation in conference

• Business Intelligence et Modélisation Conceptuelle de Datawarehouses

  Linden, I. (Speaker)

  24 Oct 2019

  Activity: Talk or presentation types › Invited talk

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

  Vanhoof, W. (Speaker)

  8 Oct 2019

  Activity: Talk or presentation types › Invited talk