SPLASH 2020 (series) / David Warren
Registered user since Tue 21 Jul 2020
Name:David Warren
Country:United States
Affiliation:Stony Brook University
Contributions
2020
LPOP
- Conference Chair in Program Committee within the LPOP 2020-track
- Panel: Since Logic Languages Are So Good, Why Aren’t They Pervasive?
- Panel: Logic in Program Specification: Where Has It Failed? How Can We Fix It?
- General Chair in General Chairs within the LPOP 2020-track
- Panel: Logic in Artificial Intelligence: Don’t Machine Learning and Neural Networks Do It All?
SPLASH 2020-profile
View general profile
View general profile