Proceedings of the 26th Symposium on Computer Arithmetic (ARITH 2019)

Sylvie Boldo (1) , Martin Langhammer (2)

1 TOCCATA - Formally Verified Programs, Certified Tools and Numerical Computations
2 Intel [UK]

Presents the introductory welcome message from the conference proceedings. May include the conference officers' congratulations to all involved with the conference event and publication of the proceedings record.

Domaines: Arithmétique des ordinateurs

Sylvie Boldo, Martin Langhammer. Proceedings of the 26th Symposium on Computer Arithmetic (ARITH 2019). ARITH 2019 - 26th IEEE Symposium on Computer Arithmetic, Jun 2019, Kyoto, IEEE, 2019, 978-1-7281-3367-6. ⟨10.1109/ARITH.2019.00005⟩. ⟨hal-02433652⟩