Program

Monday, September 27

9:00-9:15: Opening

9:15-10:15: Plenary talk (Amphithéâtre Mérieux)

Chair: Gilles Villard

Accurate and efficient expression evaluation and linear algebra, James Demmel (University of California at Berkeley, USA). (Slides.)

10:15-11:15: Plenary talk (Amphithéâtre Mérieux)

Chair: Nathalie Revol

Dynamical directions in numeration, Valérie Berthé (CNRS, LIAFA, France).

11:15-11:45: Coffee break

11:45-13:00: Parallel sessions

LA1 - Linear Algebra 1 (Amphithéâtre Mérieux)

Chair: Jürgen Garloff

Computing Guaranteed Error Bounds for Solutions of Matrix Equations, Andreas Frommer, Behnam Hashemi.
Quasi-Quadruple Precision Matrix Multiplication Based on Fast Routine for Matrix Computations, Katsuhisa Ozaki, Takeshi Ogita, Shin'ichi Oishi.
Accuracy issues in linear algebra using interval arithmetic, Hong Diep Nguyen, Nathalie Revol.

PDE1 - Partial Differential Equations 1 (Salle damier)

Chair: Kaori Nagatou

Solving the Poisson equations by an interval difference method of the second order, Andrzej Marciniak.
Difference Interval Methods For Solving Hyperbolic Partial Differential Equations, Barbara Szyszka.
Verified solutions of two-point boundary value problems for nonlinear oscillators, Florian Bünger.

TRA1 - Theoretical aspects of Reliable Arithmetic 1 (Salle de presse)

Chair: Evgenija D. Popova

Inner interval addition/subtraction — properties, application and implementation, Nathan Hayes, Neli Dimitrova, Svetoslav Markov. (Slides.)
Reliable Affine Arithmetic, Jordan Ninin, Frederic Messine.
Validated Solutions of the Fixed-point Problem for Perron-Frobenius Operators, Christoph Spandl.

13:00-14:30: Lunch

14:30-15:30: Plenary talk (Amphithéâtre Mérieux)

Chair: R. Baker Kearfott

Challenges for validated numerics in dynamical systems, Warwick Tucker (Uppsala University, Sweden).

15:30-16:20: Parallel sessions

GO1 - Global Optimization 1 (Amphithéâtre Mérieux)

Chair: Bartlomiej Kubica

Global Optimization of Mixed-Integer Nonlinear (Polynomial) Programming Problems: The Bernstein Polynomial Approach, Bhagyesh V. Patil, P. S. V. Nataraj, S. Bhartiya.
Convergence of Feasibility-Based Bounds Tightening, Pietro Belotti, Sonia Cafieri, Jon Lee, Leo Liberti.

IO - Integral Operators (Salle damier)

Chair: Michael Plum

Accuracy of the Discretization Matrix of a Radiative Transfer, Rosário Fernandes, Filomena d'Almeida.
A posteriori error estimates of Sinc-Nyström methods for Fredholm integral equations of the second kind, Tomoaki Okayama, Takayasu Matsuo, Masaaki Sugihara.

NPA1 - Numerical Program Analysis 1 (Salle de presse)

Chair: Sylvie Boldo

A Generalization of P-boxes to Affine Arithmetic, and Applications to Static Analysis of Programs, Olivier Bouissou, Eric Goubault, Jean Goubault-Larrecq, Sylvie Putot. (Slides.)
Code generation for argument filtering and argument reduction in elementary functions, Florent de Dinechin, Claude-Pierre Jeannerod, David Pfannholzer, Nathalie Revol.

16:20-16:45: Coffee break

16:45-18:00: Parallel sessions

RAI1 - Reliable Arithmetic Implementations 1 (Amphithéâtre Mérieux)

Chair: Sylvain Collange

Very Fast and Exact Accumulation of Products, Ulrich Kulisch.
Interval Arithmetic Hardware, Marco Nehmeier, Stefan Siegel, Jürgen Wolff von Gudenberg.
A New Monotonicity-Based Interval Extension Using Occurrence Grouping, Ignacio Araya, Bertrand Neveu, Gilles Trombettoni.

MV - Model Validation (Salle damier)

Chair: Wolfram Luther

