PADL 2024
Dates to be announced London, United Kingdom
co-located with POPL 2024
POPL 2024 (series) / PADL 2024 (series) / Institution of Engineering and Technology /

Room information: Lovelace Room

VenueInstitution of Engineering and Technology
Room nameLovelace Room
Floor0
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

Sun 14 Jan

Displayed time zone: London change

09:00 - 10:30
Session 1GALOP at Lovelace Room
Chair(s): Pierre Clairambault CNRS & LIS, Aix-Marseille Université
09:00
45m
Keynote
On Interaction, Efficiency, and Reversibility
GALOP
Ugo Dal Lago University of Bologna & INRIA Sophia Antipolis
09:45
22m
Talk
Normal Form Bisimulations by Value
GALOP
Beniamino Accattoli Inria & Ecole Polytechnique, Adrienne Lancelot Inria, LIX Ecole Polytechnique, IRIF Université Paris Cité, Claudia Faggian Université de Paris & CNRS
10:08
22m
Talk
Fully Abstract Normal Form Bisimulation for Call-by-Value PCF
GALOP
Nikos Tzevelekos Queen Mary University of London, Vasileios Koutavas Trinity College Dublin, Yu-Yang Lin Queen Mary University of London
11:00 - 12:30
Session 2GALOP at Lovelace Room
Chair(s): Nikos Tzevelekos Queen Mary University of London
11:00
22m
Talk
Operational game semantics for generative algebraic effects and handlers
GALOP
Hamza Jaâfar Inria, Guilhem Jaber Nantes Université
11:23
22m
Talk
An abstract, certified account of Operational Game Semantics
GALOP
Peio Borthelle Univ. Grenoble Alpes, Univ. Savoie Mont Blanc, LAMA, 73000 Chambéry, Tom Hirschowitz Univ. Grenoble Alpes, Univ. Savoie Mont Blanc, CNRS, LAMA, 73000 Chambéry, Guilhem Jaber Nantes Université, Yannick Zakowski Inria
11:45
22m
Talk
Operational Algorithmic Game Semantics
GALOP
Benedict Bunting University of Oxford, Andrzej Murawski University of Oxford
12:08
22m
Talk
An algebraic theory of named threads (work in progress)
GALOP
Cristina Matache University of Edinburgh
14:00 - 15:30
Session 3GALOP at Lovelace Room
Chair(s): Hugo Paquet LIPN, Université Sorbonne Paris Nord
14:00
45m
Keynote
Compositional Development of Certified System Software
GALOP
Zhong Shao Yale University
14:45
22m
Talk
SSA is Freyd Categories
GALOP
Jad Elkhaleq Ghalayini University of Cambridge
15:08
22m
Talk
A Denotational Approach to Release/Acquire Concurrency
GALOP
Yotam Dvir Tel Aviv University, Ohad Kammar University of Edinburgh, Ori Lahav Tel Aviv University
16:00 - 17:52
Session 4GALOP at Lovelace Room
Chair(s): Guilhem Jaber Nantes Université
16:00
22m
Talk
Invisible pebbles and the geometry of affine higher-order tree transducers
GALOP
Lê Thành Dũng Nguyễn École normale supérieure de Lyon, Gabriele Vanoni IRIF, Université Paris Cité
16:22
22m
Talk
Taylor Expansion is Game Semantics
GALOP
Lison Blondeau-Patissier LIS & I2M, Aix-Marseille Université, Pierre Clairambault CNRS & LIS, Aix-Marseille Université, Lionel Vaux Auclair University of Aix-Marseille
16:44
22m
Talk
Game-enriched categories
GALOP
Paul Blain Levy University of Birmingham
17:07
22m
Talk
Fair omega-Regular Games
GALOP
Daniel Hausmann University of Gothenburg, Nir Piterman University Gothenburg, Irmak Saglam Max Planck Institute for Software Systems (MPI-SWS), Anne-Kathrin Schmuck Max Planck Institute for Software Systems
17:29
22m
Talk
MELL proof-nets without boxes: thirty years later
GALOP
Abhishek De University of Birmingham, Kostia Chardonnet Università di Bologna

