at each scan, the r. e. moore prize will be given. this is a prize for researchers in the field of validated numerics, and the name of the prize came from ramon e. moore, one of the greatest expert of interval arithmetic (an important technology for validated numerics).