POPL 2026
Sun 11 - Sat 17 January 2026 Rennes, France
Mon 12 Jan 2026 15:00 - 15:30 at Salle 12 - PADL M3 Chair(s): Michael Leuschel

Answer Set Programming with Quantifiers (ASP(Q)) extends classical ASP to naturally capture problems within the polynomial hierarchy (PH). Recently, the formalism has been enriched with weak constraints to express both local and global optimization criteria, enabling the modeling of problems in $\Delta_{n+1}^P$. In this paper, we present the first implementation of ASP(Q) with global weak constraints, built on top of the state-of-the-art ASP(Q) system PyQASP, based on an upper-bound improving strategy that effectively guides the search toward optimal solutions. Experiments demonstrate that our approach can be effectively applied to solve hard optimization problems.

Mon 12 Jan

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

14:00 - 15:30
PADL M3PADL at Salle 12
Chair(s): Michael Leuschel HHU
14:00
30m
Talk
Property-Based Testing for Asynchronous Functional Reactive Programming Using Linear Temporal Logic
PADL
Christian Emil Nielsen IT University of Copenhagen, Mathias Faber Kristiansen IT University of Copenhagen, Patrick Bahr IT University of Copenhagen
Pre-print
14:30
30m
Talk
Graph Rewriting Language as a Platform for Quantum Diagrammatic Calculi
PADL
Kayo Tei Waseda University, Haruto Mishina Waseda University, Naoki Yamamoto Waseda University, Kazunori Ueda Waseda University
DOI Pre-print File Attached
15:00
30m
Talk
Solving hard combinatorial optimization problems with PyQASP
PADL
Damiano Azzolini University of Ferrara, Nicola Leone University of Calabria, Italy, Giuseppe Mazzotta University of Calabria, Fracesco Ricca University of Calabria