Section: Other Grants and Activities

International Initiatives

Contributions to Standardization Bodies

V. Lefèvre participates in the Austin Common Standards Revision Group (for the revision of POSIX IEEE Std 1003.1).

N. Revol chairs the IEEE P1788 working group on the standardization of interval arithmetic. There were sessions dedicated to this work at the following conferences: ARITH-19 (19th IEEE Symposium on Computer Arithmetic, USA, June 2009), PPAM (8th International Conference on Parallel Processing and Applied Mathematics, Poland, September 2009) and during the 09471 Dagstuhl Seminar on Computer-assisted proofs - tools, methods and applications (Germany, November 2009).