Announcement Site Map

Speakers Links

Registration Travel

Accommodation Schedule

---

Second announcement and call for papers 
First announcement





SCAN2004


11th GAMM - IMACS International Symposium

on Scientific Computing, Computer Arithmetic, 

and Validated Numerics



Fukuoka, Japan

October 4 - 8, 2004




The international SCAN symposia series have been held under the joint 
sponsorship of GAMM and IMACS. These symposia have covered the numerical 
and algorithmic aspects of scientific computing, with a strong emphasis 
on validation and verification of computed results as well as on 
arithmetic, programming, and algorithmic tools for this purpose. 
Their objectives have been both to propagate current applications and 
research and to promote a greater understanding and increased awareness 
of the subject matters. SCAN2004 strives to become a forum for the
researchers of various fields in numerical validation to discuss many 
existing validation tools and approaches.



Special emphasis



Late Professor Teruo Sunaga, known as one of the pioneer of interval analysis, 
spent 34 years from 1959 to 1993 at Kyushu University, Fukuoka, as a research
associate, associate professor and full professor. He belonged to the Department 
of Mechanical Engineering, Faculty of Engineering. Unfortunately, he passed away 
in 1995 at the age of 65.  SCAN2004, therefore, will be a commemorative conference 
for his research contribution in interval analysis as well as his very long and 
distinguished service in Kyushu University.  During this conference, we will have 
a special plenary lecture, presented by Professor Masao Iri, on Professor Sunaga's
 profile and pioneering works in interval analysis.   


++ Topics of interest:

- Hardware and software support for validation tools
- Theory, algorithms and arithmetic for numerical validation 
- Symbolic and algebraic methods in validated computation
- Supercomputing and reliability
- Dynamical systems and validation
- Global optimization and validation
- Programming tools for numerical validation
- Computer aided proofs
- Industrial and scientific applications of numerical validation


++ Scientific program:

The scientific program will consist of invited plenary lectures and 
contributed presentations. Each plenary lecture includes a 45-minute 
talk with additional 5 minutes for discussion. Contributed presentations 
in parallel sessions are invited in all areas of the conference subjects. 
A contributed presentation involves a 25-minute oral presentation with 
additional 5 minutes for discussion. The conference language is English. 


++ Proceedings: 

Proceedings of the conference will be published in the special issue of 
Journal of Computational and Applied Mathematics by the publisher Elsevier. 


++ Scientific committee:

 G. Alefeld, Karlsruhe (Germany)
 R. Alt, Paris (France)
 J.-M. Chesneaux, Paris (France)
 G.F. Corliss, Milwaukee (Wisconsin, USA)
 T. Csendes, Szeged (Hungary)
 A. Frommer, Wuppertal (Germany)
 G. Heindl, Wuppertal (Germany)
 J. Herzberger, Oldenburg (Germany)
 K.-U. Jahn, Leipzig (Germany)
 E. Kaucher, Karlsruhe (Germany)
 R.B. Kearfott, Lafayette (Louisiana, USA)
 W. Kraemer, Wuppertal (Germany)
 V. Kreinovich, El Paso (Texas, USA)
 U. Kulisch, Karlsruhe (Germany)
 G. Mayer, Rostock (Germany)
 S. Markov, Sofia (Bulgaria)
 J.-M. Muller, Lyon (France)
 M. T. Nakao, Fukuoka(Japan)
 M. Plum, Karlsruhe (Germany)
 L.B. Rall, Madison (Wisconsin, USA)
 J. Rohn, Praha (Czechia)
 S.M. Rump, Hamburg (Germany)
 H. Schwandt, Berlin (Germany)
 Z. Shen, Nanjing (China)
 J. Vignes, Paris (France)
 W. V. Walter, Dresden (Germany)
 J. Wolff von Gudenberg, Wurzburg (Germany)
 T. Yamamoto, Tokyo (Japan)


++ Abstracts:

The submission of abstracts for contributed presentations was closed up. 
The book of abstracts will be distributed to each participants with
registration in the conference.


++ Conference site:

The conference SCAN2004 will be held at the Nishitetsu Grand Hotel
which is located just at the center of Fukuoka city. 


++ Information about the conference can be found at the URL address:
    http://scan2004.math.kyushu-u.ac.jp/ 


++ Questions can be sent to the e-mail address: 
    scan2004@math.kyushu-u.ac.jp


++ Conference Chairman: 
     Mitsuhiro T. Nakao (Faculty of Mathematics, Kyushu University)


++ Local Organization: 
     Masahisa Tabata  (Faculty of Mathematics, Kyushu University)
     Seiji Fujino (Computing and Communicatioins Center, Kyushu University)
     Kaori Nagatou  (Faculty of Mathematics, Kyushu University)
     Yoshitaka Watanabe (Computing and Communicatioins Center, Kyushu University)

++ Conference Office: 
    Chiyoko Nakaoka
    Secretary of SCAN2004 
    Faculty of Mathematics, Kyushu University
    Fukuoka 812-8581, JAPAN 

---