Panel "The Future of Software Verification" at VMCAI (VMCAI 2020 - - 21st International Conference on Verification, Model Checking, and Abstract Interpretation)

Write a Blog >>

Sun 19 - Sat 25 January 2020 New Orleans, Louisiana, United States

Who

Lenore Zuck, Michael Whalen, Natarajan Shankar, Andreas Podelski, Dirk Beyer

Track

VMCAI 2020

Time Zone

The program is currently displayed in (GMT-06:00) Saskatchewan, Central America.

Use conference time zone: (GMT-06:00) Saskatchewan, Central AmericaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

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

Abstract

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.

Lenore Zuck

UIC

United States

Michael Whalen

Amazon Web Services and the University of Minnesota

United States

Natarajan Shankar

SRI International, USA

United States

Andreas Podelski

University of Freiburg, Germany

Germany

Dirk Beyer

LMU Munich

Germany

Time Zone

The program is currently displayed in (GMT-06:00) Saskatchewan, Central America.

Use conference time zone: (GMT-06:00) Saskatchewan, Central AmericaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

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

15:35 2h10m Other		Panel "The Future of Software Verification" at VMCAI 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