The International Short Course on Formal Methods and Its Applications is taking place from the 4th till the 8th of May 2009 at Universiti Kebangsaan Malaysia, Bangi, Malaysia. It is jointly organized by Programming and Software Technology Research Group, Faculty of Information Science and Technology, Universiti Kebangsaan Malaysia and United Nation University, Institute of Software Technology, Macao.
AIM
The main aim of this course is to introduce and to update knowledge in formal methods among regional ICT researchers and practioners. Besides that participants from other developing countries are also welcome.
COURSE TOPICS AND SPEAKERS
“Foundations of Software Engineering”
Dr. Jeff Sanders
United Nation University/Institute of Software Technology, Macao
"Formal Methods and their Applications"
Dr. Antonio Cerone
United Nation University/Institute of Software Technology, Macao |
