We seek nominations for the 2008 R. E. Moore Prize for Applications of Interval Analysis.
R. E. Moore Prize: History. In 2002, the Editorial Board of Reliable Computing, an International Journal devoted to reliable mathematical computations based on finite representations and guaranteed accuracy, decided to set up a biannual Prize for Applications of Interval Analysis, a prize that would be awarded at a major interval meeting. Detailed information about the R. E. Moore prize may be found at https://www.reliable-computing.org/archive/Moore_prize.html.
The first R. E. Moore Prize for Applications of Interval Analysis was awarded in 2002 to Dr. Warwick Tucker, a mathematician from Cornell University, who proved, using interval techniques, that the renowned Lorenz equations do in fact possess a strange attractor. This problem, Smale's 14th conjecture, is of particular note in large part because the Lorenz model is widely recognized as signaling the beginning of chaos theory. This prize was awarded at the SIAM Validated Computing 2002 in Toronto.
The second prize was awarded in 2004 to Professor T. Hales for his solution of the Kepler conjecture about the densest arrangement of spheres in space. Dr. Hales solved this long-standing problem by using interval arithmetic.
Request for Nominations. This year, the awarding ceremony will be held at the 13th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations SCAN'2008 (El Paso, Texas, September 29 - October 3, 2008). For more information about the conference, see its website (see also).
Please submit your nominations.
Prize Committee. Similarly to last R. E. Moore prizes, the prize committee for the 2008 prize consists of the Editorial Board of the Reliable Computing journal.
Who Is Eligible to Be Nominated. Dissertations and papers that appeared in 2004 and later may be nominated.
Who Can Nominate: everyone except for the members of the prize committee.
How to Submit. To nominate a paper or dissertation (including your own), send either an electronic copy (Postscript, PDF, or portable LaTeX), or a URL (web address) from where such an electronic copy can be downloaded, to vladik@utep.edu.
If such an electronic copy is not available, a complete citation to a commonly available public journal may be emailed to vladik@utep.edu. If that is a problem, a printed copy may be mailed to:
When to Submit. Make sure the materials are nominated before January 30, 2008. (If you need more time to collect the materials, let me know ASAP).
Privacy. Please rest assured that the names of the nominees will be kept absolutely secret and they will only be accessible to the members of the prize committee.