| Wednesday, May 22 | ||
| 7:00 PM - 9:00 PM | Tutorial on Validated
Techniques, Interval Arithmetic, and Related Tools G. Corliss, Marquette University click here for slides and code | Plenary Room |
| Thursday, May 23 | ||
| 8:30 AM - 9:20 AM |
Reliable Modeling Using Interval Analysis: Chemical Engineering
Applications (invited talk) M. Stadtherr, University of Notre Dame Extended abstract in PostScript and pdf click here for the presentation | Plenary Room |
| 9:20 AM - 10:00
AM Concurrent Talks |
Interval Analysis -- An Application to
Solvent Design (highlighted talk) L. E. K. Achenie, University of Connecticut Extended abstract in PostScript and pdf click here for the presentation | Room A | A New Perspective on the Wrapping Effect
in Interval Methods for Initial Value Problems for Ordinary
Differential Equations (Moore Prize
nominee talk) N. S. Nedialkov, McMaster University, Canada, and K. R. Jackson, University of Toronto, Canada |
Room B |
| 10:00 AM - 10:30 AM | Coffee Break | Lobby |
| 10:30 PM - 12:00 Noon Concurrent Sessions |
Session TAA | Room A | Moore Prize nominee talks | Room B | Moore Prize nominee talks | Room C |
| 12:00 Noon - 1:30 PM | Lunch | Attendees on their own |
| 1:30 PM - 2:20 PM | Adaptive Numerical Methods for
Sensitivity Analysis of Differential-Algebraic Equations and
Partial Differential Equations
(invited talk) L. Petzold, University of California at Santa Barbara Extended abstract in PostScript and pdf | Plenary Room |
| 2:20 PM - 3:00 PM Concurrent Talks |
Taylor Model Based Verified Integration for the
Volterra Equations and the Lorenz System (highlighted talk) K. Makino, University of Illinois at Urbana-Champaign, and M. Berz, Michigan State University Extended abstract in PostScript and pdf |
Room A |
| An Improved Tool for Distribution Envelope
Determination, a Technique for nterval-Based, Verified Arithmetic on
Random Variables (highlighted talk) D. Berleant, L. Xie, J. Zhang, and G. Sheble, Iowa State University Extended abstract in PostScript and pdf (caution: this pdf file may not work on some versions of Acrobat) click here for the presentation |
Room B | |
| Detecting and Locating Curved Cracks
in Thin Plates by Lamb Wave Reflection:
Validated Geometric Approach R. Osegueda and V. Kreinovich, University of Texas at El Paso Extended abstract in PostScript and pdf |
Room C | |
| 3:00 PM - 3:30 PM | Coffee Break | Lobby |
| 3:30 PM - 5:30 PM Concurrent Sessions |
Session TPA | Room A | Session TPB | Room B | Session TPC | Room C |
| 5:30 PM - 6:00 PM | Coffee Break | Lobby |
| 6:00 PM - 7:00 PM | Applications Panel Discussion | Plenary Room |
| Friday, May 24 | ||
| 8:30 AM - 9:20 AM | Solving Real-Life Robotics Problems with
Interval Techniques (invited talk) A. Neumaier, University of Vienna, and J.-P. Merlet Extended abstract in PostScript and pdf click here for the presentation | Plenary Room |
| 9:20 AM - 10:00 AM Concurrent Talks |
Verified Estimation of Taylor
Coefficients and Taylor Remainder Series
of Analytic Functions (highlighted
talk) M. Neher, University of Karlruhe, Germany Extended abstract in PostScript and pdf Presentation in PostScript and in pdf | Room A |
| A C++ Class Library for Extended Scientific
Computing (highlighted talk) W. Kraemer and W. Hofschuster, University of Wuppertal, Germany Extended abstract in PostScript and pdf click here for the presentation |
Room B | |
|
Solving Electrical Power Load Flow Problems Using Intervals (highlighted
talk) E. A. Martinez, Universidad Nacional del Este, Paraguay, B. Baran, Universidad Nacional de Asuncion, Paraguay, and T. A. Diverio, Universidade Federal do Rio Grande do Sul, Brazil Extended abstract in PostScript and pdf click here for the presentation |
Room C | |
| 10:00 AM - 10:30 AM | Coffee Break | Lobby |
| 10:30 AM - 11:30 AM | A Rigorous ODE Solver and Smale's 14th
Problem (Moore Prize presentation) W. Tucker, Cornell University |
Plenary Room |
| 11:30 AM - 12:00 Noon Concurrent Talks |
Two Topics in Computer Assisted Proofs
for Problems in Fluid Dynamics M. T. Nakao, Kyushu University, Japan Extended abstract in PostScript and pdf |
Room A | A New Super-Convergent Inclusion Function
Form and its Use in Global Optimization P. S. V. Nataraj, Indian Institute of Technology, Bombay, India,, and K. Kotecha, G. H. Patel College of Engineering and Technology, Gujarat, India Extended abstract in PostScript and pdf |
Room B | On the Shape of the Limit of the Total
Step Method in Interval Analysis G. Mayer and I. Warnke, University of Rostick, Germany Extended abstract in PostScript and pdf |
Room C |
| 12:00 Noon - 1:10 PM | Lunch | Attendees on their own |
| 1:10 PM - 1:50 PM |
A Brief History of Interval Analysis (invited talk) E. R. Hansen Extended abstract in PostScript and pdf |
Plenary Room |
| 1:50 PM - 2:30 PM | The Early Days of Interval Global
Optimization (invited talk) K. Madsen, Technical University of Denmark and S. Skelboe, University of Copenhagen, Denmark Extended abstract in PostScript and pdf Presentation in pdf and in PowerPoint |
Plenary Room |
| 2:30 PM - 3:10 PM |
Ramon E. Moore and 45 Years of Interval Analysis (invited talk) G. Alefeld, University of Karlsruhe Extended abstract in PostScript and pdf click here for the presentation |
Plenary Room |
| 3:10 PM - 3:40 PM | Coffee Break | Lobby |
| 3:40 PM - 4:20 PM | Evaluation of Functions, Gradients and
Jacobians(invited talk) L. B. Rall, University of Wisconsin-Madison Extended abstract in PostScript and pdf |
Plenary Room |
| 4:20 PM - 5:00 PM | Reliable Multiprecision Implementation
of Elementary and Special Functions (invited talk) A. Cuyt, University of Antwerp, Belgium Extended abstract in PostScript and pdf click here for the presentation |
Plenary Room |
| 5:00 PM - 5:40 PM | Hardware and Software
Support for Interval Arithmetic in the Past and in the Future
(invited talk) U. W. Kulisch, University of Karlsruhe Extended abstract in PostScript and pdf |
Plenary Room |
| 6:30 PM - ? | Banquet Honoring Ramon E. Moore | Hotel Restaurant |
| Saturday, May 25 | ||
| 8:30 AM - 9:20 AM | Interval Methods in Digital Signal
Processing (invited talk) M. W. Edmonson, Hampton University Extended abstract in PostScript and pdf |
Plenary Room |
| 9:20 AM - 10:00
AM Concurrent Talks |
Validation Methods and Fuzzy Sets:
Theory, Algorithms and Application (highlighted talk) W. A. Lodwick, University of Colorado, and D. K. Jamison, Watson Wyatt & Company, Denver, Colorado Extended abstract in PostScript and pdf |
Room A | Verification Methods for the Linear
Complementarity Problem with Interval Data
(highlighted talk) U. Schaefer, University of Karlsruhe, Extended abstract in PostScript and pdf |
Room B |
| 10:00 AM - 10:30 AM | Coffee Break | Lobby |
| 10:30 AM - 12:00 Noon Concurrent Sessions |
Session SAA | Room A | Session SAB | Room B | Tools demonstrations | Room C |
| 12:00 Noon - 1:30 PM | Lunch | Attendees on their own |
| 1:30 PM - 2:20 PM | Fast or Tight Propagation of Univariate
Taylor Coefficients (invited talk) A. Griewank, Technical University, Dresden, Germany Extended abstract in PostScript and pdf |
Plenary Room |
| 2:20 PM - 3:00
PM Concurrent Talks |
The Application Fields of the RejectIndex Parameter in Interval
Methods for Global Optimization (highlighted talk) T. Csendes, University of Szeged, Hungary, L. Casado, and I. Garcia, Universidad de Almeria, Spain Extended abstract in PostScript and pdf |
Room A | Interval Arithmetic Applied to
Structural Design of Uncertain Mechanical Structures (highlighted
talk) O. Dessombz and F. Thouverez, Ecole Centrale de Lyon, France Extended abstract in PostScript and pdf (caution: this pdf file may not work on some versions of Acrobat) Presentation in Compressed PostScript and in pdf |
Room B |
| 3:00 PM - 3:30 PM | Coffee Break | Lobby |
| 3:30 PM - 5:30 PM Concurrent Sessions |
Session SPA | Room A | Session SPB | Room B | Session SPC | Room C |