An envelope for errors in hydrological model output caused by sampling and averaging, Ronald van Nooijen, Alla Kolechkina. (Slides.)
Towards Interval Techniques for Model Validation, Jaime Nava, Vladik Kreinovich. (Slides.)
Towards More Adequate Value-Added Teacher Assessments: How Intervals Can Help, Karen Villaverde, Olga Kosheleva. (Slides.)

ODE1 - Ordinary Differential Equations 1 (Salle de presse)

Chair: Neli Dimitrova

Verified Probability Bounds Analysis Around Bifurcations in an Ecosystem Model, Joshua A. Enszer, Kate A. Smith, Mark A. Stadtherr. (Slides.)
VERICOMP: A System to Compare and Assess Verified IVP Solvers, Ekaterina Auer, Andreas Rauh.
Computing optimal validated solutions of initial value problems for Ordinary Differential Equations, Nicolas Delanoue, Luc Jaulin.

Tuesday, September 28

9:00-10:00: Plenary talk (Amphithéâtre Mérieux)

Chair: Jean-Michel Muller

Formal proofs of floating-point algorithms, John Harrison (Intel Corporation, USA).

10:00-11:15: Parallel sessions

NPA2 - Numerical Program Analysis 2 (Amphithéâtre Mérieux)

Chair: Fabienne Jézéquel

Approximating floating-point operations to verify numerical programs, Mohammed Said Belaid, Claude Michel, Michel Rueher.
Verification of Programs: About the Practicality of Constraint-based Approaches and On Floating-Point Programs, Shubhra Datta, Martine Ceberio, Mario Bencomo, George Moreno.
Techniques for the automatic debugging of scientific floating-point programs, David H. Bailey, James Demmel, William Kahan, Guillaume Revy, Koushik Sen.

TRA2 - Theoretical aspects of Reliable Arithmetic 2 (Salle damier)

Chair: René Alt

The role of interval methods in Partial-Order Programming, Areski Nait-Abdallah, Maarten H. van Emden.
Product of Partially Ordered Sets (Posets) and Intervals in Such Products, with Potential Applications to Uncertainty Logic and Space-Time Geometry, Francisco Zapata, Olga Kosheleva, Karen Villaverde. (Slides.)

ODE2 - Ordinary Differential Equations 2 (Salle de presse)

Chair: P. S. V. Nataraj

Extremum seeking in an uncertain chemostat model of plasmid-bearing, plasmid-free competition, Neli Dimitrova.
Verified Propagation of Fuzzy Uncertainties in Nonlinear Dynamic Systems, D. Andrei Măceș, Mark A. Stadtherr. (Slides.)
Sensitivity-Based Feedforward and Feedback Control for Uncertain Systems, Andreas Rauh, Ekaterina Auer, Harald Aschemann.

11:15-11:45: Coffee break

11:45-13:00: Parallel sessions

LA2 - Linear Algebra 2 (Amphithéâtre Mérieux)

Chair: Nobito Yamamoto

Verified bounds for singular values, in particular for the spectral norm of a matrix and its inverse, Siegfried M. Rump.
Accurate Singular Value Decomposition for Ill-conditioned Matrices, Takeshi Ogita.
Error bounds for computed eigenvalues in generalized eigenvalue problem, Shinya Miyajima.

GO2 - Global Optimization 2 (Salle damier)

Chair: Frédéric Goualard

A Branch-and-Bound Algorithm for Unconstrained Global Optimization, Laurent Granvilliers, Alexandre Goldsztejn. (Slides.)
Exclusion regions for optimization problems, Hermann Schichl, Mihály Csaba Markót.
Computing Pareto-sets of multicriteria problems using interval methods, Bartlomiej Jacek Kubica, Adam Wozniak. (Slides.)

RAI2 - Reliable Arithmetic Implementations 2 (Salle de presse)

Chair: Michel Rueher

Embedding of C-XSC nonlinear problem solvers in Mathematica, Evgenija D. Popova, Walter Kraemer.
A Comparison of Different Verified Arithmetics in the Scope of Hierarchical Space Partitioning Structures, Eva Dyllong, Stefan Kiel.
Interval Arithmetic using Expression Templates, Template Meta Programming and the upcoming C++ Standard, Marco Nehmeier.

13:00-14:00: Lunch

