FW: Minisymposium on Interval Analysis at PPAM'09 in Wroclaw, Poland
Dear Friends, This is the CFP for the conference where we agreed to have
our annual meeting in 2009.
-----Original Message-----
Call for Papers
Minisymposium on Interval Analysis
http://www.cs.utep.edu/interval-comp/poland09.html
at the
8th International Conference on
Parallel Processing And Applied Mathematics PPAM'09
http://ppam.pl
Wroclaw, Poland, September 13-16, 2009
Numerical methods -- such as optimization methods, methods for
solving systems of equations, etc. -- usually produce approximate
solutions. Often, there are no guaranteed bounds on the accuracy of
these approximate solutions -- or there are bounds but these bounds are
too wide to be practically useful. In such situations, it is
desirable to have <I>verified</I> numerical computing, i.e.,
computing that produces results with verified (provable) accuracy.
When a (final or intermediate) approximate result x of the
computation comes with a verified bound D, it means that the actual
(unknown) value of the estimated quantity belongs to
the interval [x - D, x + D]. In view of this fact, verified
numerical computing is also known as interval analysis.
Interval analysis is not only about the bounds. In addition to
bounds, we can also have, e.g., partial information about the
probabilities of different values from the corresponding intervals
or expert information on some of the quantities.
The main purpose of this mini-symposium is to cover the numerical
and algorithmic aspects of scientific computing, with a strong
emphasis on verification leading to guaranteed properties of
computed results as well as on arithmetic, programming, and
algorithmic tools that provide and/or enhance this verification.
The intent is to present a state-of-the-art overview on the
challenging and dynamic field of verified computing techniques and
interval analysis for researchers, experts, and scientists who apply
these techniques. We seek contributions that provide competent and
concise information on recent hardware and software standards,
language support for interval analysis techniques, algorithms with
result verification, and applications in various fields.
Paper Submission and Publication
The rules of the PPAM'09 conference apply (see http://ppam.pl).
In particular:
* Papers will be refereed and accepted on the basis of their scientific
merit and relevance to the Workshop topics.
* Papers presented at the Workshop will be included into the proceedings
and published after the conference by Springer-Verlag in the LNCS
series.
* Authors should submit papers (draft version with abstract, PDF file)
to Vladik Kreinovich at vladik@xxxxxxxx before April 10, 2009.
Regular papers are not to exceed 10 pages (LNCS style).
* Final camera-ready versions of accepted papers will be required
by October 31, 2009.
Interval Standards Meeting
During the minisymposium, we will have an annual
meeting of the IEEE Working Group on Interval Arithmetic, Project P1788,
a working group that is working on an interval standard for interval
arithmetic. For detailed information about the Working Group,
see:
* its mailing list http://www.cs.utep.edu/interval-comp/standard.html
* forum http://p1788.informatik.uni-wuerzburg.de/
and
* wiki http://p1788.informatik.uni-wuerzburg.de/mediawiki/
Dates:
Submission of Papers: April 10, 2009
Notification of Acceptance: May 31, 2009
Conference: September 13-16, 2009
Camera-Ready Papers: October 31, 2009
Minisymposium Organizers (in alphabetic order):
* Vladik Kreinovich, University of Texas at El Paso, USA,
vladik@xxxxxxxx
* Bartlomiej Jacek Kubica, Warsaw University of Technology, Poland,
bkubica@xxxxxxxxxxxxxx
* Pawel Sewastjanow, Czestochowa University of Technology, Poland,
sevast@xxxxxxxxxxx
* Jerzy Wasniewski, Technical University of Denmark, Denmark,
jw@xxxxxxxxxx