been accepted by the french research agency
(ANR) in 2007.
This thesis will be supervised by Professor Jean-François Dufourd and
co-advised
by Nicolas Magaud (http://http://dpt-info.u-strasbg.fr/~jfd/ .
We would like it to start as soon as possible (at the end of 2007 at the
latest).
Context
Rioja, Spain
* Robbert Krebbers, Aarhus University, Denmark
* Nicolas Magaud (co-chair), University of Strasbourg, France
* Micaela Mayero, Univeristy of Paris 7, France
* Julien Narboux (co-chair), University of Strasbourg, France
* Claudio Sacerdoti-Coen, University of Bologna, Italy
* Beta Zi