[Smtcomp-discussion] SMT-COMP 2015, Floating-point category

[Christoph W. <cw...@mi...>]

Hi Sylvain, David, Tjark,

Martin Brain and I discussed the possibility of a category for floating-point arithmetic at this year's SMT comp. We believe that there are enough solvers and sufficient interest, and the theory definition has recently been finalized. We are happy to collect benchmarks (we have a few ready) and to assist with the running of the competition if there are any issues of course. What would be the next steps for us to make this happen?

Thanks!
Christoph


Christoph M. Wintersteiger | Researcher | Tel: +44 1223 479724 | Fax: +44 1223 479999 | research.microsoft.com/people/cwinter<http://research.microsoft.com/people/cwinter>

[MSFT_logo_Gray DE sized SIG1.png]
Microsoft Research Limited (company number 03369488) is a company registered in England and Wales whose registered office is at 21 Station Road, Cambridge, CB1 2FB