Write a Blog >>
Tue 21 Jan 2020 15:35 - 17:45 at St Jerome - Panel Session Chair(s): Dirk Beyer

The goal of the panel is to raise a few points on what the community believes will be the most important directions and topics that the research area of VMCAI will be affected with.

Tue 21 Jan
Times are displayed in time zone: Saskatchewan, Central America change

15:35 - 17:45
Panel SessionVMCAI at St Jerome
Chair(s): Dirk BeyerLMU Munich
Panel "The Future of Software Verification" at VMCAI
Lenore ZuckUIC, Michael WhalenAmazon Web Services and the University of Minnesota, Natarajan ShankarSRI International, USA, Andreas PodelskiUniversity of Freiburg, Germany, Dirk BeyerLMU Munich