The RAIM meeting of GDR IFM addresses problems related to arithmetic and themes of the Arithmetic working group of GDR IFM: computer arithmetic, numerical validation and formal proof, scientific computation, cryptography, and so on.
This year's meeting will be an opportunity to pay tribute to Jean-Michel Muller, the founder of our computer arithmetic community, on the occasion of his retirement.
The 16th RAIM meeting will take place from Monday 3 November to Friday 7 November 2025 at the École normale supérieure de Lyon, Descartes Campus, Bâtiment Buisson, in Lyon. Friday morning, in particular, will be dedicated to Jean-Michel Muller.
On Monday 3 November, there will be a welcome lunch at noon and the first talk will start at 14:00. On Friday 7 November, the last talk will end at around noon, and it will be followed by a closing lunch.
You are invited to submit a title and an abstract for a short presentation at RAIM. A priority will be given to PhD students and junior doctors but everyone is welcome to give a presentation. Submissions can be made in the "Abstract submission" tab.
Registration
Registration to RAIM 2025 is free, but mandatory, and it includes lunches from Monday 3 to Friday 7 November, a dinner on Wednesday 5 November, and coffee breaks.