Algebraic Reasoning about Timeliness (NWPT 2023 - 34th Nordic Workshop on Programming Theory ) - NWPT 2023 - 34th Nordic Workshop on Programming Theory

Who

Seyed Hossein Haeri, Peter Thompson, Peter Van Roy, Magne Haveraaen, Neil Davies, Heinrich Apfelmus, Mikhail Barash, Kevin Hammond, James Chapman

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

Save

When

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

Link to Preprint

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

Seyed Hossein Haeri

University of Bergen, Norway

Norway

Peter Thompson

PNSol & IOHK

United Kingdom

Peter Van Roy

Université catholique de Louvain

Belgium

Magne Haveraaen

University of Bergen, Norway

Norway

Neil Davies

IOHK, PNSol

United Kingdom

Heinrich Apfelmus

IOG

Germany

Mikhail Barash

University of Bergen

Norway

Kevin Hammond

IOHK

United Kingdom

James Chapman

Input Output

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

Display full programSpecify a time band

Save

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