Professor at the Computer Science and Engineering Department at University of Gothenburg.
coquand @ chalmers.se
Mini-workshop in Oberwolfach on constructive homological algebra (9-13 Nov)
MAP meeting in Monastir (Tunisia) on the formalization of mathematics (14-18 Dec)
a survey talk given at ESOP, on functional programming and constructive mathematics
Summer School and Conference Mathematics, Algorithms and Proofs (MAP), August 11-29, 2008, Abdus Salam International Centre for Theoretical Physics, Trieste. You can access to my lecture notes from here
At the 2007 MAP meeting in Leiden, Harold Edwards presented a new addition formula for elliptic curves (directly inspired from Euler and Gauss). See here for a recent development. (To Chalmers CS Dept. Welcome page.)