Program - NWPT 2023 - 34th Nordic Workshop on Programming Theory

Detailed Table Session Timeline Detailed Timeline

Time Zone

The program is currently displayed in (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

You're viewing the program in a time zone which is different from your device's time zone change time zone

Wed 22 Nov
Displayed 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	Keynote 1NWPT 2023 at My (MDU Campus) Chair(s): Cristina Seceleanu Mälardalen University

09:10 60m Keynote		A Denotational Finite-Trace Semantics and Logic for While NWPT 2023 Reiner Hähnle Technical University of Darmstadt

	10:10 - 10:30	BreakNWPT 2023 at My (MDU Campus)

10:30 - 12:10	Algebraic Modeling, Categories, and ReasoningNWPT 2023 at My (MDU Campus) Chair(s): Peter Backeman Mälardalen University

10:30 20m Talk		Infinite hard families of equations in process algebras NWPT 2023 Elli Anastasiadi Uppsala University, Luca Aceto Reykjavik University Pre-print
10:50 20m Talk		Presentations of Premonoidal Categories by Devices NWPT 2023 Matt Earnshaw Tallinn University of Technology, Chad Nester Tallinn University of Technology, Mario Román Tallinn University of Technology Pre-print
11:10 20m Talk		Between Formal and Practical Mathematical Reasoning NWPT 2023 Ville Rantala University of Jyväskylä, Antti Valmari University of Jyväskylä Pre-print
11:30 20m Talk		Algebraic Reasoning about Timeliness NWPT 2023 Seyed Hossein Haeri University of Bergen, Norway, Peter Thompson PNSol & IOHK, Peter Van Roy Université catholique de Louvain, Magne Haveraaen University of Bergen, Norway, Neil Davies IOHK, PNSol, Heinrich Apfelmus IOG, Mikhail Barash University of Bergen, Kevin Hammond IOHK, James Chapman Input Output Pre-print
11:50 20m Talk		Bidirectional data-flow analyses compared to relational through Galois connections NWPT 2023 Dylan McDermott Reykjavik University, Yasuaki Morita Reykjavik University, Tarmo Uustalu Reykjavik University Pre-print

	12:10 - 14:00	LunchNWPT 2023 at Rosenhill (MDU Campus)

14:00 - 15:00	Keynote 2NWPT 2023 at My (MDU Campus) Chair(s): Marjan Sirjani Malardalen University

14:00 60m Keynote		How to Make Distributed Programming Safer using Types NWPT 2023 Philipp Haller KTH Royal Institute of Technology Link to publication

	15:00 - 15:30	BreakNWPT 2023 at My (MDU Campus)

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 20m Talk		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 20m Talk		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 20m Talk		Symmetric Monoidal Automata NWPT 2023 Elena Di Lavore Tallinn University of Technology, Mario Román Tallinn University of Technology Pre-print
16:30 20m Talk		Generalized Input Reduction NWPT 2023 Christian Gram Kalhauge Technical University of Denmark Pre-print

	18:00 - 23:00	DinnerNWPT 2023 at Restaurant (Västerås countryside)

Thu 23 Nov
Displayed 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 60m Keynote		CommCSL: Proving Information Flow Security for Concurrent Programs using Abstract Commutativity NWPT 2023 Peter Müller ETH Zurich

	10:00 - 10:20	BreakNWPT 2023 at Karlsgatan 2 (Västerås Konstmusem, Downtown)

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 20m Talk		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 20m Talk		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 20m Talk		Applications of Univalent Universe Completions NWPT 2023 Philipp Joram Tallinn University of Technology Pre-print
11:20 20m Talk		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 20m Talk		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 20m Talk		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 20m Talk		Static Analysis of Energy Usage in Software NWPT 2023 Wojciech Mostowski Halmstad University, Christoph Reichenbach Lund University Pre-print
14:40 20m Talk		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 20m Talk		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 20m Talk		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	BreakNWPT 2023 at My (MDU Campus)

16:00 - 17:20	Security and SafetyNWPT 2023 at My (MDU Campus) Chair(s): Wojciech Mostowski Halmstad University

16:00 20m Talk		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 20m Talk		Time-Sensitive Control Closure: A Key Component for Secure Information Flow NWPT 2023 Abu Naser Masud Malardalen University, Björn Lisper Malardalen University Pre-print
16:40 20m Talk		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 20m Talk		Enhancing CRYSTAL: Preventive Recovery in Brief NWPT 2023 Fereidoun Moradi Mälardalen University, Zahra Moezkarimi Mälardalen University, Marjan Sirjani Malardalen University Pre-print

NWPT 2023 - 34th Nordic Workshop on Programming Theory Program

Wed 22 Nov
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 23 Nov
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tracks

NWPT 2023 - 34th Nordic Workshop on Programming Theory Program

Switch Program View

Program Display Configuration

Wed 22 NovDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 23 NovDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Get Calendar (iCal)

Wed 22 Nov
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 23 Nov
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change