Projets par an
Empreinte digitale Passez en revue plus en détail les thèmes de recherche où Research group on the foundations of computer sciences est actif. Ces libellés thématiques proviennent des travaux des membres de cette organisation. Ensemble, ils forment une empreinte digitale unique.
Réseau
Collaboration externe récente au niveau des pays. Analysez le détail en cliquant sur les points.
Profils
Projets
STS-Bach: a Contextual Coordination Model for Socio-Technical Systems
1/10/19 → …
Projet: Projet de thèse
VeriLearn: Verifying Learning Artificial Intelligence Systems
HEYMANS, P., FRENAY, B., SCHOBBENS, P., TEMPLE, P., Nanfack, G., AMRANI, M. & BIBAL, A.
1/01/18 → 31/12/21
Projet: Recherche
Résultat de recherche
An SMT-Based Concolic Testing Tool for Logic Programs
Résultats de recherche: Contribution à un événement scientifique (non publié) › Poster
Introduire la concurrence en début de secondaire
Libert, C. & Vanhoof, W., 2020. 12 p.Résultats de recherche: Contribution à un événement scientifique (non publié) › Article
Accès ouvert
A Decade of Featured Transition Systems
Cordy, M., Devroey, X., Legay, A., Perrouin, G., Classen, A., Heymans, P., Schobbens, P-Y. & Raskin, J-F., oct. 2019, From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday. ter Beek, M., Fantechi, A. & Semini, L. (eds.). Springer Verlag, p. 285-312 28 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 11865 LNCS).Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Chapitre (revu par des pairs)
Activités
Introduire la concurrence en début de secondaire
Cédric Libert (Orateur)6 févr. 2020
Activité: Types de discours ou de présentation › Présentation orale
Journées Francophones Extraction et Gestion des Connaissances
Etienne Cuvelier (Organisateur), Isabelle Linden (Organisateur), Christian Colot (Organisateur), Monique Noirhomme (Organisateur)27 janv. 2020 → 31 janv. 2020
Activité: Types de Participation ou d'organisation d'un événement › Participation à une conférence, un congrès
FOCUS Research Seminar
Wim Vanhoof (Organisateur), Jean-Marie Jacquet (Organisateur), Manel Barkallah (Membre du Comité d'Organisation), Gonzague Yernaux (Membre du Comité d'Organisation), Pierre-Yves Schobbens (Membre du Comité d'Organisation), James Jerson Ortiz Vega (Membre du Comité d'Organisation), Moussa Amrani (Membre du Comité d'Organisation), Isabelle Linden (Membre du Comité d'Organisation), Christian Colot (Membre du Comité d'Organisation)6 déc. 2019
Activité: Types de Participation ou d'organisation d'un événement › Participation à un atelier/workshop, un séminaire, un cours
Prix
IBM Belgium Prijs informatica
Wim Vanhoof (Bénéficiaire), 1996
Prix: Mise à l'honneur nationale/internationale
Most Influential Paper Award
Pierre Schobbens (Bénéficiaire), Patrick Heymans (Bénéficiaire), Jean-Christophe Trigaux (Bénéficiaire) & Yves Bontemps (Bénéficiaire), 15 sept. 2016
Prix: Mise à l'honneur nationale/internationale
Presse/médias
17th IFIP international conference on coordination models and languages (COORDINATION 2015)
19/01/15
1 élément de Couverture média
Presse/Médias: Commentaire d'expert
6th international workshop on formal methods and analysis in spl engineering (FMSPLE 2015)
Maxime Cordy & Patrick Heymans
20/10/14
1 élément de Couverture média
Presse/Médias: Commentaire d'expert
10th international IFIP workshop on semantic web and web semantics (SWWS 2014)
14/06/14
1 élément de Couverture média
Presse/Médias: Commentaire d'expert
Thèses de l'étudiant
A Blackboard Approach to Concurrent Constraint Programming
Auteur: Pires da Costa, J. M., 1996Superviseur: Jacquet, J. (Promoteur)
Thèse de l'étudiant: Master types › Master en sciences informatiques
Fichier
Applications de la programmation déclarative au problème de planification des visites médicales des Services de Promotion de la Santé à l'Ecole
Auteur: Rwanyindo, C., 22 juin 2019Superviseur: Jacquet, J. (Promoteur)
Thèse de l'étudiant: Master types › Master en sciences informatiques
Fichier
Automatic Test Generation for Data-driven Applications
Auteur: Marcozzi, M., 24 oct. 2014Superviseur: Vanhoof, W. (Promoteur), Habra, N. (Jury), Hainaut, J. (Jury), Englebert, V. (Jury), WIJSEN, J. (Personne externe) (Jury) & Serebrenik, A. (Personne externe) (Jury)
Thèse de l'étudiant: Doc types › Docteur en Sciences