[Reliable_computing] FW: MPFR / MPC / iRRAM Workshop, Trier, 21-23.11.2018

Kreinovich, Vladik vladik at utep.edu
Tue Aug 28 12:38:20 CDT 2018


From: Norbert Müller [mailto:mueller at uni-trier.de]
Sent: Monday, August 27, 2018 2:37 AM

MPFR / MPC / iRRAM Workshop

Date: Wednesday, November 21, 2018 – Friday, November 23, 2018.
Location: 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 formal proofs 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

If you are interested in participating, please send a mail to (one of) the

* Franz Brauße (Universität Trier, DE, <brausse at informatik.uni-trier.de<mailto:brausse at informatik.uni-trier.de>>)
* Andreas Enge (INRIA Bordeaux–Sud-Ouest, FR, <andreas.enge at inria.fr<mailto:andreas.enge at inria.fr>>)
* Norbert Müller (Universität Trier, DE, <mueller at uni-trier.de<mailto:mueller at uni-trier.de>>)
* Paul Zimmermann (INRIA Nancy – Grand Est, FR, <Paul.Zimmermann at inria.fr<mailto:Paul.Zimmermann at 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

Local information:

At https://www.uni-trier.de/index.php?id=16905<https://protect-za.mimecast.com/s/hOixCY6YG5tg2kGKCVJDE-> you can find directions to
University Trier and to the Campus II. 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

Workshop web site:

apl.Prof. Dr. Norbert Mueller
FB IV * Informatik * Universitaet Trier * D-54286 Trier (Germany)
email: mueller at uni-trier.de<mailto:mueller at uni-trier.de> * http://www.uni-trier.de/~mueller/<https://protect-za.mimecast.com/s/P8SQC1jp84SONnvrf103Fm>
Tel: ..49-(0)651-201-2845 * Fax: ..49-(0)651-201-3805
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.louisiana.edu/pipermail/reliable_computing/attachments/20180828/f3145442/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: MPFR-MPC-iRRAM-Trier-2018.pdf
Type: application/pdf
Size: 61354 bytes
Desc: MPFR-MPC-iRRAM-Trier-2018.pdf
URL: <http://lists.louisiana.edu/pipermail/reliable_computing/attachments/20180828/f3145442/attachment-0001.pdf>

More information about the reliable_computing mailing list