This deep-dive session brings together leading voices in programming languages and software systems to explore the current landscape of Programming Languages research across Denmark. The aim is to present a multifaceted overview of the state of the art in the field, from logic-based foundations to practical methods for secure and distributed systems, and to provide a forum for exchanging ideas and strengthening collaboration across institutions.

The session will feature three 45-minute invited talks by prominent researchers within Denmark, each offering a deep dive into a core area of programming languages: program logics for verification, type-theoretic models of concurrency, and static analysis. Together, these talks will provide a snapshot of the breadth and depth of contemporary research efforts in Denmark, as well as their relevance for software safety, correctness, and scalability. Each talk will include an interactive component such as open discussion prompts and questions to the audience, followed by a Q&A.

The workshop will conclude with a panel discussion that invites both the speakers and the audience to reflect on the broader challenges and future directions for the field, including:

• The role of formal methods in the age of AI and large-scale systems
• Balancing theory, tooling, and real-world impact
• Opportunities for cross-institutional collaboration within Denmark

We welcome researchers at all levels, students and faculty alike, as well as practitioners with an interest in language-based approaches to secure and reliable software systems.

Program

9:00–9:45 Interactive Talk with Q&A
Amin Timany (AU): Foundational Verification of Concurrent and Distributed Programs

9:45–10:30 Interactive talk with Q&A
Fabrizio Montesi (SDU): Choreographic Programming and Big Formal Methods: From Theory to Everyday Software Development

10:30–10:45 Break

10:45–11:30 Interactive talk with Q&A
Boel Nelson (DIKU): An Invitation to Privacy Problems

11:30–12:15 Panel discussion
Future Challenges in Programming Languages and Software Systems

Target audience and size

Targeted at PhD students, postdocs, faculty, and industry professionals working in programming languages, software verification, secure systems, and related fields. Expected size: 30–50 participants.

Workshop outcome

Participants will gain a broad and deep understanding of key research directions in programming languages in Denmark. The workshop is intended to encourage new collaborations, expose junior researchers to leading-edge developments, and promote a cohesive national PL community.

Level

Attendees are expected to have some background in programming languages, formal methods, or software systems.