Workshop on Robust Software Construction
Information Processing Laboratory in the University of Tokyo starts a project named "Robust Software Construction". As its name indicates, this project aims to formalize a framework which assists construction of "robust" software that is efficient, correct, safe, and secure.
As the beginning of this five-year project, we would like to hold a workshop and welcome researchers of various fields in order to deepen knowledge and insight each other regarding robustness of software construction. The research topics of this workshop are (but not limited to):
| Prof. Hong Mei | (Peking University) |
| Prof. Alberto Pettorossi | (University of Roma Tor Vergata) |
| Dr. Maurizio Proietti | (IASI-CNR) |
| Prof. Eric Van Wyk | (University of Minnesota) |
This workshop will be held at IPC (International Productivity Center), Hayama, Kanagawa, where accommodations are also available.
It is about 90 min trip from Tokyo to IPC. Access information (in Japanese) can be obtained from:
http://www.js-ipc.gr.jp/access/index.html
We will prepare access information in English soon.
The following information would be useful for you.
There are two train companies coming to Narita Airport: JR (one of ex-national companies) and Keisei Line. When you arrive at Narita Airport, please take Keisei Line (Narita Airport terminal) to the other terminal "Keisei Ueno". You can take a Skyliner limited express which runs every 30 to 40 minutes (1,920 yen) or an ordinary express train (1,000 yen). The train trip takes around 1 hour.
The campus as well as your hotel "Yamanaka Ryokan" is within 15 to 20 minutes walk from the Keisei Ueno terminal. Some Lab member (maybe I if possible) will take you to the hotel from the Keisei Ueno terminal.
We have reserved hotel stays, but without meals (breakfast, either). It can be easily changed, so please let us know your preference.
For your information, the contact to the Hotel "Yamanaka-Ryokan":
4--23--1 Ikenohata, Taito-ku, Tokyo Phone: +81-(0)3-3821-4751 Fax: +81-(0)3-3821-4770
We will hand you `daily allowances' corresponding to your staying days. We are hoping to prepare it as early as possible, but it may be 24th in the earliest case, or around 27th when it fails.
I heard cash dispenser in larger postal offices (one exists near the campus of U-Tokyo) accepts credit cards (and probably cash cards with PLUS or Cirrus tags) for cashing. It is, however, Saturday that you arrive, so please bring some cash and exchange it at the Airport for sure.
Though the hotel does not seem to accept credit cards, it is ordinarily OK to prolong the payment until your checkout.
As I have informed, the administrators require some documents.
Please bring
- the receipt.
We will also ask a copy of flight tickets and your passport; this can be done after your arrival. For sure, also please keep the stab of the coming flight ticket.
Have a nice trip to Tokyo!
Due to the nature of this workshop, we would like to invite interested parties to join and give your talk. Please submit the title and abstract of your talk to Kazuhiko KAKEHI (kaz@ipl.t.u-tokyo.ac.jp) by January 31, 2003.
In order to encourage discussion and deepen understandings on these research areas, we also welcome participation without presentation. We are grateful if you would inform us your participation beforehand.
The following form would be convenient for submission or participation:
------------------------------------------------------------ Name : Gender : Ms. / Mr. Position/Title : Prof. / Dr. / Affiliation : E-mail : Accomodations : required / not required [for participants with talk] Talk title : Abstract : ------------------------------------------------------------
We do not ask fee for participation. Accommodations for two nights are around 20,000 yen.
We now plan to have a social in the second night. This cost will be collected separately.
| Masato TAKEICHI | (The Universitiy of Tokyo) |
| Yoshihiko FUTAMURA | (Waseda University) |
| Zhenjiang HU | (The University of Tokyo) |
| Kazuhiko KAKEHI | (The University of Tokyo) |
This workshop is funded by Superrobust Computation Project of the 21st Century COE (Center of Excellence) Program "Information Science and Technology Strategic Core" supported by the Japanese Ministry of Education, Culture, Sports, Science and Technology.