Workshop 2018

MPFR / MPC / iRRAM Workshop Trier 2018

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