POPL 2024 (series) / PADL 2024 (series) /
PADL 2024 Program
This is the PADL 2024 program - see the full program for POPL 2024 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Sun 14 JanDisplayed time zone: London change
Sun 14 Jan
Displayed time zone: London change
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering | ||
Mon 15 JanDisplayed time zone: London change
Mon 15 Jan
Displayed time zone: London change
09:00 - 10:30 | |||
09:00 60mKeynote | Modular Higher-Order Effects PADL | ||
10:00 30mTalk | Asynchronous Reactive Programming with Modal Types in Haskell PADL Patrick Bahr IT University of Copenhagen, Emil Houlborg IT University of Copenhagen, Gregers Thomas Skat Rørdam IT University of Copenhagen Pre-print | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering | ||
11:00 - 12:30 | Knowledge Representation and LearningPADL at Lovelace Room Chair(s): Jessica Zangari Università della Calabria | ||
11:00 30mTalk | Explanation and Knowledge Acquisition in Ad Hoc Teamwork PADL | ||
11:30 30mTalk | Ontological Reasoning over Shy and Warded Datalog+/- for Streaming-based Architectures PADL Teodoro Baldazzi Università degli Studi Roma Tre, Luigi Bellomarini Banca d'Italia, Marco Favorito Banca d'Italia, Emanuel Sallinger TU Wien & University of Oxford | ||
12:00 30mTalk | FOLD-SE: An Efficient Rule-based Machine Learning Algorithm with Scalable Explainability PADL | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
14:00 - 15:30 | |||
14:00 30mTalk | Marketplace Logistic via Answer Set Programming PADL Mario Alviano University of Calabria, Danilo Amendola Oliveru - Smartly Engineering, Luis Angel Rodriguez Reiners University of Calabria | ||
14:30 30mTalk | Rethinking Answer Set Programming Templates PADL Mario Alviano University of Calabria, Giovambattista Ianni University of Calabria, Italy, Francesco Pacenza Department of Mathematics and Computer Science, University of Calabria, Jessica Zangari Università della Calabria | ||
15:00 30mTalk | A direct ASP encoding for Declare PADL Francesco Chiariello University of Naples Federico II, Valeria Fionda University of Calabria, Antonio Ielo University of Calabria, Francesco Ricca University of Calabria, Italy | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering | ||
16:00 - 17:30 | Panel DiscussionPADL at Lovelace Room Chair(s): Ekaterina Komendantskaya Heriot-Watt University and Southampton University | ||
16:00 90mPanel | Declarative Languages for Safe AI PADL P: Gopal Gupta University of Texas at Dallas, P: Wen Kokke University of Edinburgh, P: Claudia Faggian Université de Paris & CNRS, P: Alessandro Bruni IT University of Copenhagen, P: Younesse Kaddar University of Oxford | ||
Tue 16 JanDisplayed time zone: London change
Tue 16 Jan
Displayed time zone: London change
09:00 - 10:30 | Declarative Programming for AIPADL at Lovelace Room Chair(s): Martin Gebser University of Klagenfurt, Austria | ||
09:00 60mKeynote | Whats and Whys of Neural Network Verification (A Declarative Programming Perspective) PADL | ||
10:00 30mTalk | Using Logic Programming and Kernel-Grouping for Improving Interpretability of Convolutional Neural Networks PADL Parth Padalkar THE UNIVERSITY OF TEXAS AT DALLAS, Huaduo Wang THE UNIVERSITY OF TEXAS AT DALLAS, Gopal Gupta University of Texas at Dallas | ||
10:30 - 11:00 | |||
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering | ||
11:00 - 12:30 | |||
11:00 30mTalk | Rhyme: A Data-Centric Expressive Query Language for Nested Data Structures PADL | ||
11:30 30mTalk | Hardware implementation of OCaml using a synchronous functional language PADL Loïc Sylvestre LIP6 - Sorbonne Université, Paris, Jocelyn Sérot Institut Pascal, Clermont-Ferrand, Emmanuel Chailloux UPMC, France | ||
12:00 30mTalk | Cutting the Cake Into Crumbs: Verifying Envy-Free Cake-Cutting Protocols using Bounded Integer Arithmetic PADL Martin Lester University of Reading | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
14:00 - 15:30 | |||
14:00 30mTalk | Automated Interactive Domain-Specific Conversational Agents that Understand Human Dialogs PADL Yankai Zeng The University of Texas at Dallas, Abhiramon Rajasekharan The University of Texas at Dallas, Parth Padalkar THE UNIVERSITY OF TEXAS AT DALLAS, Kinjal Basu IBM, Joaquín Arias Universidad Rey Juan Carlos, Gopal Gupta University of Texas at Dallas | ||
14:30 30mTalk | Forgetting Techniques for Optimizing ASP-based Stream Reasoning PADL Francesco Calimeri University of Calabria, Giovambattista Ianni University of Calabria, Italy, Francesco Pacenza Department of Mathematics and Computer Science, University of Calabria, Simona Perri University of Calabria, Italy, Jessica Zangari Università della Calabria | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering | ||
Sat 20 JanDisplayed time zone: London change
Sat 20 Jan
Displayed time zone: London change
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
12:30 - 14:00 | |||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering | ||