Research Group on the Foundations of Computer Science

  • 5000

    Belgium

Activities 2011 2019

Filter
Oral presentation

Generalization-driven semantic clone detection in CLP

Gonzague Yernaux (Speaker), Wim Vanhoof (Speaker)
9 Oct 2019

Activity: Talk or presentation typesOral presentation

Les préconceptions des étudiants sur la concurrence

Cédric Libert (Speaker)
26 Aug 2019

Activity: Talk or presentation typesOral presentation

NASA Formal Methodos 2019

James Jerson Ortiz Vega (Speaker)
7 May 20199 May 2019

Activity: Talk or presentation typesOral presentation

International Conference on Quality, Reliability, and Security

James Jerson Ortiz Vega (Speaker)
16 Jul 201820 Jul 2018

Activity: Talk or presentation typesOral presentation

Feature-based Modelling and Automations

Patrick Heymans (Speaker), Pierre-Yves Schobbens (Speaker), Gilles Perrouin (Speaker)
28 May 2018

Activity: Talk or presentation typesOral presentation

Év(a/o)luons en continu !

Cédric Libert (Speaker)
27 Mar 2018

Activity: Talk or presentation typesOral presentation

NASA Formal Methods Symposium

James Jerson Ortiz Vega (Speaker)
2017 → …

Activity: Talk or presentation typesOral presentation

Databases en het drie lagen model

Wim Vanhoof (Speaker)
13 Dec 2016

Activity: Talk or presentation typesOral presentation

Informatiesystemen

Wim Vanhoof (Speaker)
14 Dec 2016

Activity: Talk or presentation typesOral presentation

Micro-mondes et passage de messages: vers une nouvelle façon d'aborder la programmation ?

Cédric Libert (Speaker)
5 Jul 2016

Activity: Talk or presentation typesOral presentation