Between Formal and Practical Mathematical Reasoning (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

Ville Rantala, Antti Valmari

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

Wed 22 Nov 2023 11:10 - 11:30 at My (MDU Campus) - Algebraic Modeling, Categories, and Reasoning Chair(s): Peter Backeman

Link to Preprint

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

Ville Rantala

University of Jyväskylä

Finland

Antti Valmari

University of Jyväskylä

Finland

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

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

	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