IFIP 2.3 conducted and UNU/IIST sponsored a school on
Formal Software Engineering in Pune,
India, Jan 3-10, 2002,
http://www.csl.sri.com/users/shankar/IFIP-WG2.3/school2002.html.
Host: Tata Research Development and Design Centre (TRDDC).
Participants: 65. The courses included Prof. He Jifeng from UNU/IIST on
Unifying Theories of Programming.
The First Middle East/North Africa (MENA) Summer School on Parallel,
Distributed, Mobile and Internet Computing, 8-19 July 2002,
http://www.sbu.ac.uk/menass/.
Host: Center for Advanced Mathematical Sciences (CAMS) of the
American University of Beirut (AUB). Participants: 30 from the
Lebanon, 20 from other countries. The courses
included Prof. He Jifeng from UNU/IIST on Co-design of Mixed HW/SW
Systems.
International Summer School on
Formal Methods and Information Technologies, August 1-15, 2002, http://www.iist.unu.edu/school/Almaty/.
Host: Institute for Problems of Informatics and Control, Almaty, Kazakhstan.
Participants: 9 from Almaty, 10 from Kazakhstan, 9 from other central
Asian republics, 1 from Russia. Courses:
Software Project Management (Mr. Chris George, UNU/IIST)
Software develpment using UML (Dr. Liu Zhiming, UNU/IIST)
Formal Methods in Software -- Language of Specification RAISE (Prof. Bektur Baizhanov and Mr. Viktor Verbovskiy, IPIC)
Creation of distance education systems for universities
(Mr. Ulan Musaev, IPIC -- Kyrghyz State University)
Regional IT school on Some Advanced Topics in Computer Software
and Applications, August 5-30, 2002, http://www.vnu.edu.vn/thanhvien/fotech/school/. Host: Faculty of Technology of the
Vietnam National University, Hanoi, Vietnam. Participants: 6 from Laos, 6
from Cambodia, 23 from elsewhere in Vietnam, and 34 from Hanoi.
Courses:
Software Project Management and Quality Control
(Mr. Chris George, UNU/IIST).
Computer Network (Prof. Huynh Huu Tue, Laval
University, Canada ).
Software Development with RAISE (Prof. Nguyen
Quoc Toan, Faculty of Technology, Vietnam National University at
Hanoi).
Modal Logics, Duration Calculus and Real-Time Systems
(Dr. Dang Van Hung, UNU/IIST).
Autonomous Computing & Intelligent Agents for
E-business (Dr. Pham Hong Hanh, State University of New York,
USA).
Methods, Tools and Techniques for Industrial Software
Engineering, October 28 - 15 November, 2002,
http://www.iist.unu.edu/ lagos/. Host: Department of Computer
Science, University of Lagos, Nigeria. Participants: 23 from Lagos,
27 from other states in Nigeria, 9 from other countries in
Africa. Courses:
Software Engineering Principles
Requirement Engineering
UML and Object based Methods
Software Specification and Verification (Dr. Bernhard
K. Aichernig, UNU/IIST)
