Tokyo Denki University, Japan
June 25 - June 27, 2001


The Fourth International Mathematica Symposium (IMS 2001) will be held at the Chiba Campus of Tokyo Denki University,
Japan, June 25 -June 27, 2001. The main topics of this symposium are the applications of computer algebra, Mathematica in particular, in various fields of education and research.
The Chiba campus of TDU is located in Inzai City, Chiba Prefecture, between Tokyo Narita Airport and Metropolitan Tokyo.
1. Keynote Speakers:
Paul Abbott, University of Western Australia, Australia
John Bolton, Open University, UK
Bruno Buchberger, Research Institute for Symbolic
Computation, Austria
Theo Gray, Wolfram Research Inc., USA
Tetsuo Ida, University of Tsukuba, Japan
Sin Hitotumatu, Tokyo Denki University, Japan
Rob Knapp, Wolfram Research Inc., USA
Andrzej Kozlowski, Toyama University of International
Studies, Japan
Roman Maeder, Computer-Aided Mathematics, Switzerland
Chikara Miyaji, Japanese Institute of Sports Sciences, Japan
Dana Scott, Carnegie-Mellon University, USA
Kazuo Tanne, University of Hiroshima, Japan
Paul Wellin, Wolfram Research Inc., USA
Tom Wickham-Jones, Wolfram Research Inc., USA
Stephen Wolfram, Wolfram Research Inc., USA

2. Program Committee:
Paul Abbott, University of Western Australia, Australia
Vladimir Buber, Murmansk State Technical University, Russia
Greg Chaitin, IBM, USA
Gautam Dasgupta, Columbia University, USA
Vladimir Demidov, Murmansk State Pedagogical Institute, Russia
Claudio Dupre, Research Institute for Symbolic Computation, Austria
Bradford Garton, Columbia University, USA
Alexander Georgiev, Nokia Mobile Phones, USA
Juha Haataja, CSC-Center of Scientific Computing, Finland
Allan Hayes, De Montfort University, UK
Antero Hietamaki, Rovaniemi Polytechnic, Finland
Christian Jacob, University of Calgary, Canada
Jarkko Kari, Iterated Systems Inc., USA
Hiromi Kawase, Tokyo Denki University, Japan
Veikko Keranen, Rovaniemi Polytechnic, Finland
Robert Kragler, Fachhochschule Ravensburg-Weingarten, Germany
Shigeki Matsumoto, Konan University, Japan
Philip Miller, Carnegie-Mellon University, USA
Peter Mitic, Positive Corporation Ltd., UK
Chikara Miyaji, Japanese Institute of Sports Sciences, Japan
Alexander Papusha, Murmansk State Technical University, Russia
Henry Power, Wessex Institute of Technology, UK
Philip Ramsden, Imperial College, UK
Heikki Ruskeepaa, University of Turku, Finland
Susumu Sakakibara, Tokyo Denki University, Japan
Klaus Sutner, Carnegie-Mellon University, USA
Dana Scott, Carnegie-Mellon University, USA
Yoshihiko Tazawa, Tokyo Denki University, Japan
Felix Ulmer, Universite de Rennes, France
Paul Wellin, WRI, USA
3. Organizing Committee:
Yoshihiko Tazawa (Chair), Tokyo Denki University, Japan
Yasuhiro Fukui, Tokyo Denki University, Japan
Hiromi Kawase, Tokyo Denki University, Japan
Shigeki Matsumoto, Konan University, Japan
Chikara Miyaji, Japanese Institute of Sports Sciences, Japan
Shinya Ohashi, Kashiwa High School, Japan
Susumu Sakakibara, Tokyo Denki University, Japan
Yashio Uemura, Tokyo Denki University, Japan
Kenji Yoshida, Konan Boys' High School, Japan
4. Symposium site:
Chiba Campus of Tokyo Denki University
2-1200 Muzai-Gakuendai, Inzai, Chiba Prefecture, 270-1382, JAPAN

Transportation to the site:

(1) From Narita Airport:
70 minutes by Narita-Kuko-Kotsu bus to Chiba-Newtown-Chuou, 7 minutes walk to the campus

(2) From the central part of Metropolitan Tokyo:
60 minutes by Hokuso-Kodan Line train to Chiba-Newtown-Chuou, 7 minutes walk to the campus

(3) From the conference lodging:
30 minutes by free shuttle bus

The campus is located in a quiet and spacious area in
the suburbs of Tokyo. There will be new buildings and
facilities for the new School of Information Environment
of TDU that will be founded next April.
5. Symposium fee:
(1) Before April, 2001:
30,000 Japanese Yen, that covers a copy of the proceeding, three lunches, the symposium dinner, and an excursion. ( 1 US Dollar is a little more than 100 Yen)
(2) April, 2001, and later:
35,000 Japanese Yen.

