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
Times are displayed in time zone: Central Time (US & Canada) change

13:00 - 14:20: 13:05-- Logic and Implementation TractabilityLPOP at SPLASH-IV
Chair(s): Y. Annie LiuStony Brook University
13:05 - 13:45
Talk
LPOP
13:45 - 14:15
Live Q&A
LPOP
Stuart RussellUniversity of California, Berkeley, Paul TarauUniversity of North Texas, Adnan DarwicheUCLA, C: David WarrenStony Brook University
14:15 - 14:25
Break
LPOP
Manuel HermenegildoIMDEA Software Institute and T.U. of Madrid, C: Martin GebserUniversity of Klagenfurt, Austria