Language Inclusion for Finite Prime Event Structures (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

Andreas Fellner, Thorsten Tarrach, Georg Weissenbacher

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

Andreas Fellner

AIT - Austrian Institute of Technology

Austria

Thorsten Tarrach

Austrian Institute of Technology

Austria

Georg Weissenbacher

Technische Universität Wien

Austria

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