PROPL 2024
Sat 20 Jan 2024 London, United Kingdom
co-located with POPL 2024
POPL 2024 (series) / PROPL 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 at Lovelace Room
Chair(s): Martin Gebser University of Klagenfurt, Austria
09:00
60m
Keynote
Modular Higher-Order Effects
PADL
K: Nicolas Wu Imperial College London
10:00
30m
Talk
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
11:00 - 12:30
Knowledge Representation and LearningPADL at Lovelace Room
Chair(s): Jessica Zangari Università della Calabria
11:00
30m
Talk
Explanation and Knowledge Acquisition in Ad Hoc Teamwork
PADL
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
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
Huaduo Wang THE UNIVERSITY OF TEXAS AT DALLAS, Gopal Gupta University of Texas at Dallas
14:00 - 15:30
Answer Set Programming IPADL at Lovelace Room
Chair(s): Gopal Gupta University of Texas at Dallas
14:00
30m
Talk
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
30m
Talk
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
30m
Talk
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
16:00 - 17:30
Panel DiscussionPADL at Lovelace Room
Chair(s): Ekaterina Komendantskaya Heriot-Watt University and Southampton University
16:00
90m
Panel
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 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
60m
Keynote
Whats and Whys of Neural Network Verification (A Declarative Programming Perspective)
PADL
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
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 at Lovelace Room
Chair(s): Arnaud Spiwack Tweag
11:00
30m
Talk
Rhyme: A Data-Centric Expressive Query Language for Nested Data Structures
PADL
Supun Abeysinghe Purdue University, Tiark Rompf Purdue University
11:30
30m
Talk
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
30m
Talk
Cutting the Cake Into Crumbs: Verifying Envy-Free Cake-Cutting Protocols using Bounded Integer Arithmetic
PADL
Martin Lester University of Reading
14:00 - 15:30
Answer Set Programming IIPADL 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
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
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

Types and Effects

PADL

Knowledge Representation and Learning

PADL

Answer Set Programming I

PADL

Panel Discussion

Tue 16 Jan

Displayed time zone: London change

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

PADL

Declarative Programming for AI

PADL

Language Design

PADL

Answer Set Programming II

PADL

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