iRRAM-MPFR Developers Meeting

Location: INRIA/LORIA, Nancy, France (access)

The goal of this meeting is to discuss future developments of the iRRAM and GNU MPFR libraries, following the previous meetings from 2011 in Paris, 2012 in Bordeaux, 2014 in Nancy, 2016 in Toulouse, April 2018 in Dagstuhl, and November 2018 in Trier.

Schedule:

• December 16, 09:30: welcome coffee
• December 16, 10:00: short presentations
• December 16, 12:00: lunch
• December 16, 13:00: informal discussions and coding sprints
• December 16, 15:30: coffee break
• December 16, 16:00: informal discussions and coding sprints
• December 17, 09:30: welcome coffee
• December 17, 10:00: short presentations
• December 17, 12:00: lunch
• December 17, 13:00: informal discussions and coding sprints
• December 17, 15:30: coffee break
• December 17, 16:00: informal discussions and coding sprints
• December 17, 18:00: end of the meeting

Proposed topics:

• hash function for MPFR
• formal proof of basic MPFR routines

Participants:
Hubert Glesener
Margarita Korovina
Vincent Lefèvre
Christian Lohr
Michelle Mergen
Norbert Müller
Patrick Pélissier
Philippe Théveny
Paul Zimmermann

Sponsors: Inria PRE ProvenMPFR