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 verified 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
- 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@utep.edu 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/
- wiki http://p1788.informatik.uni-wuerzburg.de/mediawiki/
Important dates
| Submission of Papers: | April 10, 2009 |
| Notification of Acceptance: | May 31, 2009 |
| Conference: | September 13-16, 2009 |
| Camera-Ready Papers: | Oct. 31, 2009 |
Minisymposium Organizers (in alphabetic order):
| Vladik Kreinovich | University of Texas at El Paso | USA | vladik@utep.edu |
| Bartlomiej Jacek Kubica | Warsaw University of Technology | Poland | bkubica@elka.pw.edu.pl |
| Pawel Sewastjanow | Czestochowa University of Technology | Poland | sevast@icis.pcz.pl |
| Jerzy Wasniewski | Technical University of Denmark | Denmark | jw@imm.dtu.dk |