Research Group on the Foundations of Computer Science

Activities

Activities per year 2011 2014 2016 2018 2019 2023 2024

• 60 Participation in conference
• 25 Participation in workshop, seminar, course
• 23 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

• Women and Girls in Science 2024

  Yernaux, G. (Participant)

  8 Feb 2024

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

• 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

• 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

• 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

• 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

• 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

• 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

• 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

• 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

• 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

• 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

• 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

• Grascomp Doctoral Day

  Barkallah, M. (Participant)

  22 Nov 2019

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

• Grascomp Doctoral Day

  Yernaux, G. (Participant)

  22 Nov 2019

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

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

  Vanhoof, W. (Contributor)

  7 Oct 2019 → 9 Oct 2019

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

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

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

  8 Oct 2019 → 10 Oct 2019

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

• 35th International Conference on Logic Programming

  Yernaux, G. (Participant)

  20 Sept 2019 → 25 Sept 2019

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

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

  Linden, I. (Contributor)

  27 May 2019 → 29 May 2019

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

• Connected and Automated Driving

  Schobbens, P.-Y. (Participant)

  2 Apr 2019 → 3 Apr 2019

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

• Drones Days

  Schobbens, P.-Y. (Participant)

  17 Mar 2019

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

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

  Barkallah, M. (Contributor)

  23 Oct 2018

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

• Rencontres Wallonnes du e-Tourisme

  Linden, I. (Participant)

  12 Sept 2018 → 13 Sept 2018

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

• International Conference on Decision Support System Technology

  Linden, I. (Organiser)

  22 May 2018 → 25 May 2018

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

• IAJBS annual conference

  Linden, I. (Participant)

  16 Jul 2017 → 19 Jul 2017

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

• International Conference on Natural Language & Information Systems

  Linden, I. (Participant)

  21 Jun 2017 → 23 Jun 2017

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

• International Conference on Decision Support System Technology

  Linden, I. (Organiser)

  29 May 2017 → 31 May 2017

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

• 10th IEEE International Conference on Software Testing, Verification and Validation (ICST 2017)

  Devroey, X. (Speaker)

  13 Mar 2017 → 18 Mar 2017

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

• NASA Formal Methods Symposium

  Ortiz Vega, J. J. (Contributor)

  2017 → …

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

• Scade Academic Community Conference

  Ortiz Vega, J. J. (Participant)

  8 Sept 2016 → 9 Sept 2016

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

• Principles and Practice of Declarative Programming

  Vanhoof, W. (Speaker)

  7 Sept 2016

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

• 28th European Conference on Operational Research

  Linden, I. (Organiser)

  3 Jul 2016 → 6 Jul 2016

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

• 28th European Conference on Operational Research

  Linden, I. (Contributor)

  3 Jul 2016 → 6 Jul 2016

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

• 38th International Conference on Software Engineering

  Devroey, X. (Speaker)

  18 May 2016 → 20 May 2016

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

• Didapro 6

  Libert, C. (Contributor)

  27 Jan 2016

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

• 37th International Conference on Software Engineering (ICSE 2015)

  Devroey, X. (Poster)

  20 May 2015 → 22 May 2015

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

• International Conference on Decision Support System Technology

  Linden, I. (Contributor)

  27 May 2015 → 29 May 2015

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

• 9th International Workshop on Variability Modelling of Software-intensive Systems (VaMoS '15)

  Devroey, X. (Speaker)

  21 Jan 2015 → 23 Jan 2015

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

• 22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE '14)

  Devroey, X. (Speaker)

  18 Nov 2014 → 21 Nov 2014

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

• 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation

  Devroey, X. (Speaker)

  8 Oct 2014 → 11 Oct 2014

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

• 18th International Software Product Lines Conference (SPLC'14)

  Devroey, X. (Speaker)

  16 Sept 2014 → 19 Sept 2014

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