Si vous avez apporté des modifications à Pure, elles seront bientôt visibles.

Profil personnel

Qualification académique

Maîtrise d'informatique, Faculté d'informatique

sept. 2015juin 2017

Empreinte digitale Examinez les sujets de recherche où Gonzague Yernaux est actif. Ces libellés de rubriques sont le fruit de recherches menées par cette personne. Ensemble, ils forment une empreinte digitale unique.

Logic programming Ingénierie et Science des Matériaux
Constraint Logic Programming mathématiques
Unification mathématiques
Computational complexity Ingénierie et Science des Matériaux
Polynomials Ingénierie et Science des Matériaux
Atoms Ingénierie et Science des Matériaux
Unordered mathématiques
Computing mathématiques

Résultat de recherche 2019 2019

3 Downloads (Pure)

Anti-unification in Constraint Logic Programming

Yernaux, G. & Vanhoof, W., 20 sept. 2019, Dans : Theory and Practice of Logic Programming. 19, 5-6, p. 773-789 17 p.

Résultats de recherche: Contribution à un journal/une revueArticle

Constraint Logic Programming
Logic programming
Unification
Computational complexity
Polynomials

Generalizing Generalization: towards a framework for anti-unification problems in Logic Programming

Yernaux, G., 22 nov. 2019, (Non publié). 7 p.

Résultats de recherche: Contribution à un événement scientifique (non publié)Article

Logic programming

Prix

Jean Fichefet Price 2017

Gonzague Yernaux (Bénéficiaire), 17 nov. 2017

Prix: Prix ​​(y compris les médailles et récompenses)

honors and awards

Activités 2019 2019

  • 3 Participation à une conférence, un congrès
  • 3 Présentation orale
  • 1 Participation à un atelier/workshop, un séminaire, un cours

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énementParticipation à un atelier/workshop, un séminaire, un cours

Grascomp Doctoral Day

Gonzague Yernaux (Participant)
22 nov. 2019

Activité: Types de Participation ou d'organisation d'un événementParticipation à une conférence, un congrès

Generalizing Generalization: towards a framework for anti-unification in Logic Programming

Gonzague Yernaux (Orateur)
22 nov. 2019

Activité: Types de discours ou de présentationPrésentation orale

Generalization-driven semantic clone detection in CLP

Gonzague Yernaux (Orateur), Wim Vanhoof (Orateur)
9 oct. 2019

Activité: Types de discours ou de présentationPrésentation orale

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

Gonzague Yernaux (Participant), Wim Vanhoof (Participant)
8 oct. 201910 oct. 2019

Activité: Types de Participation ou d'organisation d'un événementParticipation à une conférence, un congrès