This is the second issue containing full, traditionally refereed papers with material
presented at the Validated Computing 2002 conference, held in Toronto, May 23
to May 25, 2002. (The ﬁrst issue was Volume 9, issue 2, April, 2003.) See  for a
review of the conference, and see the web page
for the conference program.
Of the six papers in this issue, L. E. K. Achenie and M. Sinha (“Interval Global
Optimization in Solvent Design”), as well as P. S. V. Nataraj and J. J. Barve (“Reli-
able Computation of Frequency Response Plots for Nonrational Transfer Functions
to Prescribed Accuracy”) describe signiﬁcant, successful new applications, where
validation techniques are applied in new and effective ways.
M. T. Nakao, Y. Watanabe, N. Yamamoto, and N. Takaaki (“Some Computer
Assisted Proofs for Solutions of Heat Convection Problems”) as well as U. Sch
(“Accelerated Enclosure Methods for Ordinary Free Boundary Problems”) describe
further advances in validated solutions of differential equations.
amer and J. Wolff von Gudenberg (“Extended Interval Power Function”)
consider practical considerations, as well as theory of extended arithmetic, in imple-
mentation of interval extensions of the real power function. Finally, V. Kreinovich,
e, and J. J. Buckley (“Are There Efﬁcient Necessary and Sufﬁcient Con-
ditions for Straightforward Interval Computations to Be Exact”) treat theoretically
the fundamental problem of estimating the overestimation in interval arithmetic.
It has been a pleasure participating in Validated Computing 2002, and I thank
1. Kearfott, R. B. and Walster, G. W.: SIAM Conference on Optimization, Validated Computing
2002, and the Fields Institute Informal Working Group on Validated Optimization. A Personal
View, Reliable Computing 8 (5) (2002), pp. 419–424.
R. Baker Kearfott
University of Louisiana at Lafayette