The First French-Japanese Workshop on Numerical Computations
March 22 - 25, 2015, Paris, France
Université Pierre et Marie Curie (Paris 6)
Last Update: Apr. 1, 2015
The French-Japanese Workshop on Numerical Computations 2015 (FJWNC 2015) will be held at Université Pierre et Marie Curie (Paris 6) on March 22 - 25, 2015.
The purpose of this workshop is to enhance the understanding and collaboration among researchers in the field of numerical computations.
Date and Place
Date: March 22 - 25, 2015
Place: LIP6, Université Pierre et Marie Curie (Paris 6) [Tower 25-26, 1st floor, Room 105]
Organizers
Stef Graillat (Université Pierre et Marie Curie) and Takeshi Ogita (Tokyo Woman's Christian University)
Participants
Sylvie Boldo (Inria Saclay - Île-de-France)
Stef Graillat (Université Pierre et Marie Curie, France)
Tomohiro Hiwaki (The University of Electro-Communications, Japan)
Fabienne Jézéquel (Université Pierre et Marie Curie, France)
Kenta Kobayashi (Hitotsubashi University, Japan)
Philippe Langlois (Université de Perpignan Via Domitia, France)
Christoph Lauter (Université Pierre et Marie Curie, France)
Jean-Michel Muller (ENS de Lyon, France)
Amine Najahi (Université de Perpignan Via Domitia, France)
Takeshi Ogita (Tokyo Woman's Christian University, Japan)
Nathalie Revol (ENS de Lyon, France)
Nobito Yamamoto (The University of Electro-Communications, Japan)
Schedule
[March 22 (Sun) - 23 (Mon)]
Free discussion (9:00 - 18:00)
[March 24 (Tue)]
Morning Session (9:00 - 12:00):
Free discussion
Afternoon Session (14:00 - 18:00):
Jean-Michel Muller: On the error of computing ab + cd using Cornea, Harrison and Tang's method. [slide]
Nobito Yamamoto: How to construct Lyapunov functions by validated computation.
Fabienne Jézéquel: Numerical validation of compensated summation algorithms with stochastic arithmetic. [slide]
Tomohiro Hiwaki: Numerical verification of domain in the basin of closed orbits.
Nathalie Revol: Numerical reproducibility and parallel computations: issues for interval algorithms.
Banquet (19:00 -)
[March 25 (Wed)]
Morning Session (9:30 - 12:00):
Philippe Langlois: Numerical reproducibility: feasibility and efficiency issues. [slide]
Christoph Lauter: Metalibmfilter - toward automatic code generation. [slide]
Sylvie Boldo: How to compute the area of a triangle: a formal revisit. [slide]
Kenta Kobayashi: On the interpolation constants over triangular elements.
Takeshi Ogita: Iterative refinement for symmetric eigenvalue decomposition.