Bidirectional data-flow analyses compared to relational through Galois connections (NWPT 2023 - 34th Nordic Workshop on Programming Theory ) - NWPT 2023 - 34th Nordic Workshop on Programming Theory

Who

Dylan McDermott, Yasuaki Morita, Tarmo Uustalu

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:50 - 12:10 at My (MDU Campus) - Algebraic Modeling, Categories, and Reasoning Chair(s): Peter Backeman

Link to Preprint

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

Dylan McDermott

Reykjavik University

Iceland

Yasuaki Morita

Reykjavik University

Iceland

Tarmo Uustalu

Reykjavik University

Iceland

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