CPP 2024
Mon 15 - Tue 16 January 2024
London, United Kingdom
co-located with
POPL 2024
Toggle navigation
Attending
Venue: Institution of Engineering and Technology
Program
Complete Program
Your Program
Mon 15 Jan
Tue 16 Jan
Track/Call
Organization
CPP 2024 Committees
Track Committees
Organizing Committee
Program Committee
Steering Committee
Contributors
People Index
Search
Series
Series
CPP 2025
CPP 2024
CPP 2023
CPP 2022
CPP 2021
CPP 2020
CPP 2019
CPP 2018
CPP 2017
CPP 2016
Sign in
Sign up
POPL 2024
(
series
) /
CPP 2024 (
series
) /
Institution of Engineering and Technology
/
Room information: Lovelace Room
Venue
Institution of Engineering and Technology
Room name
Lovelace Room
Floor
0
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) London
.
Use conference time zone: (GMT) London
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-06: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+03: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
Sun 14 Jan
Displayed time zone:
London
change
09:00 - 10:30
Session 1
GALOP
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 2
GALOP
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 3
GALOP
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 4
GALOP
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 Effects
PADL
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 Learning
PADL
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 I
PADL
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 Discussion
PADL
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 AI
PADL
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 Design
PADL
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 II
PADL
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
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
Lovelace Room
GALOP
Session 1
GALOP
Session 2
GALOP
Session 3
GALOP
Session 4
Mon 15 Jan
Displayed time zone:
London
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
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
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
Lovelace Room
PADL
Declarative Programming for AI
PADL
Language Design
PADL
Answer Set Programming II
PADL
Sun 14 Jan
Displayed time zone:
London
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
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
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
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
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
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
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
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
x
Sat 5 Oct 15:39