Institute for Problems
of Informatics and Control
Ministry of Education and Science
of the Republic of Kazakhstan

International Summer School
Formal Methods and Information Technologies

Time: from August 1 to August 15, 2002
Host: Institute for Problems of Informatics and Control, Almaty, Kazakhstan.
Sponsors: UNU/IIST and Institute for Problems of Informatics and Control.
List of participants

Introduction | Aims of the School | Planed Courses and Program | Participants | Host and Facilities |
Financial Supports | Local Organisers and Contact


Introduction

Institute of Problems of Informatics and Control MES RK (IPIC MES RK) jointly with Inrenational Institute for Software Technology of Unated Nations University (UNU/IIST) hold International Summer School “Formal Methods and Information Technologies” on August 1 – August 15, 2002.
It is supposed that participants of the school will be professors of universities, post graduates and staff of interested Central Asia institutes.
Currently, there are thousands of students studying IT in many universities and colleges in Central Asia region. Every year, this number increases significantly in order to satisfy the urgent need for qualified personnel in IT markets. However, due to difficulties similar to those of other developing countries, Central Asia states have problems with the quality of IT training. Some advanced IT topics are not given enough attention. Most universities in Central Asia states are short of qualified lecturers. In this context, a summer IT school with the support of UNU/IIST would be a great help to universities and companies to solve this problem.

 

Aims of the school

Aim of the school is to inform audience with modern information technologies by both lectures and practical classes.

The goal of the school is to provide lecturers, researchers, developers, and managers from Central Asia region 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.

 

Planed Courses and Program

Based on the common needs of institutions in Central Asia region, the following courses are planned for the school together with the lecturers:

  1. Software Project Management (Mr. Chris George, UNU/IIST)

  2. Software develpment using UML (Prof. He Jifeng, UNU/IIST)

  3. Formal Methods in Software — Language of Specification RAISE (Prof. Bektur Baizhanov and Mr. Viktor Verbovskiy, IPIC MES RK)

  4. Creation of distance education systems for universities (Mr. Ulan Musaev, IPIC MES RK – Kyrghyz State University)

Time: Two weeks from August 1 till August 15, 2002, from 9:00am till 1:00pm and from 2:00pm till 6:00pm.
Program: The program for the school is still under schedule.
 

Participants

The participants for the school are required to have good background in Computer Science. The number of the participants is estimated around 30 from all over the countries — Kazakhstan, Kyrghyzstan, Russia, Tadjikistan, Turkmenistan, Uzbekistan, included the participants from Almaty, Ashkhabad, Bishkek, Dushanbe, Karaganda, Novosibirsk, Tashkent, Taraz, Turkestan, Uralsk. Most of the participants will be IT lecturers, developers, researchers.

   
Host and Facilities

Institute for Problems of Informatics and Control will be the host of the school. The following facilities will be provided by the host:

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


Financial Supports

Mostly supported by International Institute for Software Technology (UNU/IIST) and partitially by Institute for Problems of Informatics and Control.

 
Local Organisers and Contact

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

Prof. Bektur Baizhanov,  Institute for Problems of Informatics and Control, Phone: (+7 3272)628645, Fax: (+7 3272)627715, 915764, e-mail: baizhanov@ipic.kz

Dr. Beibut Kulpeshov,   Institute for Problems of Informatics and Control, Phone: (+7 3272)628645, Fax: (+7 3272)627715, e-mail: kbsh@ipic.kz

Dr. Viktor Verbovskiy, Institute for Problems of Informatics and Control, Phone: (+7 3272)628645, Fax: (+7 3272)627715, 762091, e-mail: vvv@ipic.kz

Ms. Guljan Turehanova, Institute for Problems of Informatics and Control, Phone: (+7 3272)628645, Fax: (+7 3272)627715, e-mail: guljan@ipic.kz

Back to Top

Last updated: 2002/06/25