[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] Third Announcement of ASCM-MACIS 2009



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