UNamur - Research Group on the Foundations of Computer Sciences (FOCUS)

Jean-Marie JACQUET	jean-marie.jacquet@unamur.be	+32 (0)81 72 50 01
Isabelle LINDEN	isabelle.linden@unamur.be	+32 (0)81 72 49 87
PIERRE-YVES SCHOBBENS	pierre-yves.schobbens@unamur.be	+32 (0)81 72 49 90
Wim VANHOOF	wim.vanhoof@unamur.be	+32 (0)81 72 49 72 +32 (0)81 72 49 77

Research Group on the Foundations of Computer Sciences (FOCUS)