-------- Original-Nachricht -------- Betreff: Third Announcement of ASCM-MACIS 2009 Datum: Fri, 18 Sep 2009 11:03:31 +0900 Von: YANAMI Hitoshi yanami@labs.fujitsu.com Antwort an: ascm-macis2009@math.kyushu-u.ac.jp An: YANAMI Hitoshi yanami@labs.fujitsu.com

We apologize if you receive this message more than once. Please circulate the information among your colleagues and students.

=====================================================================

The Joint Conference of ASCM 2009 and MACIS 2009

December 14th-17th, 2009

JAL Resort Sea Hawk Hotel, Fukuoka, Japan

Website: http://gcoe.math.kyushu-u.ac.jp/ascm-macis2009/ Contact Address: ascm-macis2009@math.kyushu-u.ac.jp

=====================================================================

INVITED SPEAKERS ----------------- Professor Bruno Buchberger (RISC, Austria) Professor Toshinori Oaku (Tokyo Woman's Christian University, Japan) Professor Kokichi Sugihara (Meiji University, Japan) Professor Lihong Zhi (Academy of Mathematics and System Sciences, China)

IMPORTANT DATES ---------------

***** Extended Submission Deadline : September 25, 2009 ***** Notification of acceptance : October 20, 2009 Camera-ready : November 10, 2009

SUBMISSION INSTRUCTIONS ----------------------- Basically, submission of paper should be done via the EasyChair system till 25th September. But, some sessions use different style and different deadlines. Please confirm the style of submission and the deadline by visiting the web page of the session in which you want to participate.

EasyChair Login Page for ASCM: Digitizing Mathematics Deadline: 12th October 2009 http://www.easychair.org/conferences/?conf=ascmdm09

EasyChair Login Page for ASCM: Regular session and other organized sessions http://www.easychair.org/conferences/?conf=ascm2009

EasyChair Login Page for MACIS organized sessions (multitrack) Deadline: 15th September 2009 http://www.easychair.org/conferences/?conf=macis2009

Details on how to prepare and submit abstract/paper are found in the website of ASCM/MACIS.

BACKGROUND ---------- Two international conferences

* the 9th Asian Symposium on Computer Mathematics (ASCM 2009) and * the 3rd International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS 2009)

will be held jointly at Fukuoka in December 14th -17th, 2009 supported by the GCOE program "Math-for-industry" of the Graduate School of Mathematics of Kyushu University and Mathematical Research Center for Industrial Technology of Kyushu University. The programs of ASCM and those of MACIS will be organized independently by each program committee except invited talks. Sessions of ASCM and those of MACIS will be held in parallel and invited talks will be given in plenary.

JOINT ORGANIZING COMMITTEE -------------------------- General Chair:

Masakazu Suzuki (Kyushu University, Japan)

Local chairs:

Hiroshi Yoshida (Kyushu University, Japan) Tatsuyoshi Hamada (Fukuoka University/JST CREST, Japan) Koji Nakagawa (Kyushu University, Japan)

Program Committee Chairs of the MACIS:

Hoon Hong (North Carolina State University, USA) Hirokazu Anai (Kyushu University/Fujitsu Laboratories LTD, Japan)

Program Committee Chairs of the ASCM:

Chee Yap (New York University, USA) Yosuke Sato (Tokyo University of Science, Japan)

Coordinator of the joint conference:

Kazuhiro Yokoyama (Rikkyo University, Japan)

Program Committee Members of the MACIS:

Enric Rodriguez Carbonell (Barcelona, Spain) Andrzej Cichocki (RIKEN, Japan) Mohab Safey El Din (UPMC, INRIA, France) Jeremy Johnson (Drexel University, USA) Masaaki Kanno (Niigata University, Japan) Gabriel Dos Reis (Texas A&M University, USA) Fabrice Rouillier (INRIA, France) Eric Schost (Univ. of Western Ontario, Canada) Hiroshi Yoshida (Kyushu University, Japan)

Program Committee Members of the ASCM:

Xavier Dahan (Kyushu University, Japan) Xiao-Shan Gao (Chinese Academy of Sciences, China) Deepak Kapur (Univ. of New Mexico, USA) Ziming Li (Academy of Mathematics and System Sciences, China) Hirokazu Murao (The University of Electro Communications, Japan) Mitsuhiro Nakao (Kyushu Univesity, Japan) Hyungju Park (KIAS, Korea) Guenael Renault (UPMC, INRIA, France) Ko Sakai (Tsukuba University, Japan) Alan P. Sexton (University of Birmingham, UK) Volker Sorge (University of Birmingham, UK) Gert Vegter (Groningen University, the Netherlands)

