Two-day workshop on Certified Arithmetics in Lyon

[David G Hough at validgh]

via Jean-Michel Muller <Jean-Michel.Mulleraens-lyon.fr>

> The call for papers (1 page abstracts, due date October 22) can be found
> at:
>
> http://www-sop.inria.fr/lemme/AOC/workshop.html
>
> TOPICS
>
> A two-day workshop on Certified Arithmetics will be held on November
> 15-16 at Ecole Normale Supérieure de Lyon. The workshop is intended
> to bring together researchers interested in mechanically proving
> properties of arithmetic operators and algorithms.
>
> Topics of interest include, but are not limited to:
>
>      Certification of arithmetic operators
>      Formalization of the IEEE 754 standard
>      Ensuring properties of arithmetic algorithms
>
> SUBMISSION
>
> Researchers interested in presenting their works are invited to send a
> one-page abstract to Laurent.Theryasophia.inria.fr. The deadline for
> submission is October 22, 2000. Abstracts will be reviewed by the AOC
> members to assess their relevance to the workshop. Acceptance will be
> notified by the end of October.
>
> ORGANIZATION
>
> The workshop is organized by the AOC Cooperative Action regrouping 3
> INRIA research teams: Arénaire: (contact Jean-Michel Muller), Lemme
> (contact Loïc Pottier) and PolKA (contact Paul Zimmermann).
>
> --
> Jean-Michel Muller, CNRS-LIP, projet CNRS/INRIA/ENSL ARENAIRE
> Ecole Normale Sup. de Lyon, 46 Allee d'Italie, 69364 Lyon Cedex 07
> FRANCE
> Tel. (+33) 4 72728229 Secr. (+33) 4 72728037  Fax. (+33) 4 72728080
> Email: Jean-Michel.Mulleraens-lyon.fr, j.mulleracomputer.org
> http://www.ens-lyon.fr/~jmmuller