POPL 2022
Sun 16 - Fri 28 January 2022 Philadelphia, Pennsylvania, United States
POPL 2022 (series) / Westin Philadelphia /

Room information: Directors

VenueWestin Philadelphia
Room nameDirectors
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 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
60m
Keynote
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
25m
Talk
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
25m
Talk
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
25m
Talk
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
25m
Talk
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
25m
Talk
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
25m
Talk
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
25m
Talk
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 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
60m
Keynote
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
25m
Talk
Green Application Placement in the Cloud-IoT ContinuumRemote
PADL
Stefano Forti University of Pisa, Antonio Brogi Università di Pisa
10:45
25m
Talk
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
25m
Talk
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
25m
Talk
Parallel Declarative Solutions of Sequencing Problems using Multi-valued Decision Diagrams and GPUsRemote
PADL
Fabio Tardivo New Mexico State University, Enrico Pontelli
13:30 - 14:45
Functional and Logic ProgrammingPADL at Directors
Chair(s): Alan Jeffrey Roblox
13:30
25m
Talk
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
25m
Talk
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
25m
Talk
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

Mon 17 Jan

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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Directors

PADL

Invited talk

PADL

Languages, Methods and Tools

PADL

Answer Set Programming

PADL

PADL

Tue 18 Jan

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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Directors

PADL

Invited talk

PADL

Declarative Solutions

PADL

Functional and Logic Programming

PADL

PADL

Mon 17 Jan

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:00153045
Directors
PADLIn-Person
People, Ideas, and the Path Ahead
09:00 - 10:00
PADLRemote
Smart Devices and Large Scale Reasoning via ASP: Tools and Applications
10:20 - 10:45
PADLRemote
Timed Concurrent Language for Argumentation: an Interleaving Approach
10:45 - 11:10
PADLRemote
Towards Dynamic Consistency Checking in Goal-directed Predicate Answer ...
11:10 - 11:35
PADLRemote
Implementing Stable-Unstable Semantics with ASPTOOLS and Clingo
11:35 - 12:00
PADLRemote
Modelling the Outlier Detection Problem in QASP
13:30 - 13:55
PADLRemote
Multi-Agent Pick and Delivery with Capacities: Action Planning vs Path ...
13:55 - 14:20
PADLRemote
Determining Action Reversibility in STRIPS Using Answer Set Programming ...
14:20 - 14:45

Tue 18 Jan

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:00153045
Directors
PADLRemote
Declarative Programming and Education
09:00 - 10:00
PADLRemote
Green Application Placement in the Cloud-IoT Continuum
10:20 - 10:45
PADLRemote
Decomposition-based job-shop scheduling with constrained clustering
10:45 - 11:10
PADLRemote
Modeling and Verification of Real-Time Systems with the Event Calculus ...
11:10 - 11:35
PADLRemote
Parallel Declarative Solutions of Sequencing Problems using Multi-value ...
11:35 - 12:00
PADLRemote
Graph-based Interpretation of Normal Logic Programs
13:30 - 13:55
PADLRemote
Functional Programming on Top of SQL Engines
13:55 - 14:20
PADLIn-Person
CircuitFlow: : A Domain Specific Language for Dataflow Programming
14:20 - 14:45