NWPT 2023 - 34th Nordic Workshop on Programming Theory
Wed 22 - Thu 23 November 2023 Västerås
NWPT 2023 - 34th Nordic Workshop on Programming Theory (series) / Mälardalen University /

Room information: Karlsgatan 2 (Västerås Konstmusem, Downtown)

VenueMälardalen University
Room name Karlsgatan 2 (Västerås Konstmusem, Downtown)
Room Information

Located in downtown Västerås. Address is Karlsgatan 2: https://maps.app.goo.gl/7foSzR1jWshe9U6r7

Program

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

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

Thu 23 Nov

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

Room9:003010:003011:0030
Karlsgatan 2 (Västerås Konstmusem, Downtown)

NWPT 2023

Keynote 3

NWPT 2023

Break

NWPT 2023

Types and Planning

Thu 23 Nov

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

Room9:0015304510:0015304511:00153045
Karlsgatan 2 (Västerås Konstmusem, Downtown)
NWPT - 34th Nordic Workshop on Programming Theory
CommCSL: Proving Information Flow Security for Concurrent Programs usin ...
09:00 - 10:00
NWPT - 34th Nordic Workshop on Programming Theory
A New Take on Join Patterns
10:20 - 10:40
NWPT - 34th Nordic Workshop on Programming Theory
Semi-Inversion with Sum Types
10:40 - 11:00
NWPT - 34th Nordic Workshop on Programming Theory
Applications of Univalent Universe Completions
11:00 - 11:20
NWPT - 34th Nordic Workshop on Programming Theory
Reliable Plan Selection with Quantified Risk-Sensitivity
11:20 - 11:40
NWPT - 34th Nordic Workshop on Programming Theory
Modeling and Safety Analysis of Autonomous Underwater Robot Behaviors
11:40 - 12:00