Zhengzhou University

Summer School On
Methods and Tools for High Quality Software Development

Time: from 16 - 27 August, 2004
Host: College of Information Engineering, Zhengzhou University, China.
         College of Information Engineering, Information Engineering University, China.
Sponsors: International Institute for Software Technology, The United Nations University.

Introduction | Aims of the School | Planned Courses and Program | Participants | Host and Facilities |
Financial Supports | Local Organisers and Contact| How to Apply | Registration Notice (NEW) | Social Activities | Photos

Introduction

The Department of Computer Science of Zhengzhou University jointly with the International Institute for Software Technology of United Nations University (UNU/IIST) will hold a Summer School “Methods and Tools for High Quality Software Development” during August 16 – August 27, 2004. It is supposed that participants of the school will be professors and lecturers of universities, post graduates and staff of interested institutes in China. Information and Communication Technology can play an important role in the economic growth of China. Software and Knowledge-Intensive Industries are the major providers of such technologies.

A serious problem plaguing Software Industries is poor development practices. The problem is the major course of delays in software projects, overspending of budgets, and chronic problems with dependability (safety, reliability and security) and maintainability of software products. To deal with these problems, software development needs to rely on modern engineering processes to develop high-quality, globally competitive products. Such processes require a variety of methods, tools and techniques based on solid mathematical foundations. This school has been designed to provide the participants with a selected set of such methods and tools.

Aims of the school

The aim of the school is to inform audience on modern software technologies by both lectures and practical classes.

The goal of the school is to provide lecturers, researchers, developers, and managers from China with state-of-the-art software development techniques together with necessary foundations for the development of their professional career. The school will also give participants a chance to exchange experience, ideas, and solutions for their problems, and to exchange university curriculum with teachers and colleagues from different places in the country and from abroad. It will also help to initiate new topics for research and to encourage people in doing research as well as developments.

Planned Courses and Program

Based on the common interests and needs of institutions in China, the following courses are planned for the school together with the lecturers:

1. High-Integrity Software Development in SPARK (Dr. Kung-Kiu Lau, Department of Computer Science, University of Machester, U.K.)
From August 16 till August 18, 2004 (2.5 days)

2. Protocol Verification using Process Algebra (Prof. Wan Fokkink, Department of Software Engineering, CWI, The Netherland)
From August 18 till August 20, 2004 (2.5 days)

3. Using Timed Automata to Specify and Verify Real-Time Systems (Dr. Jozef Hooman, Embedded Systems Institute Einhoven & University of Nijmegen, The Netherlands)
From August 23 till August 25, 2004 (3 days)

4. RAISE Method and Tool(Chris George, UNU/IIST)
From August 26 till August 27, 2004 (2 days)

Classroom: Conference-center in Yifu Building, Zhengzhou University

Social Activities

During the school, we can schedule other activities out of the class, such as Traveling on weekend, Dancing Party and so on according to requirements.

Participants

The participants for the school are required to have good background in Computer Science. Most of the participants will be computer science and software engineering lecturers, developers, researchers.

Host and Facilities

Department of Computer Science of Zhengzhou University will be the host of the school. The following facilities will be provided by the host:

· Lecture rooms with comfortable furniture, air-conditioning, blackboards, and overhead projectors

· Computers, E-mail/Internet access for the participants and lecturers

· LCD projector

· Secretariat (for arranging visa, local transport and accommodation for participants and lecturers, registration, etc)

All the participants of the school will be provided at no cost

· Refreshment at the breaks (tea, coffee, cookies, etc.)

· Lunches on class days

Financial Supports

The school is supported by International Institute for Software Technology (UNU/IIST) and Zhengzhou University.

There is no school fee to be charged for participating the schools, but participants are expected to cover their own expenses for travel, accommodation and meals.

How to Apply

We welcome applications to attend the school. The application should contain:

1. Name
2. Gender
3. Affiliation
4. Address for correspondence
5. Email address
6. Telephone number
7. Fax number
8. Resume

The resume must describe the applicant's academic qualifications, teaching or industrial experience, technical background, specific interests in software engineering, and the levels of English speaking and writing.

Applications should be e-mailed (plain text only) to the school coordinator at:

E-mail: zhengzhou@iist.unu.edu
URL: http://www.iist.unu.edu/www/school/Zhengzhou/Index.htm

The deadline to receive all applications is June 15, 2004. All applicants will be informed about the decision by July 6 , 2004. Accepted applicants are required to confirm their attendance by July 13, 2004.

Registration Notice

1. Registration time and location
   Time: August 15, 2004
   Location: The hall on the first floor of the Center of International Communication, Zhengzhou University
2. Transportation
   
   • If you come to Zhengzhou by train, you can take a taxi from the taxi station, 50 meters far from the North Exit of Zhengzhou Railway Station, and stop at the North Gate of Zhengzhou University, Zhongyuan Road, or at the East Gate of Zhengzhou University, Daxue Road (the taxi fare is about 8 yuan).
   • If you come to Zhengzhou by air, you can take the Civil Aviation bus from Zhengzhou Airport, and stop at the Civil Aviation Hotel. Then you can take a taxi to the North Gate of Zhengzhou University, Zhongyuan Road, or to the East Gate of Zhengzhou University, Daxue Road (the taxi fare is about 11 yuan). You can also take a taxi from the airport to the East Gate of Zhengzhou University straightly (the taxi fare is about 80 yuan).
3. Accommodation
   
   • Living in the Center of International Communication, Zhengzhou University. There are two types of room: standard room for two people, 120 yuan per day (60 yuan a people), and 80 yuan per day (40 yuan a people). Or the participants themselves can contact with some cheaper hotel near the campus.
   • Living in the Center of International Communication, Zhengzhou University. There are two types of room: standard room for two people, 120 yuan per day (60 yuan a people), and 80 yuan per day (40 yuan a people). Or the participants themselves can contact with some cheaper hotel near the campus.
   • It is so hot in August, Zhengzhou. The highest temperature is about 35°C-39°C. Please be ready to anti-heliosis.

Local Organisers and Contact

For further information, please do not hesitate to contact us via e-mail, fax, telephone, and post-mail to

Prof. Zhou Qinglei (周清雷),  Institute of Informatics, Zhenzhou University, Phone: +86-371-7763077, Fax: +86-371-7763187, E-mail: ieqlzhou@zzu.edu.cn
Cai Yanrong (蔡延荣),  Institute of Informatics, Zhenzhou University, E-mail: yanrongcai@yahoo.com.cn

Last updated: 2004/07/08