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


Call for papers

Please visit each session web pages.

Instructions for Authors is here.
Important Dates is here .


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, Paris 06, 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.


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/System/Signal
Control : Masaaki Kanno (Niigata University, Japan)
System (bio/bio-inspired): Hiroshi Yoshida (Kyushu University, Japan)
Signal : Andrzej Cichocki (RIKEN, Japan)

3) Software Science
Analysis :Enric Rodriguez Carbonell (Technical University of Catalonia, Spain)
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.

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