[TYPES/announce] PhD position available : Building reliable programs in computational geometry and certifying them with Coq

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

[TYPES/announce] The 8th Coq Workshop - 2nd CFP - deadline for submission: june 1st 2016

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