SCAN (国際研究集会)
SCANではR. E. Moore Prize の授賞式が行われる。この賞は精度保証付き数値計算や計算機援用証明の分野で著名な業績を上げた研究者に贈られる賞であり、賞の名称は区間演算の創始者で多くの著書がある Ramon E. Moore に由来している。第1回(2002年)はカオス理論に関する 14番目のスメイルの問題 を証明した en:Warwick Tucker に、第2回(2004年)は ケプラー予想を解決した T. Hales に授与されている。受賞者は国際雑誌 Reliable Computing の編集委員会によって決定される。