SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
Sun 15 Nov 2020 15:20 - 15:30 at SPLASH-IV - 14:25-- Logic and Language Expressiveness Chair(s): Peter Van Roy

Sun 15 Nov

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

15:00 - 16:20
14:25-- Logic and Language ExpressivenessLPOP at SPLASH-IV
Chair(s): Peter Van Roy Université catholique de Louvain
14:25
40m
Talk
Invited Talk: From CLP(R) to MiniZinc: There and Back Again
LPOP
I: Peter Stuckey University of Melbourne
15:05
15m
Paper
Logical English
LPOP
15:20
10m
Paper
Flamingo, a Compiler and Runtime for Reactive ALM Systems
LPOP
15:30
30m
Live Q&A
Panel: Since Logic Languages Are So Good, Why Aren’t They Pervasive?
LPOP
Peter Stuckey University of Melbourne, Robert Kowalski , Daniel Hines , C: David Warren Stony Brook University