Research Group on the Foundations of Computer Sciences

Activités

Activités par an 2011 2014 2016 2018 2019 2023 2025

• 62 Participation à une conférence, un congrès
• 28 Participation à un atelier/workshop, un séminaire, un cours
• 24 Présentation orale
• 17 Participation à un Colloque, une journée d'étude
• 23 Afficher plus d’informations
  • 6 Discours invité
  • 3 Interventions dans des écoles
  • 3 Recherche/Enseignement dans une institution externe
  • 2 Réunion de suivi de projet
  • 2 Examen en tant que pair de publications
  • 2 Membre d'un comité
  • 2 Visite à une institution académique externe
  • 1 Festival/Exposition
  • 1 Activité éditoriale
  • 1 Autre

Activités par an

Résultats de recherche

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

  Perrouin, G. (Président), Devroey, X. (Président), Cordy, M. (Président) & Acher, M. (Président)

  3 sept. 2018

  Activité: Affiliations › Membre d'un comité

• Logic-based Program Synthesis and Transformation (LOPSTR) (Evénement)

  Vanhoof, W. (Membre)

  10 sept. 2014 → 11 sept. 2014

  Activité: Affiliations › Membre d'un comité