PriSC 2023
Sun 15 - Sat 21 January 2023 Boston, Massachusetts, United States
co-located with POPL 2023
VenueBoston Park Plaza
Room nameThe Loft
Room InformationNo extra information available
Program

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

Mon 16 Jan

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

09:00 - 10:00
Opening & Invited TalkPADL at The Loft
Chair(s): Daniela Inclezan Miami University
09:00
60m
Talk
Towards Declarative Content Generation for Creativity Support Tools
PADL
Chris Martens Northeastern University
10:00 - 10:30
ReasoningPADL at The Loft
Chair(s): Anssi Yli-Jyrä Tampere University
10:00
30m
Talk
Using Hybrid Knowledge Bases for Meta-reasoning over OWL 2 QL
PADL
Haya Majid Qureshi Alpen-Adria-Universität Klagenfurt, Wolfgang Faber University of Klagenfurt
11:00 - 12:30
Domain Specific LanguagesPADL at The Loft
Chair(s): Sarat Chandra Varanasi The University of Texas at Dallas, General Electric Research
11:00
30m
Talk
Fluo: A Domain-Specific Language for Experiments in Fluorescence Microscopy (Application Paper)
PADL
Birthe van den Berg KU Leuven, Tom Schrijvers KU Leuven, Peter Dedecker KU Leuven
11:30
30m
Talk
SwitchLog: A Logic Programming Language for Network Switches
PADL
Vaibhav Mehta Princeton University, Devon Loehr Princeton University, John Sonchack University of Pennsylvania, USA, David Walker Princeton University
12:00
30m
Talk
Formalizing and Reasoning about Contracts between Agents
PADL
Dylan Flynn , Chasity Nadeau , Jeannine Shantz , Marcello Balduccini Saint Joseph's University, USA, Tran Cao Son New Mexico State University, Edward Griffor
14:00 - 15:30
Applications of Answer Set Programming (I)PADL at The Loft
Chair(s): Wolfgang Faber Alpen-Adria-Universität, Austria
14:00
30m
Talk
Jury-trial Story Construction and Analysis using Goal-directed Answer Set Programming
PADL
Zesheng Xu The University of Texas at Dallas, Gopal Gupta University of Texas at Dallas, USA, Elmer Salazar The University of Texas at Dallas, Joaquín Arias Universidad Rey Juan Carlos, Sarat Chandra Varanasi The University of Texas at Dallas, General Electric Research
14:30
30m
Talk
Solving Vehicle Equipment Specification Problems with Answer Set Programming
PADL
Raito Takeuchi Nagoya University, Mutsunori Banbara Nagoya University, Naoyuki Tamura Kobe University, JAPAN, Torsten Schaub University of Potsdam
15:00
30m
Talk
Pruning Redundancy in Answer Set Optimization Applied to Preventive Maintenance Scheduling
PADL
Anssi Yli-Jyrä Tampere University, Masood Feyzbakhsh Rankooh Tampere University, Tomi Janhunen Tampere University
16:00 - 17:30
Applications of Answer Set Programming (II)PADL at The Loft
Chair(s): Mutsunori Banbara Nagoya University
16:00
30m
Talk
Integrating ASP-based incremental reasoning in the videogame development workflow (Application Paper)
PADL
Denise Angilica Università Della Calabria, Giovambattista Ianni University of Calabria, Italy, Francesco Pacenza Department of Mathematics and Computer Science, University of Calabria, Jessica Zangari Università della Calabria
16:30
30m
Talk
UAV Compliance Checking using Answer Set Programming and Minimal Explanations towards Compliance (Application Paper)
PADL
Sarat Chandra Varanasi The University of Texas at Dallas, General Electric Research, Baoluo Meng GE Research, Christopher Alexander GE Research, Szabolcs Borgyos GE Research
17:00
30m
Talk
Flexible Job-shop Scheduling for Semiconductor Manufacturing with Hybrid Answer Set Programming (Application Paper)
PADL
Ramsha Ali University of Klagenfurt, Mohammed M. S. El-Kholany University of Klagenfurt, Martin Gebser University of Klagenfurt, Austria

Tue 17 Jan

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

09:00 - 10:00
Invited TalkPADL at The Loft
Chair(s): Michael Hanus Kiel University
09:00
60m
Talk
Modern Macros
PADL
Robert Bruce Findler Northwestern University
10:00 - 10:30
DebuggingPADL at The Loft
Chair(s): Steven Libby University of Portland
10:00
30m
Talk
Automatic Rollback Suggestions for Incremental Datalog Evaluation
PADL
David Zhao The University of Sydney, Pavle Subotic Microsoft Azure, Mukund Raghothaman University of Southern California, Bernhard Scholz University of Sydney
11:00 - 12:30
Functional (Logic) ProgrammingPADL at The Loft
Chair(s): William E. Byrd University of Alabama at Birmingham, USA
11:00
30m
Talk
RICE: An Optimizing Curry Compiler
PADL
Steven Libby University of Portland
11:30
30m
Talk
Embedding Functional Logic Programming in Haskell via a Compiler Plugin
PADL
Kai-Oliver Prott University of Kiel, Germany, Finn Teegen University of Kiel, Germany, Jan Christiansen Flensburg University of Applied Sciences, Germany
DOI File Attached
12:00
30m
Talk
Program Synthesis Using Example Propagation
PADL
Niek Mulleners Utrecht University, Johan Jeuring Utrecht University, Bastiaan Heeren Open University of the Netherlands, Netherlands
14:00 - 15:30
VerificationPADL at The Loft
Chair(s): Linda Brodo Università di Sassari
14:00
30m
Talk
Execution Time Program Verification With Tight Bounds
PADL
Ana Carolina Silva FCUP, Manuel Barbosa HASLab - INESC TEC and FCUP, Mario Florido Universidade do Porto
14:30
30m
Talk
From Starvation Freedom to All-Path Reachability Problems in Constrained Rewriting
PADL
Misaki Kojima Nagoya University, Naoki Nishida Nagoya University
DOI File Attached
15:00
30m
Talk
Multiple Query Satisfiability of Constrained Horn Clauses
PADL
Emanuele De Angelis CNR-IASI, Fabio Fioravanti University of Chieti-Pescara, Alberto Pettorossi University of Rome Tor Vergata, Italy, Maurizio Proietti CNR-IASI
16:00 - 17:30
Analysis and Symbolic MethodsPADL at The Loft
Chair(s): Naoki Nishida Nagoya University
16:00
30m
Talk
Dynamic slicing of Reaction Systems based on assertions and monitors
PADL
Linda Brodo Università di Sassari, Roberto Bruni University of Pisa, Moreno Falaschi Dipartimento di Ingegneria dell'Informazione e Scienze Matematiche, University of Siena
16:30
30m
Talk
Linear Algebraic Abduction with Partial Evaluation
PADL
Tuan Nguyen National Institute of Informatics, Katsumi Inoue NII, Chiaki Sakama Wakayama University
DOI File Attached

Mon 16 Jan

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

Tue 17 Jan

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