Solving LIA* Using Approximations (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

Maxwell Levatich, Nikolaj Bjørner, Ruzica Piskac, Sharon Shoham

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 12:00 - 12:30 at St Jerome - Papers 7 Chair(s): Thomas Wies

Maxwell Levatich

Yale

United States

Nikolaj Bjørner

Microsoft Research

United States

Ruzica Piskac

Yale University, USA

United States

Sharon Shoham

Tel Aviv university

Israel

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

10:30 - 12:30	Papers 7VMCAI at St Jerome Chair(s): Thomas Wies New York University

10:30 30m Talk		Language Inclusion for Finite Prime Event Structures VMCAI Andreas Fellner AIT - Austrian Institute of Technology, Thorsten Tarrach Austrian Institute of Technology, Georg Weissenbacher Technische Universität Wien
11:00 30m Talk		Promptness and Bounded Fairness in Concurrent and Parameterized Systems VMCAI Swen Jacobs CISPA Helmholtz Center for Information Security, Mouhammad Sakr Saarland University, Martin Zimmermann University of Liverpool
11:30 30m Coffee break		Mini Break VMCAI
12:00 30m Talk		*Solving LIA Using Approximations** VMCAI Maxwell Levatich Yale, Nikolaj Bjørner Microsoft Research, Ruzica Piskac Yale University, USA, Sharon Shoham Tel Aviv university