14:15-18:15: Visit of the medieval city of Pérouges

18:15-22:15: Conference banquet at La Jonquillère in Tossiat

23:15: Arrival in Lyon

Wednesday, September 29

9:00-10:00: Plenary talk (Amphithéâtre Mérieux)

Chair: Andreas Frommer

Certification via Symbolic-Numeric Computations, Lihong Zhi (Academia Sinica, Beijing, China). (Slides.)

10:00-10:30: Plenary talk (Amphithéâtre Mérieux)

Chair: Svetoslav Markov

Jürgen Herzberger (1940–2009) – His scientific contributions, especially to interval analysis, Götz Alefeld (Karlsruhe Institute of Technology, Germany).

10:30-11:20: Parallel sessions

LA3 - Linear Algebra 3 (Amphithéâtre Mérieux)

Chair: Milan Hladik

Pivot Tightening for Direct Methods for Solving Systems of Linear Interval Equations, Jürgen Garloff. (Slides)
“Spanish version” of formal approach to enclosing solution sets of interval linear systems, Sergey P. Shary. (Slides.)

PDE2 - Partial Differential Equations 2 (Salle damier)

Chair: Mioara Joldes

A numerical verification method of solutions for parabolic initial-boundary value problems using a linearized inverse operator, Mitsuhiro T. Nakao, Takehiko Kinoshita, Takuma Kimura.
An Interval Finite Difference Method of Crank-Nicolson Type with Mixed Boundary Conditions, Malgorzata A. Jankowska.

PS - Polynomial Systems (Salle de presse)

Chair: Stef Graillat

Computing Isolated Singular Solutions of Polynomial Systems Accurately: Case of Breadth One, Nan Li, Lihong Zhi. (Slides.)
A new certified numerical algorithm for solving polynomial systems, Philippe Trebuchet.

11:20-11:45: Coffee break

11:45-13:00: Parallel sessions

CSP - Constraint Satisfaction Problems (Amphithéâtre Mérieux)

Chair: Guillaume Melquiond

On Utilizing Disconnected Images within GlobSol's Constraint Propagation Software, Ralph Baker Kearfott.
Solving set-valued constraint satisfaction problems, Luc Jaulin. (Slides.)
Verified Simplex Solver using the Tableau Form and Interval Arithmetic, Christoph Fuenfzig, Dominique Michelucci, Sebti Foufou.

SM - Stochastic Methods (Salle damier)

Chair: Walter Krämer

Quasilinear structures in stochastic arithmetic and their application, Rene Alt, Jean-Luc Lamotte, Svetoslav Markov. (Slides.)
A Verified Realization of a Dempster-Shafer-Based Fault Tree Analysis, Ekaterina Auer, Wolfram Luther, Gabor Rebner. (Slides.)
From an Interval to a Natural Probability Distribution on the Interval: Weakest-link Case, Distributions of Extremes, and Their Potential Application to Economics and to Fracture Mechanics, Monchaya Chiangpradit, Wararit Panichkitkosolkul, Hung T. Nguyen, Vladik Kreinovich. (Slides.)

NPA3 - Numerical Program Analysis 3 (Salle de presse)

Chair: Florent de Dinechin

Towards Automatic Accuracy Validation and Optimization of Fixed-Point Hardware Descriptions in SystemC, Arnaud Tisserand. (Slides.)
Automated Precision Analysis: A Polynomial Algebraic Approach, David Boland, George A. Constantinides.
Validated performance analysis of accurate summation algorithms, Bernard Goossens, Philippe Langlois, David Parello, Eric Petit.

13:00-14:30: Lunch

14:30-15:30: Plenary talk (Amphithéâtre Mérieux)

Chair: Jürgen Wolff von Gudenberg

A Scilab Interface for Interval Analysis, David Daney (INRIA Sophia Antipolis, Coprin project-team, France). (Slides.)

15:30-16:20: Parallel sessions

NM - Newton Method (Amphithéâtre Mérieux)

Chair: Christophe Mouilleron

An INTLAB based global optimization algorithm with an improved Newton step, László Pál, Tibor Csendes.
Numerical discussions on interval Newton method regarding two definitions of extended interval division, Chin-Yun Chen.

FPA - Floating-Point Arithmetic (Salle damier)

