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

Displayed time zone: Saskatchewan, Central America change

15:35 - 17:45
Panel SessionVMCAI at St Jerome
Chair(s): Dirk Beyer LMU Munich
Panel "The Future of Software Verification" at VMCAI
Lenore Zuck UIC, Michael Whalen Amazon Web Services and the University of Minnesota, Natarajan Shankar SRI International, USA, Andreas Podelski University of Freiburg, Germany, Dirk Beyer LMU Munich