SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
SPLASH 2020 (series) / Patrick Cousot
Patrick Cousot

Registered user since Tue 22 Jan 2019

Name:Patrick Cousot
Country:United States
Affiliation:New York University

Contributions

LPOP 2020 Panel: Logic in Program Specification: Where Has It Failed? How Can We Fix It?
Logic in Program Analysis and Verification
SAS 2020 Session Chair of 3 (part of SAS)
Committee Member in Program Committee within the SAS-track
Session Chair of 5 (part of SAS)
Session Chair of 1 (part of SAS)
Show activities from other conferences

SPLASH 2020-profile
View general profile