Chair: Takeshi Ogita

Trade-off between accuracy and time for automatically generated summation algorithms, Philippe Langlois, Matthieu Martel, Laurent Thévenoux.
Effect of round-off errors on the accuracy of randomized algorithms, Marc Daumas, Patrick Vilamajó.

HS - Hybrid Systems (Salle de presse)

Chair: Luc Jaulin

Interval-Based Sliding Mode Control and State Estimation for Uncertain Systems, Andreas Rauh, Harald Aschemann.
Interval-based identification of hybrid systems with smooth transitions: the case of electrolocation, Gilles Chabert, Rémi Douence.

16:20-16:45: Coffee break

16:45-18:00: Parallel sessions

GO3 - Global Optimization 3 (Amphithéâtre Mérieux)

Chair: Hermann Schichl

A class of problems that can be solved with interval algorithms, Bartlomiej Jacek Kubica. (Slides.)
GloptLab - A Configurable Framework for Global Optimization, Ferenc Domes, Arnold Neumaier.
Bound constrained interval global optimization in the COCONUT Environment, Mihály Csaba Markót, Hermann Schichl.

APP - Applications (Salle damier)

Chair: Wolfgang Walter

Relable circle covering and its applications for telecommunication networks, Balázs Bánhelyi, Endre Palatinus.
Verified Stability Analysis of Continuous-Time Control Systems with Bounded Parameter Uncertainties, Andreas Rauh, Ekaterina Auer, Thomas Dötschel, Harald Aschemann.
Estimating network loads in service networks - the uncertain data case, László Pál, Tibor Csendes.

MPA - Multiple Precision Arithmetic (Salle de presse)

Chair: Philippe Langlois

Interval Multiple-Precision Arithmetic with center-radius form, Nobito Yamamoto, Nozomu Matsuda.
Multiple/Arbitrary Precision Interval Computations in C-XSC, Walter Krämer.
SAM: a multiprecision stochastic arithmetic library, Stef Graillat, Fabienne Jézéquel, Yuxiang Zhu.

Thursday, September 30

9:00-10:00: Plenary talk (Amphithéâtre Mérieux)

Chair: Siegfried M. Rump

A self-validating norm computation of inverse for infinite dimensional linear operators and its applications, Yoshitaka Watanabe (Kyushu University, Fukuoka, Japan).

10:00-11:15: Parallel sessions

PDE3 - Partial Differential Equations 3 (Amphithéâtre Mérieux)

Chair: Mark Stadtherr

Numerical Verification of Existence for Solutions to Dirichlet Boundary Value Problems of Semilinear Elliptic Equations, Shin'ichi Oishi, Akitoshi Takayasu, Takayuki Kubo.
Guaranteed Eigenvalue Evaluation for Elliptic Problem over General Polygonal Domain, Xuefeng Liu.
Numerical existence proofs and Accurate error bounds of solutions to Semilinear elliptic equations with higher order finite elements, Akitoshi Takayasu, Xuefeng Liu, Shin'ichi Oishi, Takayuki Kubo.

RAI3 - Reliable Arithmetic Implementations 3 (Salle damier)

Chair: George Constantinides

Numerical validation of Slater integrals computation on GPU, Fabienne Jezequel, Jean-Luc Lamotte.
Faster AND Tighter Evaluation of a Polynomial Range Through SIMD Interval Arithmetic, Frédéric Goualard.
Implementation of a Long Accumulator Using Cache Memory, Stefan Siegel.

LA4 - Linear Algebra 4 (Salle de presse)

Chair: Sergey Shary

Characterization of Parametric Solution Sets, Evgenija D. Popova.
An enclosure for the solution set of parametric interval linear systems, Milan Hladik. (Slides.)
Sparse matrices in C-XSC and their application in solvers for parametric linear systems, Michael Zimmer, Walter Krämer, Evgenija D. Popova.

11:15-11:45: Coffee break

11:45-12:45: Plenary talk (Amphithéâtre Mérieux)

Chair: Vladik Kreinovich

On Piecewise Linearization by Algorithmic Differentiation, Andreas Griewank (Humboldt University Berlin, Germany).

12:45-13:00: Closing

Welcome to SCAN 2012

13:00-14:30: Lunch

Back to SCAN 2010 main page.