Practical Abstractions for Automated Verification of Shared-Memory Concurrency (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

Wytse Oortwijn, Dilian Gurov, Marieke Huisman

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 14:32 - 15:05 at St Jerome - Papers 8 Chair(s): Ori Lahav

Wytse Oortwijn

ETH Zürich

Switzerland

Dilian Gurov

KTH Royal Institute of Technology

Sweden

Marieke Huisman

University of Twente

Netherlands