Maximum Satisfiability in Program Analysis: Applications and Techniques (VMCAI 2018 - 19th International Conference on Verification, Model Checking, and Abstract Interpretation)

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

Who

Mayur Naik, Xujie Si, Xin Zhang, Radu Grigore

Track

VMCAI 2018

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

Save

When

Mon 8 Jan 2018 16:00 - 17:30 at Watercourt - Invited Tutorial by Mayur Naik Chair(s): Jens Palsberg

Mayur Naik

University of Pennsylvania

Xujie Si

University of Pennsylvania

Xin Zhang

Massachusetts Institute of Technology, USA

United States

Radu Grigore

University of Kent

United Kingdom