I moved from Inria to the University of Luxembourg - my new web page is at url http://nicolas.navet.eu. You will be automatically redirected to the new location in 5 seconds.