Karlsgatan 2 (Västerås Konstmusem, Downtown) - NWPT 2023 - 34th Nordic Workshop on Programming Theory

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

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

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


Room	9:00						30						10:00						30						11:00						30
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


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45
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

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

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

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

NWPT 2023

NWPT 2023

NWPT 2023

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

Tracks

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

Program Display Configuration

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

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

NWPT 2023

NWPT 2023

NWPT 2023

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

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

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

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