2025
CoPLaWS 2025 - the 3rd Copenhagen Programming Languages Workshop
CoPLaWS is a series of annual workshops for programming language researchers working in the greater Copenhagen area, open to academics (DTU, KU, ITU, RUC, AAU CPH) and researchers in industry and other institutions. The aim is to get together and learn about each other’s work.
CoPLaWS 2025 is the third edition of the workshop. It will take place on
- Friday 22 August 2025 in Copenhagen at Aalborg University Copenhagen, Konferencesalen (A. C. Meyers Vænge 15, room number 1.001). See below how to find the room.
It will be a full-day event with an optional dinner. For information on the dinner see below.
Invited Speaker
Thomas Jensen (INRIA and University of Copenhagen)
Title: Program analysis for software security
Abstract: Program analysis is an important tool for enhancing the security of software. Examples include analyses for enforcing memory protection, control flow integrity, and correct flow of confidential information. This talk will provide a (necessarily partial) overview of the large panorama of analyses and their uses. Because program analyses are cornerstones of many security architectures, their correctness becomes critical. The second part of the talk will provide examples of how programming language semantics can be used to verify formally the correctness of security analysers.
Programme
| 8:25 | Breakfast and coffee | |
| 8:55 | Welcome to CoPLaWS 2025 | |
| 9:00 | Invited talk: Thomas Jensen | Program analysis for software security |
| 9:50 | Andreas V. Hess, Sebastian Mödersheim, Achim D. Brucker and Anders Schlichtkrull. | PSPSP: A Tool for Automated Verification of Stateful Protocols in Isabelle/HOL |
| 10:05 | Juanita Caballero-Villalobos, Andrea Burattin and Hugo A. López. | High-Level Requirements-Driven Business Process Compliance |
| 10:20 | Christian Gram Kalhauge. | Build Scripts With Push Dependencies |
| 10:35 | Coffee break | |
| 11:05 | Sotiris Dragonas. | The design of an industry DSL for extending an ERP |
| 11:20 | Peter Sestoft. | Functional parallel programming is faster |
| 11:35 | Benjamin Bennetzen, Nikolaj Rossander Kristensen, Peter Buus Steffensen and Hans Hüttel. | Encoding Call-By-Push Value in the Internal Pi-Calculus |
| 11:50 | Fritz Henglein, Thobias Larsen, Mads Rehof and Sjúrður Skorheim. | Functional Simulation of Quantum Circuits on Tensor Terms |
| 12:05 | Morten Rhiger. | Towards type systems for practical multi-stage programming languages |
| 12:20 | Lunch | |
| 13:20 | Maaike Zwart. | Weak Distributive Laws - algebraically? (WIP) |
| 13:35 | Reynald Affeldt, Alessandro Bruni, Cyril Cohen, Pierre Roux and Takafumi Saikawa. | Formalizing concentration inequalities in Rocq: infrastructure and automation |
| 13:50 | Sean Kristian Remond Harbo and Hans Hüttel. | Configuration-Tree Semantics: An Algorithmic Approach to Structurally Defined Relations |
| 14:05 | Giorgio Bacci and Rasmus Ejlers Møgelberg. | A Quantitative Higher-Order Logic for Probability |
| 14:20 | William Henrich Due, Martin Elsman and Troels Henriksen. | Functional Hash Maps in a Data Parallel Language |
| 14:35 | Coffee break | |
| 15:20 | Radosław Jan Rowicki. | Tricks you can do with Coq |
| 15:35 | Boel Nelson, Elena Pagnin and Aslan Askarov. | An Information Flow Perspective on Anonymous Communication |
| 15:50 | Bjørnar Haugstad, Jåtten Simon Boye Jørgensen, Rasmus Petersen and Raúl Pardo. | Scalable Thread-Safety Analysis of Java Classes with CodeQL |
| 16:05 | Markus Krabbe Larsen and Carsten Schürmann. | Nominal State-Separating Proofs |
| 16:20 | Break | |
| 16:50 | Thomas Hildebrandt and Thiago R. Silva. | Human-Centric Hybrid-AI for No-Code Development as Verifiable Vibe Coding? |
| 17:05 | Jonas Kastberg Hinrichsen, Thomas P. Jensen and Willard Rafnsson. | Eliminating Covert Timing Channels in Hardware Interrupt Mechanisms |
| 17:20 | Florian Furbach, Lucas Clorius, Alceste Scalas, Roland Kuhn, Emilio Tuosto and Hernán Melgratti. | Compositional Implementation and Verification of Swarms - A Tool Demo |
| 17:35 | Simon Tobias Lund and Sebastian Mödersheim. | Dolev-Yao Noninterference |
| 17:50 | End of scientific programme | |
| 19:00 | Dinner at Madklubben København, Store Kongensgade 66 |
The room
The venue is Friday 22 August 2025 in Copenhagen at Aalborg University Copenhagen, Konferencesalen (A. C. Meyers Vænge 15, room number 1.001).
Here is the explanation of how to find the room:
First you go towards the outdoor staircase.
Then go up the stairs.
Enter the rotating door.
Walk this way:
And then walk to konferencesalen 1.001:
Parking
Anders Schlichtkrull has sent parking licenses to all participants on e-mail. Additional licenses are available at the conference and in the reception. Futher information about parking can be found here.
CoPLaWS Dinner
Assuming that the attendance number is similar to previous years, the Department of Computer Science at Aalborg University will be able to pay for the CoPLaWS dinner. The dinner will start 18:30 at Madklubben København, Store Kongensgade 66. You sign up for the dinner through the “Participation registration link” above. In case of an abnormally large attendance number, we will have to change this plan, and we will let you know as soon as possible after the registration deadline.
Local Organisers
Léon Gondelman, Anders Schlichtkrull
Organisers
Alceste Scalas, Fritz Henglein, Hugo-Andres Lopez-Acosta, Marco Carbone, Morten Rhiger, Rasmus Møgelberg, Anders Schlichtkrull.
Sponsor
CoPLaWS 2025 is sponsored by the Department of Computer Science at Aalborg University.