Time	Activities
8:30am – 9:15am	Registration
9:15am – 9:30am	Participants to be seated
9:30am – 10am	Welcome Speech Prof. Abhik Roychoudhury
10am – 11am	Keynote Speech: Specification Crisis, Specification Engineering Prof. Su Zhendong
11am – 11:30am	Tea Break
11:30am – 12:30pm	Hackathon Announcement & Team Formation and Rules Dr. Luo Zhengxiong & Dr. Jiang Yuancheng
12:30pm	Group Photo Taking
12:30pm – 2pm	Lunch
2pm – 3pm	Lecture: Introduction to Dynamic Symbolic Execution and KLEE Prof. Cristian Cadar
3pm – 3:30pm	Tea Break
3:30pm – 5pm	Lecture: Introduction to Dynamic Symbolic Execution and KLEE Prof. Cristian Cadar

Time	Activities
9am – 10am	Dialogue: The role of the human engineer in the age of AI Mr. Will Wilson, CEO Antithesis with Dr. Leslie Teo, AI Singapore
10am – 10:30am	Tea Break
10:30am – 12:30pm	Lecture: From "What the Fuzz" to "ALL the Fuzz" Prof. Mathias Payer
12:30pm – 2pm	Lunch
2pm – 3pm	Lecture: From "What the Fuzz" to "ALL the Fuzz" Prof. Mathias Payer
3pm – 3:30pm	Tea Break
3:30pm – 4:30pm	Talk by research staff Dr. Luo Zhengxiong and Dr. Jiang Yuancheng
4:30pm – 6pm	Poster Session by PhD Students & Informal Questions for Hackathon
6:30pm – 8pm	Dinner The Scholar, NUSS

Time	Activities
9am – 10:30am	Lecture: Specification for Free: Behavior-Driven Fuzzing with Inferred Specifications Dr. Rahul Gopinath
10:30am – 11am	Tea Break
11am – 12:30pm	Lecture: Specification for Free: Behavior-Driven Fuzzing with Inferred Specifications Dr. Rahul Gopinath
12:30pm – 2pm	Lunch
2pm – 3pm	Talk by a graduating student: Concurrency Fuzzing Dylan Wolff
3pm – 4pm	Answering Questions about Hackathon Dr. Luo Zhengxiong / Dr. Jiang Yuancheng
4pm – 4:30pm	Tea Break
4:30pm – 5:30pm	Time for students to work on Hackathon

Time	Activities
9am – 10:30am	Lecture: Towards Intelligent Database Fuzzing: From Multi-Dimensional Input Generation to Critical Vulnerability Detection Prof. Jiang Yu
10:30am – 11am	Tea Break
11am – 12:30pm	Lecture: Towards Intelligent Database Fuzzing: From Multi-Dimensional Input Generation to Critical Vulnerability Detection Prof. Jiang Yu
12:30pm – 2pm	Lunch
2pm – 3pm	Hackathon Prize Presentation & Closing Session Dr. Luo Zhengxiong