Access to specfun.inria.fm may be restricted by misconfigured redirect settings across versions. Please see the links provided below for alternative access solutions:

Or return to the current status page of specfun.inria.fm.