Contacts

French Team Leader

name: François Dufour
email: francois.dufour__AT__inria.fr
address: INRIA Bordeaux Sud-Ouest. Team CQFD, 200 Avenue de la Vieille Tour, 33405 Talence cedex. France

phone: +33(0)5 24 57 41 65

Brazilian Team Leader

name: Eduardo F. Costa
email: efcosta__AT__icmc.usp.br
address: Departamento de Matemática Aplicada e Estatística, ICMC – Universidade de São Paulo, Avenida Trabalhador São-carlense, 400 – Centro, CEP: 13566-590 – São Carlos – SP, Brazil
phone: +55 (16) 3373-8635