Program

Tuesday December 13, 2022

Displayed time zone: Eastern Time (US & Canada)

Link to submit questions for speakers, panels, and break hosts

10:00 Opening and Introduction

David Warren Stony Brook University and XSB Inc. and Annie Liu Stony Brook University

10:10-11:45 From Programming with Sets

Chair: Ana Milanova Rensselaer Polytechnic Institute, Invited Talk Chair: Fritz Henglein University of Copenhagen

10:10 40m Invited Talk: From SETL Prototyping to Ada2022: A Lesser-Known Passage up the Tower of Babel

Ed Schonberg NYU and Adacore

10:50 10m Synthetic Algebraic Programming

Fritz Henglein and Mikkel Kragh Mathiesen University of Copenhagen

11:00 45m Invited Session on SETL: Sets, Abstractions, and Programming Language Perspectives

Ed Schonberg NYU and Adacore, Fritz Henglein University of Copenhagen, Micha Sharir Tel Aviv University, Eugenio Omodeo University of Trieste, Guido van Rossum Microsoft, Chair: David Bacon GE Transportation, a Wabtec company

11:00 15m On SETL Optimization Work and Memories of Jack

Micha Sharir Tel Aviv University

11:15 10m AEtnaNova, An Alter Ego of SETL

Domenico Cantone, Eugenio Omodeo, and Alberto Policriti University of Trieste

11:25 20m Panel: Sets, Abstractions, and Programming Language Perspectives

11:45 15m Break: Discussion on Programming with Sets

Host: David Bacon GE Transportation, a Wabtec company

12:00-13:20 From Programming with Logic Rules and Sets

Chair: Peter Van Roy Catholic University of Louvain, Invited Talk Chair: Michael Kifer Stony Brook University

12:00 40m Invited Talk: Combining Logic Programs and Imperative Programs in LPS

Robert Kowalski Imperial College London

12:40 10m Knowledge Representation and Reasoning in the FO(.) Knowledge Base paradigm with IDP-Z3

Marc Denecker KU Leuven

12:50 10m Subset-logic Programming: a Declarative Approach to Sets

Bharat Jayaraman University at Buffalo, The State University of New York

13:00 10m {log}: Programming and Automated Proof in Set Theory

Maximiliano Cristia and Gianfranco Rossi National University of Rosario

13:10 10m Sets in Logic Programming and Principles of Language Design

Michael Gelfond Texas Tech University

13:20 20m Break: Discussion on Programming with Logic Rules and Sets

Host: Martin Gebser University of Klagenfurt

13:40-15:00 Programming with Sets, Logic Rules, and More

Chair: Tuncay Tekle Stony Brook University and Columbus Consulting, Invited Talk Chair: Annie Liu Stony Brook University

13:40 40m Invited Talk: Q&A: Language Design for Usability and Evolution

Guido van Rossum Microsoft

14:20 10m Programming in B: Sets and Logic all the Way Down

Michael Leuschel University of Düsseldorf

14:30 10m Designing a Datalog Engine for Industrial-Grade Static Analysis

Pavle Subotic Microsoft and Bernhard Scholz University of Sydney

14:40 10m An Organic Diet for Python: devouring a Logic-based Language

Paul Tarau University of North Texas

14:50 10m Alda: Integrating Logic Rules with Everything Else, Seamlessly

Yanhong A. Liu Stony Brook University

15:00 20m Break: Discussion on Programming with Sets, Logic Rules, and More

Host: Joost Vennekens KU Leuven

15:20-17:00 Programming, AI, Promise, and Pitfalls

Chair: David Warren Stony Brook University and XSB Inc,, Invied Talk Chair: Paul Tarau University of North Texas

15:20 40m Invited Talk: Programming with Machine Learning: Promise and Pitfalls

Peter Norvig Google

16:00 10m Logic Programming in AI: Some Directions

Benjamin Grosof Coherent Knowledge

16:10 10m A Set-Oriented View of Logic Programming

Michael Hanus Christian-Albrecht University of Kiel

16:20 40m Invited Panel: Logic, Knowledge, and Where Programming Should Be Going

Ed Schonberg NYU and Adacore, Robert Kowalski Imperial College London, Guido van Rossum Microsoft, Peter Norvig Google, Gopal Gupta University of Texas at Dallas, Neng-Fa Zhou City University of New York, Chair: David Warren Stony Brook University and XSB Inc.

17:00 Closing

David Warren Stony Brook University and XSB Inc. and Annie Liu Stony Brook University