SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference

Logic is fundamental to computer science. Since the development of logic programming in the 1960s, logic has seen a growing practical role in computer science. The purpose of this workshop is to be a bridge between different areas of computer science that use logic as a practical tool. We take advantage of the common language of formal logic to exchange ideas between these different areas. We encourage submissions from all areas of computer science that use formal logic. Your submission could explain how logic is used practically in your area, what are its successes and what are the challenges for the future. Your submission should be written to be understandable to anyone who understands formal logic. Concepts specific to your area should be defined in the paper. In this way, we aim to improve the practical use of logic in each area by transferring ideas and techniques between the areas.

SPLASH has a long history of supporting workshops in many different areas of computer science. We mention just a few: generative programming, language engineering, managed runtimes, incremental computing, virtual machines, reactive languages, live programming, spatio-temporal knowledge bases, and AI-inspired methods for parallel computing. All of these areas use logic as part of their problem-solving arsenal, to help formulate and solve the problems specific to the area. Many use practical tools based on logic, such as SAT solvers, proof assistants, specification languages, logic programming, deductive databases, constraint solvers, and model checkers. The purpose of LPOP 2020 is to encourage cross-fertilization between these areas using the common language of logic and its practical applications.

LPOP 2020 is a followup to the successful LPOP workshop held as part of the Federated Logic Conference in Oxford, UK in 2018. The earlier workshop focused on the integration of logic programming with imperative programming, to improve the practice of programming with logic. LPOP 2020 broadens this goal to focus on the practical use of logic as a crosscutting discipline across many areas of computer science. We hope to create synergies in these areas and help them progress faster by taking advantage of good ideas developed in other areas. This will also improve the general practice of programming with logic.

Highlights: Outstanding Invited Speakers

Title
LPOP
LPOP
LPOP
LPOP
Plenary
You're viewing the program in a time zone which is different from your device's time zone - change time zone

Sun 15 Nov
Times are displayed in time zone: Central Time (US & Canada) change

07:00 - 07:20: Opening SessionOpening at SPLASH-I +12h
07:00 - 07:20
Day opening
Opening
Hridesh RajanIowa State University, USA, David GroveIBM Research, E: Christian HammerUniversity of Potsdam, E: Robert HirschfeldHasso-Plattner-Institut (HPI), Germany, E: Anders MøllerAarhus University
07:20 - 08:20: SKeynotes at SPLASH-I +12h
07:20 - 08:20
Keynote
Keynotes
Jan VitekNortheastern University / Czech Technical University
Media Attached
08:20 - 09:00: Breakfast in ChicagoPosters at SPLASH-I +12h

Please click the link below for the list of featured posters.

