Program

20 July, 2013     (Room 8D-1, Level 8, Temasek Labs)


12:00 – 14:00     Lunch


14:00 – 14:50     Keynote Speech     Session Chair: Dr. Yoshinori Tanabe


15:00 – 16:00     Section 1: Internet Systems     Session Chair: Dr. Jun SUN


16:00 – 16:30     Coffee and Tea Break


16:30 – 17:10     Section 2: Methodology     Session Chair: Dr. Yang LIU


18:00 – 20:00     Banquet


20:30 – 21:30     Singapore Flyer

21 July, 2013     (Room 8D-1, Level 8, Temasek Labs)


09:00 – 10:00     Keynote Speech     Session Chair: Dr. Zhenjiang Hu


10:00 – 10:30     Coffee and Tea Break


10:30 – 11:50     Section 3: Model Checking     Session Chair: Dr. Jin Song DONG


12:00 – 14:00     Lunch


14:00 – 15:00     Section 4: Software Analysis     Session Chair: Dr. Kenji Tei


15:00 – 15:30     Coffee and Tea Break


15:30 – 16:50     Section 5: System     Session Chair: Dr. Shang-Wei LIN