forked from ICMS-conference/icms-conference.github.io
-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
Showing
43 changed files
with
2,189 additions
and
0 deletions.
There are no files selected for viewing
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Binary file not shown.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,88 @@ | ||
<html> | ||
<head> | ||
<title> ICMS'2010 - Kobe (Japan), Sept. 13-17 2010 </title> | ||
</head> | ||
<body> | ||
<a href="index.html">Home</a> | | ||
<a href="parts/about_icms.html">About icms </a> | | ||
<a href="parts/program.html">Program</a> | | ||
<a href="parts/registration.html">Registration/Accommodations</a> | | ||
<a href="parts/contact.html">Contact information</a> | | ||
<a href="parts/social.html">Social activities</a> | | ||
<a href="parts/about_kobe.html">About Kobe/Access</a> | | ||
<a href="parts/bb.html">Bulletin Board</a> | ||
|
||
|
||
<table border=0 cellspacing=0 cellpadding=0> | ||
<tr> | ||
<td> | ||
<center> | ||
<img src="icms2010-logo.png" alt="ICMS 2010" title="" width=200 align="top" vspace="10"> | ||
<h5> | ||
The Third International Congress <br> | ||
on Mathematical Software<br> | ||
[ ICMS 2010 - developers meeting ]<br> | ||
Kobe, September 13 to 17, 2010<br> | ||
</center> | ||
</h5></td> | ||
<td><script src="parts/random-photo.js"></script></td> | ||
</tr> | ||
</table> | ||
|
||
<h2> NEWS </h2> | ||
<p> | ||
<a href="http://dx.doi.org/10.1007/978-3-642-15582-6"> Lecture Notes in | ||
Computer Science, 6327, Mathematical Software --- ICMS 2010 </a>, | ||
<a href="http://www.springerlink.com/content/978-3-642-15581-9/"> | ||
the online version </a> | ||
<p> | ||
<font color="red">September 15: Updated <a href="parts/program.html">Final schedule</a>.</font> | ||
|
||
<p> | ||
September 7: <a href="parts/registration.html"> About registration desk </a>. | ||
<a href="parts/bb.html"> Bulletin board</a> is open. | ||
<p> | ||
September 3: Updated <a href="parts/program.html">Tentative schedule</a>. | ||
<p> | ||
|
||
<hr> | ||
|
||
<h2> OVERVIEW </h2> | ||
|
||
<p> | ||
This congress is the third in the series, where the first meeting was held in | ||
Beijing in 2002 and the previous one in Castro Urdiales, SPAIN in 2006; see | ||
http://www.icms2006.unican.es/ . The first two meetings were satellite events | ||
to ICM (International Congress of Mathematicians). We will have a presentation | ||
booth at ICM 2010 in India. <br><br> | ||
|
||
ICMS 2010 will take place at the Department of Mathematics, Kobe University, | ||
Kobe, Japan, September 13 to 17 (Monday to Friday), 2010. | ||
|
||
<p> | ||
We will welcome developers of mathematical software systems as well as | ||
researchers in algorithms and mathematicians who are interested in the | ||
development of mathematical software and systems. This is an almost unique | ||
chance to meet people in different disciplines in mathematics and computer | ||
science and exchange ideas on developments on mathematical software and | ||
systems. While the main audience of this meeting is assumed to be developers of | ||
mathematical software and software systems, we welcome the participation of | ||
mathematicians and scientists who are interested in using mathematical software | ||
for their research. | ||
|
||
<p> | ||
The proceedings of the congress is planned and all reviewed papers and short | ||
communications will be published as Springer Lecture Notes in Computer Science. | ||
(The proceedings of ICMS 2006 was published as LNCS Volume 4151.) | ||
<p> | ||
<hr> | ||
<h2> Archive </h2> | ||
<ul> | ||
<li> | ||
<a href="http://www.math.kobe-u.ac.jp/Attic/icms2010-2010-08-26"> | ||
This page on Aug 26, 2010 </a> | ||
</ul> | ||
|
||
</body> | ||
|
||
</html> |
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Large diffs are not rendered by default.
Oops, something went wrong.
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,25 @@ | ||
<html> | ||
<title> | ||
About icms | ||
</title> | ||
<body> | ||
|
||
|
||
<a href="../index.html" >Home</a> | | ||
<a href="aim.html" >About icms</a> | | ||
<a href="program.html" >Program</a> | | ||
<a href="registration.html" >Registration/accommodations</a> | | ||
<a href="contact.html" >Contact information</a> | | ||
<a href="social.html" >Social activities</a> | | ||
<a href="about_kobe.html" >About Kobe/Access</a> | | ||
<a href="bb.html">Bulletin board</a> | ||
|
||
<h2> About icms </h2> | ||
<ol> | ||
<li> <a href="committees.html" >Commitees</a> | ||
<li> <a href="plenary.html" >Plenary speakers</a> | ||
</ol> | ||
|
||
</body> | ||
</html> | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,181 @@ | ||
<html> | ||
<head> | ||
<meta http-equiv="Refresh" content=""> | ||
<title> | ||
About Kobe | ||
</title> | ||
</head> | ||
<body> | ||
|
||
|
||
<a href="../index.html" >Home</a> | | ||
<a href="aim.html" >About icms</a> | | ||
<a href="program.html" >Program</a> | | ||
<a href="registration.html" >Registration/accommodations</a> | | ||
<a href="contact.html" >Contact information</a> | | ||
<a href="social.html" >Social activities</a> | | ||
<a href="about_kobe.html" >About Kobe/Access</a> | | ||
<a href="bb.html">Bulletin board</a> | ||
|
||
|
||
<h2> About Kobe </h2> | ||
|
||
The center of Kansai (Osaka bay area) consists of three big cities, | ||
which are Kyoto, Osaka and Kobe. These three cities are in commuting | ||
distance and each city has different characters. To come to Kobe from | ||
abroad, we recommend to take a direct flight which arrives at the | ||
Osaka (Kansai) international airport (KIX) and take a limousine bus to Sannomiya | ||
(downtown of Kobe). | ||
|
||
<p> | ||
Here are links to tourist agencies of | ||
<a href="http://www.feel-kobe.jp/english/index.html" target="_blank"> | ||
Kobe</a>, | ||
<a href="http://www.osaka-info.jp/en/" target="_blank"> | ||
Osaka</a> and | ||
<a href="http://www.kyoto.travel/" target="_blank"> | ||
Kyoto</a>. | ||
<p> | ||
|
||
<h2> Access </h2> | ||
<h3> Preparations </h3> | ||
We recommend you to make money exchanges at the airport. Rates are the same with banks in downtown. | ||
You can also make money exchanges in some banks in Sannomiya area | ||
(<a href="http://maps.google.com/maps?ll=34.694075,135.19416"> google map </a>). | ||
Most bank ATM's will not accept your ATM card, | ||
but cashing machines of credit card companies may accept your card. | ||
(Please check on these things for your bank or card companies.) | ||
You can find cashing machines at Sannomiya area. | ||
The "Sannomiya center street" is a shoping mall with a roof. | ||
The entrace is located south of the sannomiya station and is near the building with the sign OIOI | ||
Kobe Marui. | ||
The entrance has a sign "Sannomiya center street" in English. | ||
Banks and cashing machines are near the entrance. <p> | ||
The ATM machine at the Seven eleven (south of the No.25 building of the campus map) | ||
in the campus will accept your credit card. | ||
<p> | ||
Japan uses AC power plugs of the <a href="http://en.wikipedia.org/wiki/AC_power_plugs_and_sockets"> type A</a>, | ||
which is also used in US. | ||
The voltage is 100V. | ||
Most laptop computers will work with 100V, | ||
but it is hard to buy a plug converter from other types to the type A, once you have arrived in Japan. | ||
Do not forget to bring a plug converter! | ||
|
||
|
||
<h3> How to come to Kobe downtown (Sannomiya)?</h3> | ||
|
||
If you arrive at the Kansai (Osaka) international airport (KIX), | ||
take a limousine bus to Kobe (Sannomiya). | ||
The bus stops near the Sannomiya station. | ||
Please look up <a href="../koutu-e.html#kix"> this </a> for details. <p> | ||
If you stay at the Toyoko-Inn Sannomiya No.2, the hotel is near the | ||
bus stop. See the <a href="../sannomiya.png"> map </a> (hand written) | ||
and the <a href="rtsp://vs.math.kobe-u.ac.jp:554/ms/icms2010/bus-toyoko-iPhone.mov"> video </a> | ||
(<a href="http://fe.math.kobe-u.ac.jp/Movies/ms/icms2010/bus-toyoko.qtl"> video-qtl </a>) | ||
|
||
|
||
<h3> How to come to the conference place?</h3> | ||
(If you have a difficulty of watching the streaming video, please download the zip file below. Videos are in the zip file.) <p> | ||
|
||
ICMS2010, Kobe is going to be held in the building Z | ||
of the faculty of science (No.12 in the map), Kobe University | ||
(<a href="../rokkodai-campus-map.pdf"> Campus map </a>). | ||
You can come to the building Z by following the 3 steps. | ||
It will take about 30 minutes. | ||
|
||
<ol> | ||
|
||
<li> Go to the Hankyu <a href="http://en.wikipedia.org/wiki/Sannomiya_Station"> Sannomiya station (wikipedia)</a>: | ||
<a href="../sannomiya.png"> map </a> (hand written) | ||
and | ||
<a href="rtsp://vs.math.kobe-u.ac.jp:554/ms/icms2010/hotel-station-iPhone.mov"> video </a> | ||
(<a href="http://fe.math.kobe-u.ac.jp/Movies/ms/icms2010/hotel-station.qtl"> video-qtl </a>) | ||
[Toyoko-Inn Sannomiya No.2->Hankyu Sannomiya station ]. | ||
|
||
<li> Take a Hankyu <font color="blue"> local </font> or express | ||
train (those with yellow or black destination signes) | ||
bound for Umeda (downtown Osaka) or for Nishinomiya-kitaguchi | ||
<a href="rtsp://vs.math.kobe-u.ac.jp:554/ms/icms2010/sannomiya-station-iPhone.mov"> video </a> | ||
(<a href="http://fe.math.kobe-u.ac.jp/Movies/ms/icms2010/sannomiya-station.qtl"> video-qtl </a>) | ||
[Hankyu Sannomiya station -> Kasugano-michi stn -> Oji-koen stn -> Hankyu Rokko station]. | ||
The Limited express trains (with red destination signes) do not stop at Hankyu Rokko station. | ||
The ticket price is 180yen. | ||
All important signs in station are written in Japanese and English. | ||
Most ticket machines do not have English signs, but what you need to press are number buttons. | ||
|
||
|
||
<li> Go to the Kobe University from Hankyu Rokko station | ||
by taxi or bus (No.36, 200yen) or by walk: | ||
<a href="../rokko.png"> map </a> (hand written) | ||
and | ||
<a href="rtsp://vs.math.kobe-u.ac.jp:554/ms/icms2010/rokko-univ-iPhone.mov"> video </a> | ||
(<a href="http://fe.math.kobe-u.ac.jp/Movies/ms/icms2010/rokko-univ.qtl"> video-qtl </a>) | ||
[from Rokko station to building Z]. <br> | ||
When you take a bus, get off at the 3rd stop (Shindai-bunri-nougakubu mae). | ||
<!-- | ||
<a href="rtsp://vs.math.kobe-u.ac.jp:554/cm/icms2010-travel/Rokko-bus-iPhone.mov"> Streaming </a>. | ||
--> | ||
</ol> | ||
|
||
<p> | ||
If you come from different places or want to know more details, | ||
please look up | ||
<a href="../koutu-e.html"> | ||
"Travel guide to the Department of Math., Kobe Univ." </a> | ||
<p> | ||
To come back to Hankyu Rokko station from the campus, we usually go by walk: | ||
<a href="rtsp://vs.math.kobe-u.ac.jp:554/ms/icms2010/univ-rokko-iPhone.mov"> video </a> | ||
(<a href="http://fe.math.kobe-u.ac.jp/Movies/ms/icms2010/univ-rokko.qtl"> video-qtl </a>) | ||
[from building Z to Rokko station]. | ||
<p> | ||
Note 1: | ||
If you firstly come to the university, we recommend to take a taxi | ||
from Hankyu Rokko station. The cost will be about 680yen | ||
(small sized car). | ||
If you share the taxi with other participants, it will be cheaper than | ||
taking a bus (200yen). | ||
The campus is big and the taxi driver needs to know which place he should go. | ||
<font color="red"> Show <a href="../for-taxi.png"> this map and instruction </a> to the driver </font>. | ||
<br> | ||
Note 2: | ||
Ticket vending machines work with the order | ||
(1) insert money (2) press the ticket price or the destionation | ||
(3) issue a ticket. | ||
The order is not (2), (1), (3), which is common in Europe and in north | ||
America. <br> | ||
Note 3: | ||
Any city bus has a money changing machine, which accept 1,000 yen bills. | ||
It does not accept 5,000 yen or 10,000 yen bills. <br> | ||
Note 4: | ||
Buses (line 36) from Hankyu Rokko station might be very crowded. | ||
In this case it will be a good idea to take a bus of line 36 from | ||
JR Rokko-michi station | ||
where you can go from Sannomiya by the JR line. | ||
The bus will bring you to Kobe university via the Hankyu Rokko station. | ||
If the nearest station of your hotel is JR Kobe or JR Motomachi, | ||
it will be good to take the bus of line 36 from JR Rokko-michi station. | ||
More details are explained <a href="../koutu-e.html#to-rokko-michi">here</a> | ||
<br> | ||
Note 5: | ||
In order to buy a prepaid card for Hankyu lines and buses, please look up | ||
<a href="../koutu-e.html#LaGareCard"> this </a>. | ||
|
||
<p> | ||
<a href="../icms2010-travel.zip"> Download this guide, map, and movies </a> in zip file. | ||
|
||
|
||
|
||
|
||
<br> | ||
<h3> FAQ </h3> | ||
<ul> | ||
<li> Q. Where can I buy an umbrella? <br> | ||
A. You can buy a cheap umbrella at convinience stores (seven-eleven, Lauson, Family-Mart,...) | ||
or at a kiosk at train stations. | ||
The price will be less than 1,000 yen. | ||
</ul> | ||
|
||
|
||
</body> | ||
</html> | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,52 @@ | ||
<html> | ||
<title> | ||
AIM | ||
</title> | ||
<body> | ||
|
||
|
||
<a href="../index.html" >Home</a> | | ||
<a href="aim.html" >About icms</a> | | ||
<a href="program.html" >Program</a> | | ||
<a href="registration.html" >Registration/accommodations</a> | | ||
<a href="contact.html" >Contact information</a> | | ||
<a href="social.html" >Social activities</a> | | ||
<a href="about_kobe.html" >About Kobe/Access</a> | | ||
<a href="bb.html">Bulletin board</a> | ||
|
||
<h2> AIM AND SCOPE </h2> | ||
|
||
<p> | ||
Mathematics has a wide variety of branches. Despite this, we in the | ||
International Congress on Mathematical Software believe that mathematics is | ||
fundamentally just one thing. Algebra, geometry and analysis are examples of | ||
separate specialities within mathematics, and of course we consider each of | ||
them valuable and hence study them. But we take the view that any branch of | ||
mathematics can borrow freely from these specialities. It is often worthwhile | ||
delving into them for ideas that might lead to fundamental new discoveries. | ||
The same can be said of mathematical software systems: the study of | ||
mathematical software is a coherent whole. We believe that the appearance of | ||
mathematical software is a fundamentally new event in mathematics of increasing | ||
importance. Mathematical software systems are used to construct examples, to | ||
prove theorems, and to find new mathematical phenomena. Conversely, mathematical | ||
research often motivates developments of new algorithms and new systems. Beyond | ||
mathematics, mathematical software systems are becoming indispensable tools in | ||
many branches of science and technology. The development of mathematical | ||
software systems relies on the cooperation of mathematicians, algorithm | ||
designers, programmers, and the feedback from users. The main audience of this | ||
congress is the community of mathematical software developers and programming | ||
mathematicians, but we also intend to provide an opportunity to discuss these | ||
topics with mathematicians and users from application areas. Topics include but | ||
are not limited to: | ||
<pre> | ||
1. Design and implementation of mathematical software | ||
2. Software engineering problems for mathematical software. | ||
3. Mathematics and media including user interfaces and integration of documents | ||
and software systems. | ||
4. Mathematics related to mathematical software (experiments, algorithms). | ||
5. Scientific and high performance computing. | ||
6. Applications of mathematical software. | ||
</pre> | ||
</body> | ||
</html> | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,46 @@ | ||
<html> | ||
<head> | ||
<meta http-equiv="Content-Type" content="text/html; charset=iso-2022-jp"> | ||
<title> | ||
Bullitin Board | ||
</title> | ||
</head> | ||
<body> | ||
|
||
|
||
<a href="../index.html" >Home</a> | | ||
<a href="aim.html" >About icms</a> | | ||
<a href="program.html" >Program</a> | | ||
<a href="registration.html" >Registration/accommodations</a> | | ||
<a href="contact.html" >Contact information</a> | | ||
<a href="social.html" >Social activities</a> | | ||
<a href="about_kobe.html" >About Kobe/Access</a> | | ||
<a href="bb.html">Bulletin board</a> | ||
|
||
|
||
<h2> Wiki</h2> | ||
<a href="http://ocs.math.kobe-u.ac.jp/pukiwiki-1.4.7_notb_utf8/"> | ||
Wiki page for icms. </a> | ||
Please upload slides of your talks to this wiki page by the "Upload" menu. | ||
|
||
<h2> Lecture video </h2> | ||
We will record all lectures in video. | ||
Videos will be put at | ||
<a href="http://fe.math.kobe-u.ac.jp/Movies/ms/icms2010/icms2010-video.html"> | ||
our streaming and downloading server</a> | ||
with a license "creative commons, Attribution-NoDerivative works 2.1 | ||
plus alpha". | ||
See | ||
<a href="http://fe.math.kobe-u.ac.jp/Movies/cm/license-en.html"> | ||
this page </a> for details. | ||
If you do not like to put your lecture on the server, | ||
please let us know it by an e-mail to <br> | ||
[email protected] | ||
|
||
|
||
|
||
|
||
|
||
</body> | ||
</html> | ||
|
Oops, something went wrong.