• Sign in
  • Sign up
conf.researchr.org / David Warren
  • POPL 2020 profile
  • SPLASH 2020 profile
No Photo

Registered user since Tue 21 Jul 2020

Name:David Warren
Affiliation:Stony Brook University

Contributions

2020

LPOP

  • 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

Symposium on Practical Aspects of Declarative Languages

  • 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
xWed 21 May 04:46
using conf.researchr.org (v1.69.0)
Support page
Sign Up