Workshop on Reliability in Scientific Computing and Related Topics
November 24-26, 2011, Sasebo, Japan 20111124Program
Japanese-German Workshop on Computer-Assisted Proofs and Verification Methods
September 18-22, 2011, Karlsruhe，Germany
Conference on Foundations of Computational Mathematics
FoCM Budapest 2011, July 4-14, 2011, Budapest, Hungary.
June 18-24, 2011, Gregynog Hall, Newtown, Powys, UK
ENS Lyon, France, September 27-30, 2010.
The Third China-Japan-Korea Joint Conference on Numerical Mathematics
Gangneung-Wonju National Univerisity , Gangneung, Korea, August 19–23, 2010.
The 7th International Conference on Scientific Computing and Applications
Dalian University of Technology, Dalian, China, June 13-16, 2010.
INVA2010 International Workshop on Numerical Verification and its Applications
Hotel Lido Azzurro “Annex”,Mitsune Hachijo-machi Hachijo-jima Tokyo Japan,10-15 March,2010.
Asian Symposium on Computer Mathematics (ASCM) and MACIS2009
JAL Resort Sea Hawk Hotel Fukuoka Japan
14 – 17 December 2009
Dagstuhl Seminar : Computer-assisted proofs – tools, methods and applications
Schloss Dagstuhl, Saarbruecken, Germany
15 – 20 November 2009
The International Conference of Numerical Analysis and Applied Mathematics 2009 (ICNAAM 2009)
Aquila Rithymna Beach, Rethymno, Crete, Greece,
18 – 22 September 2009
INDAM Meeting : Theoretical and computational methods in nonlinear differential equations
“Centro Residenziale Universitario di Bertinoro” (Forli’ – Italy)
13 – 18 September 2009.
the Universiti Brunei Darussalam (UBD), Brunei,
8 – 11 June 2009.
International Conference on Engineering and Computational Mathematics (ECM2009)
The Hong Kong Polytechnic University, China,
27 – 29 May 2009.
International workshop on verified computations and related topics
Karlsruhe, Germany
7 – 10 March 2009.
Finite Element Methods in Engineering and Science (FEMTEC 2008)
The University of Texas at El Paso
8 – 12 December 2008.
Daejon, Korea
10 – 12 October 2008.
The University of Texas at El Paso
29 September – 3 October 2008.
The 2nd China-Japan-Korea Joint Seminar on Numerical Mathematics
Weihai, China
25 – 29 August 2008.
EPSRC Gregynog Workshop, Computation and Analytic Problems in Spectral Theory
12 – 18 July 2008.
6th International Conference on Scientific Computing and Applications
Pusan National University, Busan, Korea
2- 5 June 2008.