The procedure for sending the fee will be announced later via e-mail and on the web page.
6. Accommodation: Wishton Hotel Yukari
URL: http://www.yukarigaoka.co.jp/wishton/

(1) Address: 4-8-1 Yukarigaoka, Sakura, Chiba Prefecture 285-0858, Japan
Phone: +81-43-489-6111
Charge: 6,600 Yen per night with breakfast.

(2) Access from Narita Air port:
30 minutes by Keisei Train to Yukarigaoka Station
The hotel is close to the station.

(3) Transportation to the campus:
30 minutes by shuttle bus.

We do not have on campus dormitories. Wishton Hotel Yukari is a western style hotel of middle class located comparatively close to the campus. There are lots of hotels of various types in Metropolitan Tokyo, but since the transportation system in Tokyo is complicated and confusing for foreigners, we recommend Wishton Hotel.

The details about how to reach Wishton Hotel Yukari and the campus will be shown on the web page.

7. Schedule:
June 25 (Mon): Opening ceremony, keynote speeches, parallel sessions, conference dinner
June 26 (Tue): Keynote speeches, parallel sessions
June 27 (Wed): Keynote speeches, parallel sessions, closing ceremony
June 28 (Thu): Bus excursion

The bus excursion visits Naritasan Sinsyouji Temple, Bouso Village modeled after an old Japanese town, and the National History Ethnology Museum. This is a round tour from the campus and the lodging, and stops at Narita Airport around 15:00.

8. Grants:
The organizing committee plans to offer several grants to young researchers. The grants will cover registration,
travel and accommodation. Partial grants may also be offered. If interested in receiving a grant, please e-mail us (tazawa@cck.dendai.ac.jp) for the details.

9. Proceedings:
We will publish the proceeding of the symposium from Tokyo Denki University Press with an appendix CD-ROM.
The CD will contain electronic files of any format related to the talks. We will also display the accepted abstracts on the web page.

10. Deadlines:
Please send all the submissions to: tazawa@cck.dendai.ac.jp.

(1) Deadline for submission of abstracts is December 31, 2000.
Please send us manuscripts by e-mail. We prefer Mathematica notebooks, LaTeX files, or pdf files. The length should be no more than one page in A4 size. Submitted abstracts will be reviewed by the program committee; notification of acceptance will be made around February 28, 2001. The accepted abstracts will be introduced on the web page.

(2) Deadline for pre-registration is December 31, 2000. Please fill in the pre-registration form attached below and send it to us by e-mail. We will announce the registration details after December 31.

(3) Deadline for submission of full papers is April 30, 2001.
The manuscript should be typeset by LaTeX within eight pages in B5 size.

(4) Deadline for submission of electronic files is May 31, 2001.
The files can be of any format if the size is under 2MB.

11. The related activities:
The following activities are scheduled related to IMS 2001.

(1) Information Science Festival:
June 23 - 27, at Chiba Campus of TDU. A festival on computer science in general, in cooperation with Inzai municipality, open for all citizens. It consists of exhibitions, tutorials, and games.

(2) Workshop of Mathematica for High School Students & Teachers:
June 23 - 24, at Chiba Campus of TDU.

(3) Kansai (Western part of Japan) Session:
June 30 - July 1, at Konan University, Kobe, close to Kyoto and Osaka. It consists of lectures and tutorials including a high school class based on Mathematica. For the detail, please ask Prof. Shigeki Matsumoto (shigeki@konan-u.ac.jp) .

(4) Kagawa Session
June 29 (tentatively), at Kagawa University. It consists also of lectures and tutorials of Mathematica. For the detail, please reach Prof. Masao Arakawa (arakawa@eng.kagawa-u.ac.jp) .

All participants of IMS 2001 can take part in these activities
and are welcome to give presentations or exhibitions.

12. Sightseeing.
There are many sightseeing places both in the Tokyo area and the Kyoto area, and this will be a nice opportunity to visit some of them. Information is available, for example, at
for Tokyo and Kyoto areas, respectively. Our travel agent
Koji Miyamoto: hama-dantai@metro.knt.co.jp
of Kinki Nippon Tourist Ltd will help you.

13. Pre-registration
For a pre-registration, please fill in the following form and send it to: tazawa@cck.dendai.ac.jp.

Pre-registration form


Professional address:

Tel. number:

Fax number:

e-mail address:

home page URL:

Contribution of talk: ( Yes / No ):
Tentative title:


14. Further information:
Further information will be distributed via e-mail and
the web page: http://www.sie.dendai.ac.jp/ims2001/

Address for the correspondence:
Yoshihiko Tazawa
Department of Natural Sciences College of Engineering,
Tokyo Denki University
2-1200 Muzai-gakuendai, Inzai, Chiba Prefecture 270-1382, Japan
Phone/fax: 81(Japan)-476-46-8027
E-mail: tazawa@cck.dendai.ac.jp