========= ASCM 2009 ========= The Asian Symposium on Computer Mathematics (ASCM) is a series of conferences which serve as a forum for participants to present original research, learn of research progress and developments, and exchange ideas and views on doing mathematics using computers.

The previous ASCM meetings were held in Beijing, China (1995), Kobe, Japan (1996), Lanzhou, China (1998), Chiang Mai, Thailand (2000), Matsuyama, Japan (2001) , Beijing, China (2003), Seoul, Korea (2005), Singapore, Singapore (2007). Further information on previous ASCM symposium may be found at http://www.mmrc.iss.ac.cn/ascm. This year, the meeting will consist of invited talks, regular sessions of contributed papers, and three organized sessions. Regular sessions are run in a traditional style of ASCM. Each organized session is run by its organizer(s) independently.

Regular session: Potential participants of regular sessions are invited to submit extended abstracts (3-4 pages) or full papers describing their work to be presented at the conference. The submitted extended abstracts and full papers will be reviewed by members of the Program Committee (PC) for soundness and relevance to the conference. Submission of original research papers is encouraged, while published material and work in progress will also be considered for presentation at the conference. Research papers on all aspects of the interaction between computers and mathematics are solicited for the symposium. Specific topics include but are not limited to:

* Computer-aided problem solving and instruction * Symbolic, algebraic, and geometric computation * Computational number theory, cryptography, and combinatorics * Automated mathematical reasoning and interactive theorem proving * Symbolic/numeric hybrid methods * Computational algebra and geometry * Formalization of mathematics * Computational methods for differential and difference equations * Mathematical software design and implementation * Parallel/distributed/network computing * Exact numerical methods and zero bounds * Foundations of real computation and complexity issues

Organized sessions:

1) Digitizing Mathematics -- From Pen and Paper to Digital Content Organizers: Volker Sorge and Alan P. Sexton (University of Birmingham, UK)

2) Validated Numerical Computation Organizer: Mitsuhiro Nakao (Kyushu Univesity, Japan)

3) Computational Algebraic Number Theory Organizer: Guenael Renault (UPMC, INRIA, France)

Accepted extended abstracts and full papers will be printed for distribution at the conference. Authors of the extended abstracts and full papers accepted for presentation at the conference will be invited to submit their full and/or revised papers for publication in in MCS special issues or in a volume of LNAI. The submitted papers will be formally reviewed according to the refereeing procedure of MCS or LNAI.

========== MACIS 2009 ========== MACIS is a new series of conferences where foundational research on theoretical and practical problems of mathematics for computing and information processing may be presented and discussed. MACIS also addresses experimental and case studies, scientific and engineering computation, design and implementation of algorithms and software systems, and applications of mathematical methods and tools to outstanding and emerging problems in applied computer and information sciences.

The first MACIS conference took place in Beijing (China), July 24-26, 2006 (see http://www.cc4cm.org/macis2006/ for more details). The second MACIS conference took place in Paris (France), December 5-7, 2007 (see http://www-spiral.lip6.fr/MACIS2007/ for more details).

MACIS2009 is run in a format where each PC member organizes a session on a specific topic. MACIS 2009 consists of 9 sessions, which are categorized into three main thema as shown in the following:

------------------------------+--------------------------------------------- theme / sessions | PC member in charge ------------------------------+--------------------------------------------- 1) Polynomial system solving

complex Fabrice Rouillier (INRIA, France) real Mohab Safey El Din (INRIA, France) rational Eric Schost (Univ. of Western Ontario, Canada)

2) Control/System/Signal

control Masaaki Kanno (Niigata University, Japan) system (bio/bio-motivated) Hiroshi Yoshida (Kyushu University, Japan) signal Andrzej Cichocki (RIKEN, Japan)

3) Software Science

Analysis Enric Rodriguez Carbonell (Barcelona, Spain) Synthesis Jeremy Johnson (Drexel University, USA) Language/Framework Gabriel Dos Reis (Texas A&M University, USA) ------------------------------+---------------------------------------------

Accepted extended abstracts and full papers will be printed for distribution at the conference. Authors of the extended abstracts and full papers accepted for presentation at the conference will be invited to submit their full and/or revised papers for publication in in MCS special issues. The submitted papers will be formally reviewed according to the refereeing procedure of MCS.

----

----- Hitoshi Yanami FUJITSU LABORATORIES LTD. E-MAIL: yanami@labs.fujitsu.com