The conferences Interval’XX are meetings devoted to various aspects of reliable
numerical computations based on the interval approach. Their speciﬁc aims are
to present the current state of the art of interval mathematics, emphasize relation-
ships with similar disciplines, and last but not least stimulate the personal contacts
between researchers from all parts of the world.
Interval’96 the International Conference on Interval Methods and Computer
Aided Proofs in Science and Engineering was organized by the Faculty of Mathe-
matics and Computer Science, W
urzburg University and the Editorial Board of the
International Journal Reliable Computing.
The meeting was held in W
urzburg, September 29—October 2, 1996. 91 scien-
tists from 18 countries participated in the conference. Due to the support of DFG,
GAMM and other ﬁrms and institutions 22 researchers mainly from Eastern Europe
were able to attend.
In 8 highlighted talks, 56 regular talks and 8 poster presentations various aspects
of the topic of the conference were considered.
The interdisciplinary focus of the conference was the connection to the theory
of computer science in general and the relation to constraint logic programming in
particular. The relatively new ﬁeld of interval constraint propagation was outlined
in some talks. Besides that, the more traditional applications of intervals in control
theory, optimization, and in the solution of differential equations were covered. New
tools, libraries and languages facilitating the use of intervals were introduced.
In this issue of the journal we present a collection of 15 papers which were
carefully selected from a much larger number of submitted papers in a refereeing
process. At this point I want to thank all the contributors and the referees for their
The articles are roughly grouped into 3 classes according to the following