L'épreuve publique pour l'obtention du grade de Docteur en Sciences de Arnaud MAES aura lieu le: 

VENDREDI 29 JANVIER 1999 à 15h30
en l'auditoire 76 du Chaville I,
Avenue Maistriau 15 à 7000 Mons.

Il présentera et défendra publiquement une dissertation originale intitulée:

"Prédicats morphiques et applications à la décidabilité de théories arithmétiques"
"Morphic predicates and applications to the decidability of arithmetic theories"
(un résumé est accessible)

et une thèse annexe intitulée:

"La construction d'Edwards d'un diagramme de Venn à plusieurs ensembles
donne une projection d'un entrelacs borroméen satisfaisant à la propriété brunnienne"
"Edwards' construction of a Venn diagram with several sets gives a projection
of a Borromean link satisfying the Brunnian property"

(Directeurs de thèse: M. Boffa, Ch. Michaux)

Retour à la page de bienvenue d'Arnaud Maes...
Visitez notre Institut de Mathématique et d'Informatique ou son équipe de Logique Mathématique...
This page has been accessed times.