Email Gateway (Aug 17 2022 at 14:46): Email Gateway (Aug 17 2022 at 14:46):From: werner@lix.polytechnique.fr
Dear Colleagues,
We plan a workshop on the upcoming research field of interactions
between numerical computations and formal proofs. The workshop will
take place over 1 and 1/2 days, on June 12th and 13th in Orsay; it will
follow a more general seminar the 12th in the morning.
We encourage you to participate and to present work on the topic. The
aim is to bring together from different fields; please feel free to
forward this announcement to other possibly interested colleagues.
More information is given below and can also be found on :
http://www-sop.inria.fr/marelle/Laurent.Thery/microsoft/Workshop%20on%20numbers%20and%20proofs.html
Given the short delay, the program will be established as propositions
come in and the web-site will grow progressively. We already plan
talks about formal primality proofs, representation of numbers in type
theory, formal real optimization, representation of arbitrary
precision real numbers in Coq...
The workshop will be supported by the EU TYPES project and the new
joint laboratory of INRIA and Microsoft Research. Members of TYPES can
therefore use their TYPES money to fund their trip.
Hoping to see many of you in Orsay,
Benjamin Grégoire,
Laurent Théry,
Benjamin Werner
TYPES Workshop on Numbers and Proofs
Orsay (France), June 12-13 2006
Scope
There is a growing trend of bringing together formal proofs and
efficient numerical computations. On one hand, people working
designing efficient numerical libraries are more and more interested
by proving their correctness.
Last updated: May 03 2024 at 12:27 UTC