POPL 2022
Sun 16 - Fri 28 January 2022
Philadelphia, Pennsylvania, United States
Toggle navigation
Attending
Hotel: Westin Philadelphia
Supporting POPL
Accessibility
Visa Information
Registration
Program
Complete Program
Your Program
Filter by Day
Sun 16 Jan
Mon 17 Jan
Tue 18 Jan
Wed 19 Jan
Thu 20 Jan
Fri 21 Jan
Sat 22 Jan
Sun 23 Jan
Mon 24 Jan
Tue 25 Jan
Wed 26 Jan
Thu 27 Jan
Fri 28 Jan
Tracks
POPL 2022
POPL
Student Research Competition
Student Volunteers
TutorialFest
Artifact Evaluation
Workshops and Co-located Events
Virtual Workshop
Diversity, Equity and Inclusion
Co-hosted Conferences
CPP
VMCAI
VMCAI
- Back to the Future: A Fresh Look at Linear Temporal Logic
- Sequential Information Flow
- Simplifying Concurrent Programming via Synchronization Synthesis
Workshops
CoqPL
LAFI
PEPM
PLMW
PriSC
ProLaLa
Programming Languages and the Law
WITS
Co-hosted Symposia
PADL
Organization
POPL 2022 Committees
Organizing Committee
Track Committees
POPL
Student Research Competition
TutorialFest
Artifact Evaluation
Virtual Workshop
Contributors
People Index
Co-hosted Conferences
CPP
Organization Committee
Program Committee
Steering Committee
VMCAI
Organizing Committee
Program Committee
Artifact Evaluation Committee
Workshops
CoqPL
Invited speaker
Organizing Committee
Program Committee
LAFI
Organizing Committee
Program Committee
Steering Committee
PEPM
Organizing Committee
Program Committee
Steering Committee
PLMW
Organizing Committee
Invited speakers
Panelists
PriSC
Program Committee
Steering Committee
ProLaLa
Program Committee
WITS
Program Committee
Co-hosted Symposia
PADL
Programme Chairs
Programme Committee
Search
Series
Series
POPL 2025
POPL 2024
POPL 2023
POPL 2022
POPL 2021
POPL 2020
POPL 2019
POPL 2018
POPL 2017
POPL 2016
Sign in
Sign up
POPL 2022
(
series
) /
Westin Philadelphia
/
Room information: Directors
Venue
Westin Philadelphia
Room name
Directors
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT-05:00) Eastern Time (US & Canada)
.
Use conference time zone: (GMT-05:00) Eastern Time (US & Canada)
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-10:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-09:00) Alaska
(GMT-08:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-08:00) Pacific Time (US & Canada)
(GMT-07:00) Mountain Time (US & Canada)
(GMT-07:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-06:00) Central Time (US & Canada)
(GMT-05:00) Eastern Time (US & Canada)
(GMT-05:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-04:00) Atlantic Time (Goose Bay)
(GMT-04:00) Atlantic Time (Canada)
(GMT-03:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-03:00) Miquelon, St. Pierre
(GMT-03:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT-01:00) Azores
(UTC) Coordinated Universal Time
(GMT) Belfast
(GMT) Dublin
(GMT) Lisbon
(GMT) London
(GMT) Monrovia, Reykjavik
(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+01:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+01:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+02:00) Athens
(GMT+02:00) Beirut
(GMT+02:00) Cairo
(GMT+02:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+02:00) Jerusalem
(GMT+03:00) Minsk
(GMT+02:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+12:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
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 talk
PADL
at
Directors
Chair(s):
James Cheney
University of Edinburgh; Alan Turing Institute
Remote session chair
09:00
60m
Keynote
People, Ideas, and the Path Ahead
In-Person
PADL
Marcello Balduccini
Saint Joseph's University, USA
10:20 - 12:00
Languages, Methods and Tools
PADL
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 Applications
Remote
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 Approach
Remote
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 Programming
Remote
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 Clingo
Remote
PADL
Tomi Janhunen
Tampere University
13:30 - 14:45
Answer Set Programming
PADL
at
Directors
Chair(s):
Martin Gebser
University of Klagenfurt, Austria
Remote session chair
13:30
25m
Talk
Modelling the Outlier Detection Problem in QASP
Remote
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 Finding
Remote
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 Quantifiers
Remote
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 talk
PADL
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 Education
Remote
PADL
Shriram Krishnamurthi
Brown University, United States
10:20 - 12:00
Declarative Solutions
PADL
at
Directors
Chair(s):
Francesco Calimeri
University of Calabria
Remote session chair
10:20
25m
Talk
Green Application Placement in the Cloud-IoT Continuum
Remote
PADL
Stefano Forti
University of Pisa
,
Antonio Brogi
Università di Pisa
10:45
25m
Talk
Decomposition-based job-shop scheduling with constrained clustering
Remote
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 GPUs
Remote
PADL
Fabio Tardivo
New Mexico State University
,
Enrico Pontelli
13:30 - 14:45
Functional and Logic Programming
PADL
at
Directors
Chair(s):
Alan Jeffrey
Roblox
13:30
25m
Talk
Graph-based Interpretation of Normal Logic Programs
Remote
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 Engines
Remote
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 Programming
In-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
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
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
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
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
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
Directors
PADL
In-Person
People, Ideas, and the Path Ahead
09:00 - 10:00
PADL
Remote
Smart Devices and Large Scale Reasoning via ASP: Tools and Applications
10:20 - 10:45
PADL
Remote
Timed Concurrent Language for Argumentation: an Interleaving Approach
10:45 - 11:10
PADL
Remote
Towards Dynamic Consistency Checking in Goal-directed Predicate Answer ...
11:10 - 11:35
PADL
Remote
Implementing Stable-Unstable Semantics with ASPTOOLS and Clingo
11:35 - 12:00
PADL
Remote
Modelling the Outlier Detection Problem in QASP
13:30 - 13:55
PADL
Remote
Multi-Agent Pick and Delivery with Capacities: Action Planning vs Path ...
13:55 - 14:20
PADL
Remote
Determining Action Reversibility in STRIPS Using Answer Set Programming ...
14:20 - 14:45
Tue 18 Jan
Displayed time zone:
Eastern Time (US & Canada)
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
Directors
PADL
Remote
Declarative Programming and Education
09:00 - 10:00
PADL
Remote
Green Application Placement in the Cloud-IoT Continuum
10:20 - 10:45
PADL
Remote
Decomposition-based job-shop scheduling with constrained clustering
10:45 - 11:10
PADL
Remote
Modeling and Verification of Real-Time Systems with the Event Calculus ...
11:10 - 11:35
PADL
Remote
Parallel Declarative Solutions of Sequencing Problems using Multi-value ...
11:35 - 12:00
PADL
Remote
Graph-based Interpretation of Normal Logic Programs
13:30 - 13:55
PADL
Remote
Functional Programming on Top of SQL Engines
13:55 - 14:20
PADL
In-Person
CircuitFlow: : A Domain Specific Language for Dataflow Programming
14:20 - 14:45
x
Sun 8 Sep 01:50