Toggle navigation
Sign in
Sign up
conf.researchr.org
/
David Warren
conf.researchr.org general profile
POPL 2020 profile
SPLASH 2020 profile
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)
Share
x
Sun 26 Mar 05:12