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

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