POPL 2020 (series) / VMCAI 2020 (series) / VMCAI 2020 - 21st International Conference on Verification, Model Checking, and Abstract Interpretation /
Panel "The Future of Software Verification" at VMCAI
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
|15:35 - 17:45|