NWPT 2023NWPT 2023 - 34th Nordic Workshop on Programming Theory
This page will soon grow in content and contain information about the scope of this research track.
Wed 22 NovDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 09:10 | Welcome and OpeningNWPT 2023 at My (MDU Campus) Chair(s): Marjan Sirjani Malardalen University, Cristina Seceleanu Mälardalen University, Peter Backeman Mälardalen University | ||
09:10 - 10:10 | |||
09:10 60mKeynote | A Denotational Finite-Trace Semantics and Logic for While NWPT 2023 Reiner Hähnle Technical University of Darmstadt | ||
10:10 - 10:30 | |||
12:10 - 14:00 | |||
14:00 - 15:00 | |||
14:00 60mKeynote | How to Make Distributed Programming Safer using Types NWPT 2023 Philipp Haller KTH Royal Institute of Technology Link to publication | ||
15:00 - 15:30 | |||
15:30 - 16:50 | Machine Learning and AutomataNWPT 2023 at My (MDU Campus) Chair(s): Michael Kirkedal Thomsen University of Oslo & University of Copenhagen | ||
15:30 20mTalk | Using Symbolic Execution to Discretize State Spaces for Reinforcement Learning NWPT 2023 Mohsen Ghaffari IT University of Copenhagen, Mahsa Varshosaz IT University of Copenhagen, Denmark, Einar Broch Johnsen University of Oslo, Andrzej Wąsowski IT University of Copenhagen, Denmark Pre-print | ||
15:50 20mTalk | Minimizing State Space Partitionings Using Decision Trees NWPT 2023 Andreas Holck Høeg-Petersen Aalborg University, Kim Guldstrand Larsen , Andrzej Wąsowski IT University of Copenhagen, Denmark, Peter Gjøl Jensen Aalborg University, Denmark Pre-print | ||
16:10 20mTalk | Symmetric Monoidal Automata NWPT 2023 Pre-print | ||
16:30 20mTalk | Generalized Input Reduction NWPT 2023 Christian Gram Kalhauge Technical University of Denmark Pre-print | ||
18:00 - 23:00 | |||
Thu 23 NovDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:00 | Keynote 3NWPT 2023 at Karlsgatan 2 (Västerås Konstmusem, Downtown) Chair(s): Cristina Seceleanu Mälardalen University | ||
09:00 60mKeynote | CommCSL: Proving Information Flow Security for Concurrent Programs using Abstract Commutativity NWPT 2023 Peter Müller ETH Zurich | ||
10:00 - 10:20 | |||
10:20 - 12:00 | Types and PlanningNWPT 2023 at Karlsgatan 2 (Västerås Konstmusem, Downtown) Chair(s): Cyrille Artho KTH Royal Institute of Technology, Sweden | ||
10:20 20mTalk | A New Take on Join Patterns NWPT 2023 Philipp Haller KTH Royal Institute of Technology, Ayman Hussein Technical University of Denmark, Hernan Melgratti University of Buenos Aires, Argentina, Alceste Scalas Technical University of Denmark, Antoine Sébert None, Emilio Tuosto Gran Sasso Science Institute, L'Aquila, Italy Pre-print | ||
10:40 20mTalk | Semi-Inversion with Sum Types NWPT 2023 Joachim Kristensen University of Oslo, Lars-Bo Husted Vadgaard Department of Informatics, University of Oslo, Maja Kirkeby Roskilde University, Michael Kirkedal Thomsen University of Oslo & University of Copenhagen Pre-print | ||
11:00 20mTalk | Applications of Univalent Universe Completions NWPT 2023 Philipp Joram Tallinn University of Technology Pre-print | ||
11:20 20mTalk | Reliable Plan Selection with Quantified Risk-Sensitivity NWPT 2023 Tobias John University of Oslo, Mahya Mohamadi Kashani IT University of Copenhagen, Jeremy Paul Coffelt ROSEN Technology and Research Center, Einar Broch Johnsen University of Oslo, Andrzej Wąsowski IT University of Copenhagen, Denmark Pre-print | ||
11:40 20mTalk | Modeling and Safety Analysis of Autonomous Underwater Robot Behaviors NWPT 2023 Sergio Quijano IT University of Copenhagen, Mahsa Varshosaz IT University of Copenhagen, Denmark, Andrzej Wąsowski IT University of Copenhagen, Denmark Pre-print | ||
12:00 - 14:00 | Walk from Västerås Konstmuseum, Karlsgatan 2 To MDU (20 minutes) and LunchNWPT 2023 at Rosenhill (MDU Campus) | ||
14:00 - 15:40 | Programming and Distributed SystemsNWPT 2023 at My (MDU Campus) Chair(s): Danny Bøgsted Poulsen Aalborg University | ||
14:00 20mTalk | Exploring an Energy-Efficient Programming Model NWPT 2023 Lars-Bo Husted Vadgaard Department of Informatics, University of Oslo, Maja Kirkeby Roskilde University, Michael Kirkedal Thomsen University of Oslo & University of Copenhagen Pre-print | ||
14:20 20mTalk | Static Analysis of Energy Usage in Software NWPT 2023 Pre-print | ||
14:40 20mTalk | Verification of Extended Quantifiers Using Instrumentation Operators NWPT 2023 Jesper Amilon KTH Royal Institute of Technology, Zafer Esen Uppsala University, Dilian Gurov KTH Royal Institute of Technology, Christian Lidström KTH Royal Institute of Technology, Philipp Rümmer University of Regensburg and Uppsala University, Marten Voorberg KTH Royal Institute of Technology Pre-print | ||
15:00 20mTalk | Polar Interleavings for Deadlock-Free Message-Passing NWPT 2023 Matt Earnshaw Tallinn University of Technology, Chad Nester Tallinn University of Technology, Mario Román Tallinn University of Technology Pre-print | ||
15:20 20mTalk | Towards hybrid distributed deadlock detection NWPT 2023 Radosław Rowicki Technical University of Denmark, Alceste Scalas Technical University of Denmark, Adrian Francalanza University of Malta Pre-print | ||
15:40 - 16:00 | |||
16:00 - 17:20 | |||
16:00 20mTalk | Exposing Flaws by Modeling Vulnerable-by-Design Smart Contracts NWPT 2023 Mojtaba Eshghie KTH Royal Institute of Technology, Cyrille Artho KTH Royal Institute of Technology, Sweden, Wolfgang Ahrendt Chalmers University of Technology, Thomas T. Hildebrandt University of Copenhagen, Gerardo Schneider University of Gothenburg Pre-print | ||
16:20 20mTalk | Time-Sensitive Control Closure: A Key Component for Secure Information Flow NWPT 2023 Pre-print | ||
16:40 20mTalk | Buzzy: An eBPF Fuzzer NWPT 2023 Mikkel Tolstrup Jensen Aalborg University, Tobias Bruun Sandberg Hansen Aalborg University, Danny Bøgsted Poulsen Aalborg University, René Rydhof Hansen Aalborg University, Denmark Pre-print | ||
17:00 20mTalk | Enhancing CRYSTAL: Preventive Recovery in Brief NWPT 2023 Fereidoun Moradi Mälardalen University, Zahra Moezkarimi Mälardalen University, Marjan Sirjani Malardalen University Pre-print | ||
Accepted Papers
Call for Papers
34th Nordic Workshop on Programming Theory
22-23 November 2023, Mälardalen University, Västerås, Sweden https://conf.researchr.org/home/nwpt-2023
Important dates (AoE)
Submission of abstracts: October 13, 2023 23:59 AoE
Notification: October 30, 2023
Final version abstract submission: November 6, 2023, 23:59 AoE
Registration deadline: October 31, 2023, 23:59 AoE
Conference dates: 22-23 November 2023
———————————————————————-
Scope
NWPT is a series of annual regional-scope workshops on programming theory, targeted especially at younger researchers. In 2023, the workshop will take place in Västerås, Sweden. We hope this will be a nice opportunity to present recent results and/or work-in-progress, and to meet colleagues from the Nordic and Baltic countries. We encourage PhD students and postdocs to contribute. Topics of interest include (but are not limited to):
- semantics of programming languages
- programming language design and programming methodology
- programming logics
- formal specification of programs
- program verification
- program construction
- tools for program verification and construction
- program transformation and refinement
- real-time, hybrid/cyber-physical systems modeling and verification
- models of concurrency and distributed computing
- model checking
- model-based testing
- language-based security.
Submission guidelines
Authors wishing to give a talk at the workshop are requested to submit abstracts of 2-3 pages (pdf, printable on A4 paper, typeset with LaTeX with easychair.cls) through EasyChair by September 22:
https://easychair.org/conferences/?conf=nwpt2023
Work in progress as well as abstracts of manuscripts submitted for formal publication elsewhere are permitted. The abstracts of the accepted contributions will be available electronically before the workshop. By submitting to EasyChair you agree that your abstract will be publicly available. Moreover, you as an author are responsible for the content. As in earlier NWPT workshops, we plan to arrange a special issue of the Journal of Logical and Algebraic Methods in Programming (JLAMP) devoted to the best contributions to the workshop. The contributions will be selected by the PC. They will be invited after the workshop and will undergo a rigorous, journal-strength review process according to the standards of JLAMP.
Organizers and PC chairs
- Marjan Sirjani (Mälardalen University)
- Cristina Seceleanu (Mälardalen University)
- Peter Backeman (Mälardalen University)
Contact
Questions about submissions can be sent to the conference contact email:
| Wed 22 - Thu 23 Nov 2023 Conference dates |
| Mon 6 Nov 2023 Final Version |
| Tue 31 Oct 2023 Registration deadline |
| Mon 30 Oct 2023 Notification |
| Fri 13 Oct 2023 Submission of abstracts |
Antonis Achilleos
Reykjavik University
Peter Backeman
Mälardalen University
Sweden
Mikhail Barash
University of Bergen
Norway
Johannes Borgström
Uppsala University, Sweden
Sweden
Crystal Chang Din
University of Bergen
Norway
Martin Elsman
University of Copenhagen, Denmark
Denmark
Håkon Robbestad Gylterud
University of Bergen
Magne Haveraaen
University of Bergen, Norway
Norway
Keijo Heljanko
University of Helsinki
Fritz Henglein
Department of Computer Science, University of Copenhagen (DIKU) and Deon Digital
Denmark
Thomas T. Hildebrandt
University of Copenhagen
Denmark
Jaakko Järvi
University of Bergen
Yngve Lamo
Dylan McDermott
Reykjavik University
Iceland
Zahra Moezkarimi
Mälardalen University
Sweden
Fabrizio Montesi
University of Southern Denmark
Denmark
Wojciech Mostowski
Halmstad University
Sweden
Violet Ka I Pun
Western Norway University of Applied Sciences
Philipp Ruemmer
University of Regensburg and Uppsala University
Germany
Alejandro Russo
Chalmers University of Technology, Sweden
Argentina
Alceste Scalas
Technical University of Denmark
Denmark
Cristina Seceleanu
Mälardalen University
Sweden
Marjan Sirjani
Malardalen University
Sweden
Martin Steffen
University of Oslo
Sandro Stucki
Amazon
Sweden
Antti Valmari
University of Jyväskylä
Finland
Niccolò Veltri
Tallinn University of Technology
Estonia
Marina Waldén
Abo Akademi University