Hisseo meetings
- October 7th, Parc Club: kick-off meeting
- November 25th, Parc Club: first results by Ali Ayad (various
models of floating-point numbers in Frama-C)
- February 10th, Parc Club
- June 22nd, Parc Club: Tuyen Nguyen (specification of rounding
to 64/80/double rounding)
- October 13th, Parc Club
- links with the floating-point aspects of the U3CAT project
- Sylvie Boldo: Hardware-independent proofs of numerical
programs