2026
CoPLaWS 2026 - the 4th 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 2026 is the fourth edition of the workshop. It will take place on the 20th of August at the University of Copenhagen at the northern campus. Precise location below.
COPLAWS 2026 is be a full-day event with an optional dinner. More information on the dinner below.
Invited Speaker
The invited talk will be given by Peter Sestoft from ITU.
Title: A history of early Nordic compilers
Abstract: We give some highlights of the historical development of compiler technology 1950-1965 and its co-evolution with programming languages and hardware. Most emphasis is on early developments and the different approaches taken by US and European projects, with special attention to the Nordic countries. We will relate some of the developments to contemporary societal goals, for instance object-oriented programming’s roots in the early Norwegian nuclear programme.
Programme
| 8:25 | Breakfast and coffee | |
| 8:55 | Welcome to CoPLaWS 2025 | |
| 9:00 | Invited talk: Peter Sestoft | A history of early Nordic compilers |
| 9:50 | Sergei Stepanenko (AU), Patrick Bahr (ITU), Rasmus Ejlers Møgelberg (ITU) | Guarded Type Theory in Lean |
| 10:10 | Francesca Meneghello, Alessio Galassi, Andrey Rivkin, Christoph Matheja | Bridging Probabilistic Programming and Business Process Simulation |
| 10:30 | Coffee break | |
| 10:55 | Jonas Kastberg Hinrichsen, Elli Anastasiadi | Interactive Proofmode for Temporal Logic in Rocq |
| 11:15 | Katrine Christensen, Mahsa Varshosaz, and Raúl Pardo | ProbTest: Unit Testing for Probabilistic Programs |
| 11:35 | Gusts Gustavs Grinbergs, Alessandro Bruni, Matthew Daggitt | Vehicle with Time: Signal First-Order Logic for Closed-Loop Controller Synthesis |
| 11:55 | Amirreza Hashemi, Troels Henriksen | Size-directed flattening of nested data parallelism |
| 12:15 | Lunch break at the Niels Bohr Building | |
| 13:15 | Jens Kanstrup Larsen, Alceste Scalas, Guy Amir, Jules Jacobs, Jana Wagemaker, Nate Foster | NEST: Network Enforced Session Types |
| 13:35 | Torben Mogensen | Partial Evaluation of the Reversible Intermediate Language L4 |
| 13:55 | Lilje Henrich Due, Troels Henriksen, and Cosmin Eugen Oancea | What optimisations are worthwhile for filter, partition, and tokenisation on GPU? |
| 14:15 | Marco Carbone | Session Types and Probabilities |
| 14:35 | Coffee break | |
| 15:00 | Morten Rhiger | On the operational semantics of demotion and promotion in staged programming languages |
| 15:20 | Oskar Hovmøller Dinesen, Christian Gram Kalhauge | Semantically Descriptive Similarity |
| 15:40 | Sebastian Mödersheim, Simon Lund, Alessandro Bruni, Marco Carbone, Rosario Giustolisi | Cryptographic Choreographies |
| 16:00 | Ken Friis Larsen | Proof-Carrying Performance: How to Optimise a Lean Program Without Leaving the Proof Behind |
| 16:20 | Coffee break | |
| 16:50 | Yue Zhou, Hugo A. López | Behavioural Correspondences between families of Business Process Modelling Languages |
| 17:10 | Brage Isak Keiserås, Bo Markussen, Ingrid Chieh Yu, Ken Friis Larsen, Maja H. Kirkeby, Michael Kirkedal Thomsen | Does GCC Compiler Development Pay for Itself? GCC Versions’ Impact on Energy Consumption |
| 17:30 | Jakob Holst Svenningsen, David Gray Marchant, Michael Kirkedal Thomsen | Language and System for trust relations in maritime sector |
| 17:50 | End of scientific programme | |
| 19:15 | Dinner at Madklubben Vesterbro, Vesterbrogade 62 |
Call for Talks
We invite the submission of abstracts for 20-minute talks on all topics related to programming language research.
We encourage also PhD students to submit proposals, as well as presentations of work-in-progress research!
Since there are many programming language researchers in Copenhagen, it is possible that we will get more talk proposals than can fit in a day. In that event, the talks will be selected by the organisers based on a light reviewing process. We will aim for diversity in topics and institutions represented.
Talk proposals should consist of a title and a one-paragraph abstract. No need to submit any PDF.
- Talk proposal submission link: https://forms.gle/dnUUZwxYeiMoxw577
- Talk proposal submission deadline:
6 August 2026(extended: 12 August) - Notification:
11 August 202613 August 2026 - Participation registration link: here (remember to also register for the dinner below)
- Participation registration deadline: 18 August 2026
- Dinner registration link: here
- Dinner registration deadline: 17 August 2026
The room
The venue is in the HCØ Building at Universitetsparken 5, in Auditorium 01. The map below shows the path from the front entrance to the auditorium.
Parking
Probably not worth trying. The venue is close to bus and metro stops.
Dinner
While participation in CoPLaWS is free, the dinner is at the participants’ own expense. The dinner takes place at Madklubben Vesterbro. Register for the dinner here.
Local Organiser
Troels Henriksen (athas@diku.dk).
Organisers
Alceste Scalas, Fritz Henglein, Hugo-Andres Lopez-Acosta, Marco Carbone, Morten Rhiger, Rasmus Møgelberg, Anders Schlichtkrull, Troels Henriksen.
Sponsor
CoPLaWS 2026 is sponsored by the PLTC section at the Department of Computer Science at the University of Copenhagen.