David Warren -

Registered user since Tue 21 Jul 2020

Name:David Warren

Affiliation:Stony Brook University

Contributions

LPOP 2020	Conference Chair in Program Committee within the LPOP 2020-track Chair of Panel: Since Logic Languages Are So Good, Why Aren’t They Pervasive? within the LPOP 2020-track Chair of Panel: Logic in Program Specification: Where Has It Failed? How Can We Fix It? within the LPOP 2020-track General Chair in General Chairs within the LPOP 2020-track Chair of Panel: Logic in Artificial Intelligence: Don’t Machine Learning and Neural Networks Do It All? within the LPOP 2020-track
PADL 2020	Session Chair of Invited Experience and Direction Session (part of PADL 2020) Session Chair of Invited Experience and Direction Session (Continued) (part of PADL 2020)