Paul Zimmermann | |
| extended CV [HAL version] | |
| recommendations to send me a document | |
| Publications | Software |
| Talks | Research Interests |
| Contact | Lectures (in french) |
| Events: (past events) | |
| March 2018: post-doctoral position available on the formal proof of MPFR | |
| 26-30 March 2018: EJCIM 2018 in Nancy! | |
| May 2017: english translation of the sagebook |