33rd Nordic Workshop on Programming Theory, NWPT 2022
Bergen, Norway, 2-4 November 2022
About NWPT
The NWPT series of annual workshops is a forum bringing together programming theorists from the Nordic and Baltic countries, but also from elsewhere. 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 and hybrid systems,
- models of concurrency and distributed computing,
- model-based testing,
- language-based security.
Venue
The workshop will be held at the University of Bergen, in the city centre of Bergen, hosted by the Department of Computer Science.
Important Dates
Submission of abstracts: 2 October 2022 23:59 AoENew deadline of abstracts: 9 October 2022 23:59 AoENotification: 19 October 2022Registration deadline: before 27 October 2022Final versions: 31 October 2022- Conference dates: 2-4 November 2022
Registration
The registration to the workshop is done via the following link: https://form.app.uib.no/NWPT22
The registration fee is 2500 NOK and it includes lunches, coffee breaks, workshop dinner and excursion.
The registration closes on 27th of October 2022.
Invited Talks
Invited Talk on Day 1
Jaakko Järvi, University of Turku, Finland
Title: From GUIdelines to Code — Implementing GUI behaviors with Dataflow Constraint Systems
Abstract: Programming GUIs constitutes a large portion (some estimates say half) of all development effort. GUI programming is also an error-prone activity: we see daily UIs that contain defects, lack useful functionality, or are simply confusing—and are frustrating. The quality of GUIs remains low in many applications because so many, too many we argue, aspects of a GUI’s behavior rests on the application programmer. This talk describes our efforts, a research agenda, that aims to simplify GUI programming. In our vision of UI programming, the programmer specifies declaratively the data manipulated by a user interface and dependencies amongst the data as a multi-way dataflow constraint system, and connects this model to a view devoid of any logic. The UI’s (entire) behavior is derived from a constraint system specification—responses to UI events are managed by well-tested reusable algorithms, not by ad-hoc event handling code written by the application programmer. As a result, we conjecture, the effort of programming goes down and quality up.
Bio: Jaakko Järvi is a professor of Software Engineering at the University of Turku, where he also serves as Dean of the Faculty of Technology. He has formerly held academic positions at University of Bergen, Texas A&M University, and Indiana University, and worked as a visiting scientist at Adobe System Inc. in San Jose, CA. Jaakko’s primary research contributions are in the areas of declarative UI programming and programming languages. Regarding the latter, he is a long-time contributor to the C++ language and its standardization: he has (co)designed several features (lambda functions, variadic templates, tuple types) of the C++ language.
Invited Talk on Day 2
Marjan Sirjani, Mälardalen University, Sweden
Title: Cyber-Resilience of Cyber-Physical Systems
Abstract: In this talk I will explain our method for anomaly detection of cyber-physical systems (CPS) using formal verification at design time, and runtime monitoring during operation; and will show how our approach helps in cyber-resilience of CPS. We use an abstract digital twin, Tiny Twin, to detect anomalous behavior at runtime. We use Timed Rebeca language to address the timing constraints. During the talk I will present my reflections on the development of Rebeca modeling language and its analysis toolset for real-time distributed systems. Rebeca is designed as an imperative actor-based language with the goal of providing an easy-to-use language for modelling concurrent and distributed systems, with formal verification support.
Bio: Marjan Sirjani is a Professor of Software Engineering at Mälardalen University in Sweden. Marjan has been working on modeling, formal verification, and safety and security assurance of distributed, self-adaptive and cyber-physical systems. Marjan and her research group designed the actor-based language Rebeca (https://rebeca-lang.org/) in 2001 and are pioneers in building model checking tools, compositional verification theories, and state-space reduction techniques for actors. Marjan has been the PC member and PC chair of several international conferences including SEFM, iFM, Coordination, FM, FMICS, SAC, FSEN, and DATE. She is an editor of the journal of Science of Computer Programming. Marjan collaborated with different companies including Volvo CE, Volvo Cars and ABB Robotics.
Contributed Talks
If you wish to give a talk at the workshop, please submit an abstract of 2-3 pages (pdf, printable on A4 paper, typeset with LaTeX with easychair.cls) through EasyChair by 9 October. Work in progress as well as abstracts of manuscripts submitted for formal publication elsewhere are welcome.
The abstracts of the accepted contributions will be made 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.
Accepted submissions
- Lili Xiao, Huibiao Zhu, Mengda He and Shengchao Qin. Algebraic Semantics for C++11 Memory Model
- Andrea Laretto, Fabio Gadducci and Davide Trotta. Categorical Semantics for Counterpart-based Temporal Logics in Agda
- Esther Hahyeon Kim, Kim Guldstrand Larsen and Thomas Dyhre Nielsen. Controling Storm Water Detention Ponds under Partial Observability
- Georgiana Caltais and Can Olmezoglu. Counterfactual Causality in Networks
- Ningning Chen and Huibiao Zhu. Denotational and Algebraic Semantics for the CaIT calculus
- Aggeliki Chalki and Antonis Achilleos. Descriptive complexity of self-reducible counting problems with an easy decision version
- Elena Di Lavore and Mario Román. Evidential Decision Theory via Partial Markov Categories
- Philipp Joram and Niccolò Veltri. Final Coalgebra of the Finite Bag Functor
- Michele De Pascalis. Formal Verification of Infrastructure as Code
- Chad Nester. Iterated Processes with Finite Interaction Type
- Safa Zouari. Logical Characterization of hh-preserving Bisimulation over HDA
- Ben Lloyd-Roberts, Phillip James and Michael Edwards. Mining Invariants from State Space Observations
- Matthew Earnshaw and Paweł Sobociński. Regular Monoidal Languages
- Jens K. Larsen and Alceste Scalas. Safe and Secure Software-Defined Networks in P4
program
Journal Special Issue
We plan a special issue of a journal, if the number and quality of submissions warrants this. Traditionally, the best papers from NWPT have been published in Elsevier’s Journal of Logic and Algebraic Methods in Programming and we hope to continue this tradition.
Conference Rooms
02.11.22 Wednesday 08:30-14:00 @ Jusbygg II Auditorium
About the room: https://rom.app.uib.no/romInfo/q.php/120/145
03.11.22 Thursday 09:30-17:00 @ Realfagbygget Auditorium 2
About the room: https://rom.app.uib.no/romInfo/q.php/308/UC6F
04.11.22 Friday 09:00-16:00 @ Sydneshaugen skole Auditorium D
About the room: https://rom.app.uib.no/romInfo/q.php/134/109
Programme Committee
- Antonis Achilleos, Reykjavík University, Iceland
- Dylan McDermott, Reykjavík University, Iceland
- Martin Steffen, University of Oslo, Norway
- Magne Haveraaen, University of Bergen, Norway
- Crystal Chang Din, University of Bergen, Norway
- Håkon Robbestad Gylterud, University of Bergen, Norway
- Mikhail Barash, University of Bergen, Norway
- Yngve Lamo, Western Norway University of Applied Sciences, Norway
- Violet Ka I Pun, Western Norway University of Applied Sciences, Norway
- Lars Birkedal, Aarhus University, Denmark
- Jiří Srba, Aalborg University, Denmark
- Thomas Hildebrandt, University of Copenhagen, Denmark
- Martin Elsman, University of Copenhagen, Denmark
- Fritz Henglein, University of Copenhagen, Denmark
- Fabrizio Montesi, University of Southern Denmark, Denmark
- Morten Rhiger, Roskilde University, Denmark
- Alceste Scalas, Technical University of Denmark, Denmark
- Johannes Borgström, Uppsala University, Sweden
- Philipp Rümmer, Uppsala University, Sweden
- Wojciech Mostowski, Halmstad University, Sweden
- Walid Taha, Halmstad University, Sweden
- Alejandro Russo, Chalmers University of Technology, Sweden
- Sandro Stucki, Amazon Prime Video, Sweden
- Cristina Seceleanu, Mälardalen University, Sweden
- Keijo Heljanko, University of Helsinki, Finland
- Jaakko Järvi, University of Turku, Finland
- Antti Valmari, University of Jyväskylä, Finland
- Marina Waldén, Åbo Akademi University, Finland
- Jüri Vain, Tallinn University of Technology, Estonia
- Niccolò Veltri, Tallinn University of Technology, Estonia
Social Programme
Fløyen : https://en.visitbergen.com/ideas-and-inspiration/explore-bergen/floyen
Conference Dinner
03.11.2022 18:00 at Søtt+Salt Lanternen : Thormøhlens Gate 51b, 5006 Bergen
