MPFR/MPC/iRRAM workshop Trier 2018

MPFR / MPC / iRRAM Workshop

Date:

Wednesday, November 21, 2018 – Friday, November 23, 2018.

Location:

University Trier, Campus 2, Room H406

Scope:

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.

Organizers:

Franz Brauße (Universität Trier, DE, <brausse@informatik.uni-trier.de>)

Norbert Müller (Universität Trier, DE, <mueller@uni-trier.de>)

Paul Zimmermann (INRIA Nancy – Grand Est, FR, <Paul.Zimmermann@inria.fr>)

Schedule:

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, …

Local information:

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).

Social program:

On Thursday evening, we’ll have a workshop dinner. On Friday afternoon, you can take part in the celebration of the 25th DBLP anniversary.

Workshop fee:

None