POPL 2022 (series) / PADL 2022 (series) /
PADL 2022 Program
This is the PADL 2022 program - see the full program for POPL 2022 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Mon 17 JanDisplayed time zone: Eastern Time (US & Canada) change
Mon 17 Jan
Displayed time zone: Eastern Time (US & Canada) change
09:00 - 10:00 | Invited talkPADL at Directors Chair(s): James Cheney University of Edinburgh; Alan Turing Institute Remote session chair | ||
09:00 60mKeynote | People, Ideas, and the Path AheadIn-Person PADL Marcello Balduccini Saint Joseph's University, USA |
10:20 - 12:00 | Languages, Methods and ToolsPADL at Directors Chair(s): Esra Erdem Sabanci University, Turkey Remote session chair | ||
10:20 25mTalk | Smart Devices and Large Scale Reasoning via ASP: Tools and ApplicationsRemote PADL Kristian Reale Department of Mathematics and Computer Science University of Calabria - DLVSystem S.r.l., Francesco Calimeri University of Calabria, Nicola Leone University of Calabria, Italy, Francesco Ricca University of Calabria, Italy | ||
10:45 25mTalk | Timed Concurrent Language for Argumentation: an Interleaving ApproachRemote PADL Stefano Bistarelli University of Perugia, Maria Chiara Meo University “G. d’Annunzio” of Chieti-Pescara, Carlo Taticchi University of Perugia | ||
11:10 25mTalk | Towards Dynamic Consistency Checking in Goal-directed Predicate Answer Set ProgrammingRemote PADL Joaquín Arias Universidad Rey Juan Carlos, Manuel Carro IMDEA Software Institute and T.U. of Madrid (UPM), Gopal Gupta The University of Texas at Dallas DOI Pre-print File Attached | ||
11:35 25mTalk | Implementing Stable-Unstable Semantics with ASPTOOLS and ClingoRemote PADL Tomi Janhunen Tampere University |
13:30 - 14:45 | Answer Set ProgrammingPADL at Directors Chair(s): Martin Gebser University of Klagenfurt, Austria Remote session chair | ||
13:30 25mTalk | Modelling the Outlier Detection Problem in QASPRemote PADL Pierpaolo Bellusci University of Calabria, Giuseppe Mazzotta University of Calabria, Fracesco Ricca University of Calabria | ||
13:55 25mTalk | Multi-Agent Pick and Delivery with Capacities: Action Planning vs Path FindingRemote PADL Nima Tajelipirbazari TED University, Çağrı Uluç Yıldırımoğlu Sabanci University, Orkunt Sabuncu TED University, Ali Can Arıcı Ekol Logistics, İdil Helin Özen Ekol Logistics, Volkan Patoğlu Sabanci University, Esra Erdem Sabanci University, Turkey | ||
14:20 25mTalk | Determining Action Reversibility in STRIPS Using Answer Set Programming with QuantifiersRemote PADL Wolfgang Faber University of Klagenfurt, Michael Morak University of Klagenfurt, Lukas Chrpa Czech Technical University in Prague |
Tue 18 JanDisplayed time zone: Eastern Time (US & Canada) change
Tue 18 Jan
Displayed time zone: Eastern Time (US & Canada) change
09:00 - 10:00 | Invited talkPADL at Directors Chair(s): Antonio Brogi Università di Pisa, Simona Perri University of Calabria, Italy Remote session chair | ||
09:00 60mKeynote | Declarative Programming and EducationRemote PADL Shriram Krishnamurthi Brown University, United States |
10:20 - 12:00 | Declarative SolutionsPADL at Directors Chair(s): Francesco Calimeri University of Calabria Remote session chair | ||
10:20 25mTalk | Green Application Placement in the Cloud-IoT ContinuumRemote PADL | ||
10:45 25mTalk | Decomposition-based job-shop scheduling with constrained clusteringRemote PADL Mohammed M. S. El-Kholany University of Klagenfurt, Martin Gebser University of Klagenfurt, Austria, Konstantin Schekotihin Alpen-Adria Universit�t Klagenfurt | ||
11:10 25mTalk | Modeling and Verification of Real-Time Systems with the Event Calculus and s(CASP)Remote PADL Sarat Chandra Varanasi The University of Texas at Dallas, Joaquín Arias Universidad Rey Juan Carlos, Elmer Salazar The University of Texas at Dallas, Fang Li The University of Texas at Dallas, Kinjal Basu The University of Texas at Dallas, Gopal Gupta The University of Texas at Dallas | ||
11:35 25mTalk | Parallel Declarative Solutions of Sequencing Problems using Multi-valued Decision Diagrams and GPUsRemote PADL |
13:30 - 14:45 | |||
13:30 25mTalk | Graph-based Interpretation of Normal Logic ProgramsRemote PADL Fang Li The University of Texas at Dallas, Elmer Salazar The University of Texas at Dallas, Gopal Gupta The University of Texas at Dallas | ||
13:55 25mTalk | Functional Programming on Top of SQL EnginesRemote PADL Tobias Burghardt University of Tübingen, Denis Hirn University of Tübingen, Torsten Grust University of Tübingen | ||
14:20 25mTalk | CircuitFlow: : A Domain Specific Language for Dataflow ProgrammingIn-Person PADL Riley Evans University of Bristol, Samantha Frohlich University of Bristol, Meng Wang University of Bristol |