08:20 - 09:00
Other
Posters
09:00 - 10:20: 10:00-- Logic in Program Specification and AnalysisLPOP at SPLASH-IV
Chair(s): Y. Annie LiuStony Brook University
10:00 - 10:10
Day opening
LPOP
Peter Van RoyUniversité catholique de Louvain
10:10 - 10:50
Talk
LPOP
I: Leslie LamportMicrosoft Research
10:50 - 11:05
Paper
LPOP
11:05 - 11:20
Paper
LPOP
Patrick CousotNew York University
11:20 - 11:50
Live Q&A
LPOP
Leslie LamportMicrosoft Research, Richard Waldinger, Patrick CousotNew York University, C: David WarrenStony Brook University
11:50 - 12:00
Break
LPOP
Michael LeuschelUniversity of Düsseldorf, C: Jorge LoboICREA and Universitat Pompeu Fabra
10:20 - 11:00: Breakfast in Seattle (PLMW AMA)PLMW at SPLASH-I
10:20 - 11:00
Talk
PLMW
Amal AhmedNortheastern University, USA
11:00 - 12:20: 12:00-- Logic in Artificial Intelligence and Machine LearningLPOP at SPLASH-IV
Chair(s): Peter Van RoyUniversité catholique de Louvain
12:00 - 12:40
Talk
LPOP
I: Stuart RussellUniversity of California, Berkeley
12:40 - 12:55
Paper
LPOP
Paul TarauUniversity of North Texas
12:55 - 13:05
Break
LPOP
12:20 - 13:00: Breakfast in WellingtonMeet The Speakers (MTS) at SPLASH-I +36h
12:20 - 13:00
Social Event
Meet The Speakers (MTS)
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
14:20 - 15:00: Cocktails in ParisMeet The Speakers (MTS) at SPLASH-I +12h
14:20 - 15:00
Social Event
Meet The Speakers (MTS)
15:00 - 16:20: 14:25-- Logic and Language ExpressivenessLPOP at SPLASH-IV
Chair(s): Peter Van RoyUniversité catholique de Louvain
14:25 - 15:05
Talk
LPOP
I: Peter StuckeyUniversity of Melbourne
15:05 - 15:20
Paper
LPOP
15:20 - 15:30
Paper
LPOP
15:30 - 16:00
Live Q&A
LPOP
Peter StuckeyUniversity of Melbourne, Robert Kowalski, Daniel Hines, C: David WarrenStony Brook University
16:20 - 17:00: Breakfast in SeoulMeet The Speakers (MTS) at SPLASH-I +12h
16:20 - 17:00
Social Event
Meet The Speakers (MTS)
18:20 - 19:00: Cocktails in RioMeet The Speakers (MTS) at SPLASH-I +12h
18:20 - 19:00
Social Event
Meet The Speakers (MTS)
19:00 - 19:20: Opening SessionOpening at SPLASH-I
19:00 - 19:20
Day opening
Opening
Hridesh RajanIowa State University, USA, David GroveIBM Research, E: Christian HammerUniversity of Potsdam, E: Robert HirschfeldHasso-Plattner-Institut (HPI), Germany, E: Anders MøllerAarhus University
19:20 - 20:20: SKeynotes at SPLASH-I
19:20 - 20:20
Keynote
Keynotes
Jan VitekNortheastern University / Czech Technical University
Media Attached
20:20 - 21:00: Cocktails in New YorkPosters at SPLASH-I

Please click the link below for the list of featured posters.

20:20 - 21:00
Other
Posters
22:20 - 23:00: Lunch in TokyoMeet The Speakers (MTS) at SPLASH-I
22:20 - 23:00
Social Event
Meet The Speakers (MTS)

Call for Participation

The goal of the workshop is to bring together the best people and best languages, tools, and ideas to help improve logic languages for the practice of programming and improve the practice of programming with logic and declarative programming. We plan to organize the workshop around a number of “challenge problems”, including in particular expressing a set of system components and functionalities clearly and precisely using a chosen description language.

We will have invited talks by four wonderful people: Adnan Darwiche (UCLA), Leslie Lamport (Microsoft Research), Stuart Russell (UC Berkeley), and Peter Stuckey (U of Melbourne). There will be additional presentations and discussion panels on using well-known description methods and tools. We will aim to group presentations of description methods by the kind of problems that they address, and to allow ample time to understand the strengths of the various approaches and how they might be combined.

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, explaining how they would express the challenge problems. Because we intend to bring together researchers from many parts of logic and declarative languages and practice of programming communities, it is essential that all talks be accessible to non-specialists.

The program committee will invite attendees based on the position paper submissions and will attempt to accommodate presentation requests, but in ways that fit with the broader organizational goals outlined above.

Instructions for preparing a position paper appears below. Please submit your position paper through this EasyChair submission URL.

Preparing your position paper

To streamline the exchange of ideas, you may consider using a challenge software domain: the domain of Role-Based Access Control. It was created for LPOP 2018, as described in http://lpop.cs.stonybrook.edu/preparing-your-position-paper, but it was only solved in part by various groups, as described in http://lpop.cs.stonybrook.edu/workshop-report (also https://arxiv.org/abs/2008.07901). We are also working to create RBAC data for running experiments.