ICSE 2024
Fri 12 - Sun 21 April 2024 Lisbon, Portugal

Wed 17 Apr

Displayed time zone: Lisbon change

09:00 - 10:30
ICSE2024 Opening & Keynote 1 - Rupak MajumdarICSE Keynotes / Social Events at Grande Auditório
Chair(s): Rui Abreu Meta & University of Porto
09:00
45m
Talk
ICSE2024 Opening
Social Events
Rui Abreu Meta & University of Porto, Ana Paiva INESC TEC, Faculty of Engineering, University of Porto, Abhik Roychoudhury National University of Singapore, Margaret-Anne Storey University of Victoria
09:45
45m
Keynote
Challenges and Opportunities in Model Checking Large-scale Distributed Systems
ICSE Keynotes
K: Rupak Majumdar MPI-SWS