Verification Mentoring Workshop

This year’s Verification Mentoring Workshop features an all-star lineup of invited speakers and follows a unique format with research talks in the morning and interactive discussions in the afternoon. We look forward to welcoming you at VMW and engaging in inspiring conversations!

Date:

October 21, 2024

Room:

Yamauchi-Hall

Program:

9:30 – 9:45	Welcome
9:45 – 10:45	Orna Kupferman
10:45 – 11:15	Coffee break
11:15 – 11:55	Liana Hadarean
11:55 – 12:30	Koko Muroya
12:30 – 14:00	Lunch (served on-site)
14:00 – 15:15	Interactive career panel with Orna Kupferman, Anne-Kathrin Schmuck, Tim King, Koko Muroya
15:15 – 15:45	Coffee break
15:45 – 17:00	Round-table discussions with the panelists

Organizers:

• Anna Lukina, TU Delft
• Andrew (Haoze) Wu, Amherst College
• Zhenya Zhang, Kyushu University