MPFR / MPC / iRRAM Workshop
Wednesday, November 21, 2018 – Friday, November 23, 2018.
University Trier, Campus 2, Room H406
The topic of the workshop will be mainly about the future development of libraries MPFR, MPC, iRRAM, and in particular about the formal proof of the algorithms and of their implementation at the source code level.
This will be a unique opportunity to discuss with the developers of these libraries.
If you are interested in participating, please send a mail to (one of the) organizers.
- Franz Brauße (Universität Trier, DE, <email@example.com>)
- Andreas Enge (INRIA Bordeaux–Sud-Ouest, FR, <firstname.lastname@example.org>)
- Norbert Müller (Universität Trier, DE, <email@example.com>)
- Paul Zimmermann (INRIA Nancy – Grand Est, FR, <Paul.Zimmermann@inria.fr>)
Arrival: November 21, 2018, at about 1.30 pm
Departure: November 23, 2018, at about 3 pm
We will have a few talks, in particular to present the iRRAM, MPFR and MPC tools for those who don’t know them (with examples), and also present the development plans for each tool.
In addition, you can propose scientific talks (say 30min) about topics that could be of interest for the participants. Please send us a title.
Most of the rest of the time will be devoted to informal talks, discussions, coding sprints, …
You can find directions to Trier, to University Trier, and to the Campus II at https://www.uni-trier.de/index.php?id=16905. We recommend to book a hotel in the center of the city. From there, campus II can best be reached by buses no. 4 and 14 (from Porta Nigra as well as from the main station, scheduled all 15 minutes and reaching Campus II after 20 minutes).
As far as we know, participants already booked rooms at following hotels:
- Mercure Hotel Trier Porta Nigra
- Stadthotel Handelshof
On Thursday evening, we’ll have a workshop dinner. On Friday afternoon, you can take part in the celebration of the 25th DBLP anniversary.
Participants / Talk Proposals (as of 2018-08-27):
- Franz Brauße
- Keith Briggs
“The use of MPFR in simultaneous Diophantine approximation algorithms”
- Andreas Enge
- Fredrik Johansson
- Vincent Lefèvre
- Norbert Müller
- Paul Zimmermann