The Joint Conference of ASCM2009 and MACIS2009
@ JAL Resort Sea Hawk Hotel Fukuoka Japan, Dec.14-17


Onsite registration is possible.
Please send us e-mail. >>>

Notice: Program is updated.

Please check "Program" on Menu bar.

Notice: Registration

Online registration is closed.

Notice: Submission Deadline Extention

September 25, 2009 Closed


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 on 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 the invited talks will be given in plenary session.

Invited Speakers

The invited talk "a new symbolic method for linear boundary value problem using Groebner bases" will be given by Dr. Markus Rosenkranz who is a collaborator of Prof. Bruno Buchberger.

Dr. Markus Rosenkranz (RICAM Austrian Academy of Sciences, Austria)
A New Symbolic Method for Linear Boundary Value Problems Using Grobner Bases

Professor Toshinori Oaku (Tokyo Woman's Christian University)
Holonomic functions revisited

Professor Kokichi Sugihara (Meiji University, Japan)
Computational Illusion --- Toward Escher and beyond Escher

Professor Lihong Zhi (Academy of Mathematics and System Sciences, China)
A Symbolic-numeric Algorithm for Computing the Multiple Roots of Polynomial Systems Accurately

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 symposia may be found at

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 describingtheir work to be presented at the conference. The submitted extended abstracts and full papers will be reviewed by membersof the Program Committee (PC) for soundness and relevance to the conference. Submission of original research papers isencouraged, 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 Paris 06, LIP6/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 a volume of Springer Lecture Notes in Artificial Intelligence (LNAI). The submitted papers will be formally reviewed according to the refereeing procedure of LNAI.

Mathematical Aspects of Computer and Information Sciences (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 for more details).
The second MACIS conference took place in Paris (France), December 5-7, 2007
(see 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 themes 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 (UPMC, Paris 06, France)
Rational: Eric Schost (Univ. of Western Ontario, Canada)

2) Control and System
Control : Masaaki Kanno (Niigata University, Japan)
System (bio/bio-inspired): Hiroshi Yoshida (Kyushu University, Japan)

3) Software Science
Synthesis: Jeremy Johnson (Drexel University, USA)
Language/Framework: Gabriel Dos Reis (Texas A &M University, USA)

The selected papers presented at MACIS 2009 will be published in Mathematics in Computer Science (MCS) special issues.


contact us:

Accepted papres are announced.


Invited Speaker's talk title is announced.


Excursion information is annouced on our website.


ASCM new links opened.

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

Copyright (C) The Joint Conference of the ASCM 2009 and the MACIS 2009. All Rights Reserved.