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:

Schedule:

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

Social program:

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:

Workshop fee:

None