SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
Sun 15 Nov 2020 13:45 - 14:15 at SPLASH-IV - 13:05-- Logic and Implementation Tractability Chair(s): Y. Annie Liu

Sun 15 Nov

Displayed time zone: Central Time (US & Canada) change

13:00 - 14:20
13:05-- Logic and Implementation TractabilityLPOP at SPLASH-IV
Chair(s): Y. Annie Liu Stony Brook University
13:05
40m
Talk
Invited Talk: Tractable Boolean Circuits: Applications and Compilation Algorithms
LPOP
13:45
30m
Live Q&A
Panel: Logic in Artificial Intelligence: Don’t Machine Learning and Neural Networks Do It All?
LPOP
Stuart Russell University of California, Berkeley, Paul Tarau University of North Texas, Adnan Darwiche UCLA, C: David Warren Stony Brook University
14:15
10m
Break
Break: Ask Me Anything
LPOP
Manuel Hermenegildo IMDEA Software Institute and T.U. of Madrid, C: Martin Gebser University of Klagenfurt, Austria