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

PDE1 - Partial Differential Equations 1 (Salle damier)

Chair: Kaori Nagatou

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

Chair: Evgenija D. Popova

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

IO - Integral Operators (Salle damier)

Chair: Michael Plum

NPA1 - Numerical Program Analysis 1 (Salle de presse)

Chair: Sylvie Boldo

16:20-16:45: Coffee break

16:45-18:00: Parallel sessions

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

Chair: Sylvain Collange

MV - Model Validation (Salle damier)

Chair: Wolfram Luther

ODE1 - Ordinary Differential Equations 1 (Salle de presse)

Chair: Neli Dimitrova

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

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

Chair: René Alt

ODE2 - Ordinary Differential Equations 2 (Salle de presse)

Chair: P. S. V. Nataraj

11:15-11:45: Coffee break

11:45-13:00: Parallel sessions

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

Chair: Nobito Yamamoto

GO2 - Global Optimization 2 (Salle damier)

Chair: Frédéric Goualard

RAI2 - Reliable Arithmetic Implementations 2 (Salle de presse)

Chair: Michel Rueher

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

PDE2 - Partial Differential Equations 2 (Salle damier)

Chair: Mioara Joldes

PS - Polynomial Systems (Salle de presse)

Chair: Stef Graillat

11:20-11:45: Coffee break

11:45-13:00: Parallel sessions

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

Chair: Guillaume Melquiond

SM - Stochastic Methods (Salle damier)

Chair: Walter Krämer

NPA3 - Numerical Program Analysis 3 (Salle de presse)

Chair: Florent de Dinechin

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

FPA - Floating-Point Arithmetic (Salle damier)

Chair: Takeshi Ogita

HS - Hybrid Systems (Salle de presse)

Chair: Luc Jaulin

16:20-16:45: Coffee break

16:45-18:00: Parallel sessions

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

Chair: Hermann Schichl

APP - Applications (Salle damier)

Chair: Wolfgang Walter

MPA - Multiple Precision Arithmetic (Salle de presse)

Chair: Philippe Langlois

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

RAI3 - Reliable Arithmetic Implementations 3 (Salle damier)

Chair: George Constantinides

LA4 - Linear Algebra 4 (Salle de presse)

Chair: Sergey Shary

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.