Mon 15 Jan

Displayed time zone: London change

09:00 - 10:30
Types and EffectsPADL 2024 at Lovelace Room
Chair(s): Martin Gebser University of Klagenfurt, Austria
09:00
60m
Keynote
Modular Higher-Order Effects
PADL 2024
K: Nicolas Wu Imperial College London
10:00
30m
Talk
Asynchronous Reactive Programming with Modal Types in Haskell
PADL 2024
Patrick Bahr IT University of Copenhagen, Emil Houlborg IT University of Copenhagen, Gregers Thomas Skat Rørdam IT University of Copenhagen
Pre-print
11:00 - 12:30
Knowledge Representation and LearningPADL 2024 at Lovelace Room
Chair(s): Jessica Zangari Università della Calabria
11:00
30m
Talk
Explanation and Knowledge Acquisition in Ad Hoc Teamwork
PADL 2024
Hasra Dodampegama University of Birmingham, Mohan Sridharan University of Birmingham
11:30
30m
Talk
Ontological Reasoning over Shy and Warded Datalog+/- for Streaming-based Architectures
PADL 2024
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
30m
Talk
FOLD-SE: An Efficient Rule-based Machine Learning Algorithm with Scalable Explainability
PADL 2024
Huaduo Wang THE UNIVERSITY OF TEXAS AT DALLAS, Gopal Gupta University of Texas at Dallas
14:00 - 15:30
Answer Set Programming IPADL 2024 at Lovelace Room
Chair(s): Gopal Gupta University of Texas at Dallas
14:00
30m
Talk
Marketplace Logistic via Answer Set Programming
PADL 2024
Mario Alviano University of Calabria, Danilo Amendola Oliveru - Smartly Engineering, Luis Angel Rodriguez Reiners University of Calabria
14:30
30m
Talk
Rethinking Answer Set Programming Templates
PADL 2024
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
30m
Talk
A direct ASP encoding for Declare
PADL 2024
Francesco Chiariello University of Naples Federico II, Valeria Fionda University of Calabria, Antonio Ielo University of Calabria, Francesco Ricca University of Calabria, Italy
16:00 - 17:30
Panel DiscussionPADL 2024 at Lovelace Room
Chair(s): Ekaterina Komendantskaya Heriot-Watt University and Southampton University
16:00
90m
Panel
Declarative Languages for Safe AI
PADL 2024
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 Jan

Displayed time zone: London change

09:00 - 10:30
Declarative Programming for AIPADL 2024 at Lovelace Room
Chair(s): Martin Gebser University of Klagenfurt, Austria
09:00
60m
Keynote
Whats and Whys of Neural Network Verification (A Declarative Programming Perspective)
PADL 2024
K: Ekaterina Komendantskaya Heriot-Watt University and Southampton University
10:00
30m
Talk
Using Logic Programming and Kernel-Grouping for Improving Interpretability of Convolutional Neural Networks
PADL 2024
Parth Padalkar THE UNIVERSITY OF TEXAS AT DALLAS, Huaduo Wang THE UNIVERSITY OF TEXAS AT DALLAS, Gopal Gupta University of Texas at Dallas
11:00 - 12:30
Language DesignPADL 2024 at Lovelace Room
Chair(s): Arnaud Spiwack Tweag
11:00
30m
Talk
Rhyme: A Data-Centric Expressive Query Language for Nested Data Structures
PADL 2024
Supun Abeysinghe Purdue University, Tiark Rompf Purdue University
11:30
30m
Talk
Hardware implementation of OCaml using a synchronous functional language
PADL 2024
Loïc Sylvestre LIP6 - Sorbonne Université, Paris, Jocelyn Sérot Institut Pascal, Clermont-Ferrand, Emmanuel Chailloux UPMC, France
12:00
30m
Talk
Cutting the Cake Into Crumbs: Verifying Envy-Free Cake-Cutting Protocols using Bounded Integer Arithmetic
PADL 2024
Martin Lester University of Reading
14:00 - 15:30
Answer Set Programming IIPADL 2024 at Lovelace Room
Chair(s): Mario Alviano University of Calabria
14:00
30m
Talk
Automated Interactive Domain-Specific Conversational Agents that Understand Human Dialogs
PADL 2024
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
30m
Talk
Forgetting Techniques for Optimizing ASP-based Stream Reasoning
PADL 2024
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

