S E F M    S c h o o l     2 0 0 9

SOFTWARE ENGINEERING AND FORMAL METHODS

16-22 November, 2009

College of Technology, Vietnam National University, Hanoi, Vietnam

SEFM Website
SEFM 2009
OVERVIEW
CONTACTS
IMPORTANT DATES
APPLICATION
ORGANISERS
COURSES


Sponsored by:

IEEE Computer Society

College of Technology

UNU-INST

JAIST
 

OVERVIEW

The SEFM International School 2009 on Software Engineering and Formal Methods will be jointly organised by the International Institute for Software Technology of the United Nations University (UNU-IIST), the College of Technology of the Vietnam National University in Hanoi (ColTech/VNU), and the Japan Advanced Institute of Science and Technology (JAIST) as a side event of the 7th IEEE International Conference on Software Engineering and Formal Methods SEFM 2009.

The school consists of a foundation course on logics for computer science, three courses on model-checking for different logical system properties, three courses on the application of formal methods to software design and development. The school will be held during a period of two weeks for a total duration of approximately 64 hours.

We welcome application from postgraduate students and researchers from academia and industry who have obtained at least an undergraduate degree in Computer Science or in a related discipline. Applicants who need financial support must explicitly request it in the Application Form. The School Sponsors will provide financial support to a limited number of applicants who have have requested it while submitting their application and

  • are citizens of a developing country in South East Asia, and
  • do not hold any position in a private company neither any position or or scholarship in an industrialised country.
Developing countries are those countries whose economies are classified as low income, lower-middle income or upper-middle income by The World Bank Group.

There is no school fee for the participants from developing countries. Participants from developed countries or from private companies have to pay the school fee of USD 200 to cover the cost for lunchs, refreshments and transport during the school.
BACK TO TOP

Created: July 2009
Last modified: August 2009 		Maintained by Kim Zung
Feedback