Semi-Inversion with Sum Types (NWPT 2023 - 34th Nordic Workshop on Programming Theory ) - NWPT 2023 - 34th Nordic Workshop on Programming Theory

Wed 22 - Thu 23 November 2023 Västerås

Who

Joachim Kristensen, Lars-Bo Husted Vadgaard, Maja Kirkeby, Michael Kirkedal Thomsen

Track

NWPT 2023 - 34th Nordic Workshop on Programming Theory

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

When

Thu 23 Nov 2023 10:40 - 11:00 at Karlsgatan 2 (Västerås Konstmusem, Downtown) - Types and Planning Chair(s): Cyrille Artho

Link to Preprint

https://mdu.drive.sunet.se/index.php/s/m8DYGLwmEsM5TKw

Joachim Kristensen

University of Oslo

Lars-Bo Husted Vadgaard

Department of Informatics, University of Oslo

Norway

Maja Kirkeby

Roskilde University

Denmark

Michael Kirkedal Thomsen

University of Oslo & University of Copenhagen

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

Session Program

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

	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