Sun 14 Jan

Displayed time zone: London change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Lovelace Room

GALOP

Session 1

GALOP

Session 2

GALOP

Session 3

GALOP

Session 4

Mon 15 Jan

Displayed time zone: London change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Lovelace Room

PADL 2024

Types and Effects

PADL 2024

Knowledge Representation and Learning

PADL 2024

Answer Set Programming I

PADL 2024

Panel Discussion

Tue 16 Jan

Displayed time zone: London change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Lovelace Room

PADL 2024

Declarative Programming for AI

PADL 2024

Language Design

PADL 2024

Answer Set Programming II

PADL 2024

Sun 14 Jan

Displayed time zone: London change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Lovelace Room
GALOP
On Interaction, Efficiency, and Reversibility
09:00 - 09:45
GALOP
Normal Form Bisimulations by Value
09:45 - 10:07
GALOP
Fully Abstract Normal Form Bisimulation for Call-by-Value PCF
10:08 - 10:30
GALOP
Operational game semantics for generative algebraic effects and handlers
11:00 - 11:22
GALOP
An abstract, certified account of Operational Game Semantics
11:23 - 11:45
GALOP
Operational Algorithmic Game Semantics
11:45 - 12:07
GALOP
An algebraic theory of named threads (work in progress)
12:08 - 12:30
GALOP
Compositional Development of Certified System Software
14:00 - 14:45
GALOP
SSA is Freyd Categories
14:45 - 15:07
GALOP
A Denotational Approach to Release/Acquire Concurrency
15:08 - 15:30
GALOP
Invisible pebbles and the geometry of affine higher-order tree transducers
16:00 - 16:22
GALOP
Taylor Expansion is Game Semantics
16:22 - 16:44
GALOP
Game-enriched categories
16:44 - 17:07
GALOP
Fair omega-Regular Games
17:07 - 17:29
GALOP
MELL proof-nets without boxes: thirty years later
17:29 - 17:52

Mon 15 Jan

Displayed time zone: London change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Lovelace Room
PADL
Modular Higher-Order Effects
09:00 - 10:00
PADL
Asynchronous Reactive Programming with Modal Types in Haskell
10:00 - 10:30
PADL
Explanation and Knowledge Acquisition in Ad Hoc Teamwork
11:00 - 11:30
PADL
Ontological Reasoning over Shy and Warded Datalog+/- for Streaming-base ...
11:30 - 12:00
PADL
FOLD-SE: An Efficient Rule-based Machine Learning Algorithm with Scalab ...
12:00 - 12:30
PADL
Marketplace Logistic via Answer Set Programming
14:00 - 14:30
PADL
Rethinking Answer Set Programming Templates
14:30 - 15:00
PADL
A direct ASP encoding for Declare
15:00 - 15:30
PADL
Declarative Languages for Safe AI
16:00 - 17:30

Tue 16 Jan

Displayed time zone: London change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:00153045
Lovelace Room
PADL
Whats and Whys of Neural Network Verification (A Declarative Programmin ...
09:00 - 10:00
PADL
Using Logic Programming and Kernel-Grouping for Improving Interpretabil ...
10:00 - 10:30
PADL
Rhyme: A Data-Centric Expressive Query Language for Nested Data Structures
11:00 - 11:30
PADL
Hardware implementation of OCaml using a synchronous functional language
11:30 - 12:00
PADL
Cutting the Cake Into Crumbs: Verifying Envy-Free Cake-Cutting Protocol ...
12:00 - 12:30
PADL
Automated Interactive Domain-Specific Conversational Agents that Unders ...
14:00 - 14:30
PADL
Forgetting Techniques for Optimizing ASP-based Stream Reasoning
14:30 - 15:00