Post-doctorantÉquipe Logique, calcul et programmation Encadré par Julien CervelleBureau: P2-223 Email: Tél. +33: 1 45 17 14 75Fax +33: