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, <firstname.lastname@example.org>)
- Andreas Enge (INRIA Bordeaux–Sud-Ouest, FR, <email@example.com>)
- Norbert Müller (Universität Trier, DE, <firstname.lastname@example.org>)
- Paul Zimmermann (INRIA Nancy – Grand Est, FR, <Paul.Zimmermann@inria.fr>)
Arrival: November 21, 2018, at about 2 pm
Departure: November 23, 2018, at about 1 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, …
On Thursday evening, we’ll have a workshop dinner at the restaurant Cubiculum. On Friday afternoon, you can take part in the celebration of the 25th DBLP anniversary.
Participants / Talks:
- Franz Brauße: “Solving nonlinear constraints CDCL-style“
- Keith Briggs: “The use of MPFR in simultaneous Diophantine approximation algorithms”
- Pieter Collins: “Amazing ARIADNE”
- Bastian Dörig: “Fast multipole methods“
- Andreas Enge: “PariTwine – A bridge between Pari/GP and the GNU MP universe“
- Florian Steinberg: “Higher-order linear-time”
- Hubert Glesener
- Fredrik Johansson: “Faster dot product and matrix multiplication in arbitrary-precision ball arithmetic“
- Margarita Korovina
- Vincent Lefèvre
- Norbert Müller: “Computable Analysis and Taylor Models”
- Paul Zimmermann: “Micro-GMP“