Personnel	Top	List of External Publications
Schools and Courses

Schools and Courses

Schools

• PhD Summer school on Logics of Specification Languages Stará Lesná, Slovakia 6-19 June. Organizer: CoLogNet, Participants: 45 from 23 countries. Several were sponsored by UNU-IIST. 9 courses in total were taught at the school; Chris George taught "The logic of the RAISE Specification Language".

• 2nd International Summer School on Formal Methods and Information Technologies Almaty, Kazakhstan 2-14 August Institute for Problems of Informatics and Control (IPIC) 25 people from 5 countries: Kazakhstan, Kyrgyzstan, Russia, Tajikistan, Turkmenistan The school included four courses:

  1. Introduction to formal development using RAISE and some example applications. (Chris George, UNU-IIST)

  2. Software development using UML (Dr. Saule Sagnaeva, IPIC & Aulie-Ata University): taught in Russian

  3. Introduction to specification languages Duration Calculus and CSP (Prof. Bektur Baizhanov and Dr. Viktor Verbovskiy, IPIC): taught in Russian

  4. Specifying Systems in TLA+ (Dr. Stephan Merz, Lorraine branch of INRIA)

• Summer School on Advanced Techniques for Software Development, 16 August - 3 September, 2004. Organisers: Department of Computer Science, School of Sciences, Hue University, Vietnam, and UNU-IIST. Participants: 19. Courses:

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

  2. Model Checking (Dang Van Hung, UNU-IIST),

  3. Foundations of Software Testing (Bernhard K. Aichernig, UNU-IIST)

• 2004 China International Training Course on Computer Software Technology, 19 July - 13 August 2004. Organizer: Guizhou Academy of Sciences, and UNU-IIST. Participants: 51 from 25 developing countries. Courses:

  1. UML (Xiaoshan Li, University of Macao),

  2. The B Method (Dang Van Hung, UNU-IIST),

  3. The RAISE Method (Li Danning and Li Dan, Guizhou, China),

  4. Foundations of Database (Yuan Liyan, Canada).
  The school also had one seminar from Prof. Zhou Chaochen (Academy of Sciences, China), and two seminars by Prof. Zhang Mingyi (Guizhou, China).

• Summer School on Methods and Tools for High Quality Software Development, 16-27 August 2004, Zhengzhou, China. Organisers: Zhengzhou University and UNU-IIST. Participants: 66 (one from Greece). Courses:

  1. High-Integrity Software Development in SPARK (Dr. Kung-Kiu Lau, University of Manchester, U.K.),

  2. Protocol Verification using Process Algebra (Prof. Wan Fokkink, CWI, The Netherlands),

  3. Using Timed Automata to Specify and Verify Real-Time Systems (Dr. Jozef Hooman, Embedded Systems Institute Eindhoven ,The Netherlands),

  4. RAISE Method and Tool(Chris George, UNU-IIST).

• Pernambuco School on Software Engineering: Refinement,. Recife, Pernambuco, Brazil, 23 November - 5 December 2004. Organisers: Federal University of Pernambuco. Participants: 50 from 5 countries (Brazil, Peru, Colombia, Chile and Argentina). Courses:

  1. Unifying Theories of Programming (Ana Cavalcanti, Jim Woodcock, UK)

  2. Concurrency: CSP and FDR (Jim Davies, UK)

  3. Refinement in object-oriented development: UML and sequential Java (Paulo Borba, Augusto Sampaio, Brazil)

  4. Probability in the context of wp (Carroll Morgan, Australia)

  5. Real-Time and Fault-Tolerant Systems: Specification, Verification, Refinement and Schedulability (Zhiming Liu, UNU-IIST)

  6. Refinement tools: focus on industrial experience (Colin O'Halloran, UK)

  7. Model Checking (David Deharbe, Brazil).

Courses

• Course covering RSL, testing from formal specifications, and formalising UML class diagrams using RSL, taught by Chris George, Hyderabad, India 1-4 March 2004. Host: University of Hyderabad. Participants: 15 participants from India.

• Course on Software Project Management Lagos, Nigeria 21-25 June University of Lagos, taught by Dr Edmonds Lau, University of Swinburne, Australia. Participants: 24 from Nigeria.

• Formal Software Specification using RAISE, Maputo, Mozambique, taught by Dr. Antonio Cerone on 26-30 July 2004. Host: Eduardo Mondlane University. Participants: 30 (4 from South Africa, the others local)

• Course on OO Software Development with UML, 2-13 August 2004, East China Normal University, Shanghai. Lecturer: Zhiming Liu. Participants: about 170 fourth year undergraduates and Master students.

• Course on Foundations of Software Testing taught by Chris George, University of San Luis, Argentina, 15-19 November 2004. 15 participants from Argentina.

• Course on Formal Software Development taught by Chris George, University of San Luis, Argentina, 18-20 November 2004. 15 participants from Argentina.

• Course on Software Project Management taught by Chris George, Arequipa, Peru, 29 November - 1 December 2004. 40 participants from Peru.

Schools and Courses
Personnel	Top	List of External Publications