• (Oct. 27) [Transportation] Detailed Transportation Guide
• (Oct. 25) [Accomodation] Reduced rate reservation deadline: Oct. 26th, 17:00 (JST)
• (Oct. 16) Technical Program
• (Oct. 4) Accommodation & Transportation Information
• (Sep. 29) Note to Authors (about uploading your camera-ready)
• (Sep. 29) On-line Registration is now open
• (Aug. 25) Call for Demonstrations
• (Aug. 15) Links to On-line PC Meeting pages are now open (at the bottom of this page).
• (Jul. 25) Extended Deadline: August 10
• (Jul. 25) Online submission page is now ready.

The international symposium on the principles of software evolution, ISPSE2000, is organized for discussing and presenting papers on principles and fundamental aspects of software evolution. Software evolution generally means that software changes itself according to the change of its specification/requirements or its operating environment. It is widely recognized as one of the most important problems in software technologies. Although a significant amount of work has been done so far and most of the modern software concepts are essential for software evolution, it is still a challenging problem to be attacked. This is due to its inherent complexity and to the lack of our understanding of basic principles for software evolution. ISPSE2000 is intended to cover wide ranges of topics of software evolution, from theoretical foundations to empirical studies and solicits papers from all the aspects of software evolution. Two categories of papers are sought:

• Category A: Theories, Computational Models and Language Constructs
• Category B: Mechanisms, Methodologies, Environments and Empirical Studies

In category A, topics include, though not limited to, theoretical foundations, computational mechanisms and language constructs which make software flexible and evolvable, such as incremental proof/computation, reflection, and higher order functions. In category B, topics include, though no limited to, specification techniques for evolutionary software, consistency management, analysis tools/repository for evolution, architectures for evolutionary software, and empirical studies.

All accepted papers are distributed at the symposium as preprints. After the symposium, the proceedings of the (possibly updated) papers are published from IEEE CS Press

Nov. 1, 10:00-11:00

Towards a Theory of Software Evolution - And its Practical Impact

Manny Lehman

Nov. 2, 9:00-10:00

Evolving Large-Scale Distributed Systems

Alexander L. Wolf

Nov. 2, 14:00-15:00

Calculation Carrying Programs: How to Code Program Transformation

Masato Takeichi

Participants (including authors, PCs and other committees) are required to register using our ON-LINE REGISTRATION FORM. No registration fee is required. ISPSE 2000 is fully suppoted by the sponsors.

• On-line Registration Form

Please accept our apology for the delay in preparing our website for uploading your camera-ready papers (for preprints). We have already sent the URL of the website. In the previous e-mail, we mentioned the use of FTP for this purpose; we are sorry that we cannot prepare this because it conflicts the security policy of JAIST. If you have any trouble on uploading your paper, please send it via e-mail to ispse2000@jaist.ac.jp.

Papers are sought which do not exceed 6000 words in length. We recommend to use ACM SIG Proceedings Templates for MS-Word, Word Perfect and LaTeX2e. Papers should be electronically submitted in PDF format specifying their category. Register and upload your paper using the following links.

• Category A Paper Registration/Uploading (closed)
• Category B Paper Registration/Uploading

If you have any trouble on registering/uploading your paper, please send it to ispse2000@jaist.ac.jp as a MIME-encoded e-mail. Your submission should include the following information as a plain (ASCII) text part.

1. Your Name
2. Your Affiliation
3. Contact Address, Phone and Facsimile Numbers, E-mail address
4. Paper Category (A or B)
5. Paper Title
6. Abstract (max. 300 words)

• Papers due: August 10 (updated)
• Notification of acceptance: September 5
• Final paper due: September 20

As an important part of the symposium, ISPSE 2000 also welcomes live demonstrations which provide an opportunity for researchers to exchange in-depth experiences in the development of advanced softwares. Those who are interested in demonstrating their systems should submit a two-page abstract in the same style and format (PDF or PostScript) as the ordinary papers. Each submission should include (a) the title of the demonstration, (b) names, affiliations and e-mail addresses of the presenters, and (c) descriptions of the demonstration. Demonstrations will be selected on the basis of technical merit, novelty and relevance to software evolution and also feasibility of presentation. Demonstrations related to papers appearing at the symposium are particuarly encouraged. Please note that all demonstration equipment (PCs, displays, cables, etc.) should be provided by the presenter. We will only provide an internet connection at the symposium site.

• Abstract due: September 15
• Notification of acceptance: September 25

ISPSE2000 is held at Ishikawa High-Tech Conference Center (IHTCC), which is next to JAIST (Japan Advanced Institute of Science and Technology). JAIST is dedicated to graduate study and is going to celebrate its 10th anniversary. The site is 35 min. to Kanazawa city which is famous for its historic background and popular for tuorists.

• Ishikawa High-Tech Conference Center (in Japanese)

Transportation Guide (updated)

• Detailed Transportation Guide for ISPSE2000 Participants
• Transportation to IHTCC/JAIST (from JAIST official website)

Official Hotel

We hava a limited, but reduced rate block reservation on the following hotel. Please make your reservation by yourself, stating that you will participate in ISPSE2000 held at JAIST.

Western style hotel located in the suburb of Kanazawa city. 15 min. to downtown Kanazawa, 25 min. to symposium site and 50 min. to Komatsu Airport. Shuttle bus service to/from the conference site will be available daily.

Other Hotels & Travel Information

• Other Hotels
• Welcome to Ishikawa (Tourism Division, Ishikawa)
• Japan Travel Updates (Japan National Tourist Organization)

Access to these links requires passwords.

• Category A
• Category B