Selfless Interpolation for Infinite-State Model Checking (VMCAI 2018 - 19th International Conference on Verification, Model Checking, and Abstract Interpretation) - POPL 2018

Sun 7 - Sat 13 January 2018 Los Angeles, California, United States

Who

Tanja Schindler, Dejan Jovanović

Track

Time Zone

The program is currently displayed in (GMT-08:00) Tijuana, Baja California.

Use conference time zone: (GMT-08:00) Tijuana, Baja CaliforniaSelect 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

When

Tue 9 Jan 2018 16:30 - 17:00 at Watercourt - Model Checking Chair(s): Kenneth L. McMillan

Tanja Schindler

University of Freiburg

Dejan Jovanović

SRI International

United States

Time Zone

The program is currently displayed in (GMT-08:00) Tijuana, Baja California.

Use conference time zone: (GMT-08:00) Tijuana, Baja CaliforniaSelect 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

Session Program

Tue 9 Jan
Displayed time zone: Tijuana, Baja California change

	16:00 - 17:30	Model CheckingVMCAI at Watercourt Chair(s): Kenneth L. McMillan Microsoft Research

	16:00 30m Talk		Learning to Complement Büchi Automata VMCAI Yong Li Institute of Software, Chinese Academy of Sciences, Andrea Turrini State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Lijun Zhang Institute of Software, Chinese Academy of Sciences, Sven Schewe University of Liverpool
	16:30 30m Talk		Selfless Interpolation for Infinite-State Model Checking VMCAI Tanja Schindler University of Freiburg, Dejan Jovanović SRI International
	17:00 30m Talk		Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction VMCAI Benjamin Aminof Vienna University of Technology, Sasha Rubin University of Naples Federico II, Ilina Stoilkovska Vienna University of Technology , Josef Widder TU Wien, Florian Zuleger TU Vienna