The Workshop Committee has negotiated with Hyatt Regency Hong Kong Sha Tin which is near the Conference Venue for special rates and blocked rooms for the workshop participants. You may reserve your rooms directly with the hotel by filling in their reservation form. Since April is the peak session for conferences and exhibitions in Hong Kong, please make your reservations as soon as possible to secure a room.

Hyatt Regency Hong Kong Sha Tin
Hotel's website: http://www.hongkong.shatin.hyatt.com
Location: University Station, next to the Conference Venue

Located next to The Chinese University of Hong Kong (CUHK) and University MTR Station, Hyatt Regency Hong Kong Sha Tin offers direct access to Tsim Sha Tsui, Hong Kong Island, Lo Wu and Lok Ma Chau at Shenzhen, via the Mass Transit Railway. The hotel is only a 5-minute ride from Hong Kong Science Park and Sha Tin Racecourse, and 30 minutes by taxi from Hong Kong International Airport, with numerous Sha Tin attractions and landmarks nearby. Unwind in one of 567 luxurious rooms and suites, featuring calming views of Tolo Harbour or Kau To Shan mountains. Considered one of the best urban resort hotel in Hong Kong, Hyatt Regency Hong Kong, Sha Tin’s spacious guestrooms and suites are suitable for a relaxing getaway or business stay.


Room Type

Room only Rate

Room with breakfast - Single Rate

Room with breakfast - Double Rate

Mountain View Room




Harbour View Room




Regency Club King Room




Regency Club Harbour View Room




One Bedroom Executive




Please return the completed reservation form (with breakfast) / reservation form (Room only / without breakfast) to the Hotel by April 12, 2014 (EXTENDED).


  • The above rates are quoted on a per room, per night basis, subject to 10% service charge and the prevailing government tax.
  • The above rates are valid from April 21-25, 2014 inclusive and any stay beyond the period will be subject to rate and space availability.
  • The above rates are valid for booking by April 4, 2014 and the bookings will be accepted based on availability at the hotel.


  • A credit card guarantee is required at the time of placing the reservation. Bookings without credit card guarantees will not be accepted.
  • Any cancellations after 48 hours prior to arrival will be subjected to one night’s cancellation fee.
  • Late amendments to the arrival date within 48 hours of arrival will incur one night’s room charge as penalty.
  • Any no shows will result in the full room charges for the entire stay.


Workshop Organizers:
KAIST-Microsoft Research Collaboration Center (KMCC)
Department of Computer Science, Korea Advanced Institute of Science and Technology
Key Lab of High Confidence Software Technologies (CUHK), Ministry of Education, China
Department of Systems Engineering and Engineering Management, The Chinese University of Hong Kong