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
| Aims of the School | Planed
Courses and Program | Participants
| Host and Facilities
Financial Supports | Local Organisers and Contact
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.
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:
Software Project Management (Mr. Chris George, UNU/IIST)
Software develpment using UML (Prof. He Jifeng, UNU/IIST)
Formal Methods in Software Language of Specification RAISE (Prof. Bektur Baizhanov and Mr. Viktor Verbovskiy, IPIC MES RK)
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.
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:
Lecture rooms with comfortable furniture, air-conditioning, blackboards, and overhead projectors
Computers, E-mail/Internet access for the participants and lecturers
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
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: firstname.lastname@example.org
Dr. Beibut Kulpeshov, Institute for Problems of Informatics and Control, Phone: (+7 3272)628645, Fax: (+7 3272)627715, e-mail: email@example.com
Dr. Viktor Verbovskiy, Institute for Problems of Informatics and Control, Phone: (+7 3272)628645, Fax: (+7 3272)627715, 762091, e-mail: firstname.lastname@example.orgMs. Guljan Turehanova, Institute for Problems of Informatics and Control, Phone: (+7 3272)628645, Fax: (+7 3272)627715, e-mail: email@example.com
Back to Top
Last updated: 2002/06/25