Programming with High-Level Abstractions
December 13, 2022
Held on stonybrook.zoom.us
The focus of the 2022 Logic and Practice of Programming workshop is programming with high-level abstractions, especially including sets and logic rules.
Programming with sets, started with SETL in 1969 [1], is central to relational database programming using SQL as well as NoSQL database programming using high-level languages such as Python. Programming with logic and rules, started with QA3 in 1969 [2] and Prolog in 1972 [3], is central to deductive database and knowledge base programming. For building large applications with modular components, programming with objects, such as supported in Python, is also essential.
The goal of the workshop is to bring together the best people and best languages, tools, and ideas to help improve programming with high-level abstractions for the practice of programming. Of particular interest are programming with sets (including relations and dictionaries), with general objects (including high-level types), and with logic rules (including constraints), with an eye to where programming is, and should be, going.
Potential participants are invited to submit a position paper (1 or 2 pages in PDF format), and also to state whether they wish to present a talk at the workshop. Because we intend to bring together people from a diverse range of language and programming communities, it is essential that all talks be accessible to non-specialists.
The program committee will invite attendees based on their position paper submissions and will attempt to accommodate presentation requests, but in ways that fit with the broader organizational goals outlined above.
Please submit your position paper through this EasyChair submission URL
https://easychair.org/conferences/?conf=lpop22
Important Dates
Position paper due Oct 31, 2022
Attendee invitation Nov 14, 2022
Camera-ready Nov 28, 2022
Bob Kowalski Imperial College London
Peter Norvig Google
Ed Schonberg NYU and Adacore
Guido van Rossum Microsoft
General Chairs
David Warren and Annie Liu, Stony Brook University
Program Chair
Annie Liu Stony Brook University
Program Committee
Martin Gebser University of Klagenfurt
Fritz Henglein University of Copenhagen
Michael Kifer Stony Brook University
Ana Milanova Rensselaer Polytechnic Institute
Paul Tarau University of North Texas
Tuncay Tekle Stony Brook University
Peter Van Roy Catholic University of Louvain
Joost Vennekens KU Leuven
Neng-Fa Zhou City University of New York
Special thanks to Paul McJones for his marvelous work at the Computer History Museum for creating the SETL Historical Sources Archive [1] as well as ALGOL, LISP, Prolog and other historical software archives.
[1] https://www.softwarepreservation.org/projects/SETL/index.html#Introduction
[2] https://www.ijcai.org/Proceedings/69/Papers/023.pdf
[3] https://www.softwarepreservation.org/projects/prolog/index.html#Marseille