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

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

  Wim Vanhoof (Member)

  10 Sept 2014 → 11 Sept 2014

  Activity: Membership types › Membership of committee

• 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 Sept 2018

  Activity: Membership types › Membership of committee