Program
Sun 15 Nov
Displayed time zone: Central Time (US & Canada)
10:00-- Logic in Program Specification and AnalysisLPOP at SPLASH-IV
Chair(s): Y. Annie Liu Stony Brook University
10:00 10m Opening and Introduction
Peter Van Roy Université catholique de Louvain
10:10 40m Invited Talk: If You're Not Writing a Program, Don't Use a Programming Language
Leslie Lamport Microsoft Research
10:50 15m Deductive Synthesis of the Unification Algorithm: The Automation of Introspection
11:05 15m Logic in Program Analysis and Verification
Patrick Cousot New York University
11:20 30m Panel: Logic in Program Specification: Where Has It Failed? How Can We Fix It?
Leslie Lamport Microsoft Research, Richard Waldinger , Patrick Cousot New York University, C: David Warren Stony Brook University
11:50 10m Break: Ask Me Anything
Michael Leuschel University of Düsseldorf, C: Jorge Lobo ICREA and Universitat Pompeu Fabra
12:00-- Logic in Artificial Intelligence and Machine LearningLPOP at SPLASH-IV
Chair(s): Peter Van Roy Université catholique de Louvain
12:00 40m Invited Talk: Logic, Probability, Knowledge, and Learning
Stuart Russell University of California, Berkeley
12:40 15m Training Neural Networks to Do Logic, with Logic
Paul Tarau University of North Texas
12:55 10m Break: Ask Me Anything
Gopal Gupta , C: Joost Vennekens KU Leuven
13:05-- Logic and Implementation TractabilityLPOP at SPLASH-IV
Chair(s): Y. Annie Liu Stony Brook University
13:05 40m Invited Talk: Tractable Boolean Circuits: Applications and Compilation Algorithms
Adnan Darwiche UCLA
13:45 30m Panel: Logic in Artificial Intelligence: Don’t Machine Learning and Neural Networks Do It All?
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: Ask Me Anything
Manuel Hermenegildo IMDEA Software Institute and T.U. of Madrid, C: Martin Gebser University of Klagenfurt, Austria
14:25-- Logic and Language ExpressivenessLPOP at SPLASH-IV
Chair(s): Peter Van Roy Université catholique de Louvain
14:25 40m Invited Talk: From CLP(R) to MiniZinc: There and Back Again
Peter Stuckey University of Melbourne
15:05 15m Logical English
15:20 10m Flamingo, a Compiler and Runtime for Reactive ALM Systems
15:30 30m Panel: Since Logic Languages Are So Good, Why Aren’t They Pervasive?
Peter Stuckey University of Melbourne, Robert Kowalski , Daniel Hines , C: David Warren Stony Brook University
16:00 Closing