Categories of Algebraic Rewrite Rules (WADT 2024 - Research papers) - WADT 2024

Mon 8 Jul 2024 Enschede, Netherlands

co-located with STAF 2024

Track

WADT 2024 Research papers

This program is tentative and subject to change.

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02: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

Mon 8 Jul 2024 14:00 - 14:30 at Waaier 3 - WADT Keynote Session 2 Chair(s): Uwe Wolter

File attachments

Extended abstract (Categories of Algebraic Rewrite Rules.pdf)	163KiB

This program is tentative and subject to change.

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02: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

Mon 8 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

	13:30 - 15:00	WADT Keynote Session 2Research papers / STAF Keynotes at Waaier 3 Chair(s): Uwe Wolter University of Bergen

	13:30 30m Keynote		WADT Keynote 2 - Conditional Equational Logic of Common Meadows STAF Keynotes K: Jan Bergstra University of Amsterdam
	14:00 30m Talk		Categories of Algebraic Rewrite Rules Research papers P: Thierry Boy de La Tour CNRS and University Grenoble Alpes File Attached
	14:30 30m Talk		Reconciling Quantum Theory and Process Calculi via Physically Admissible Schedulers Research papers Lorenzo Ceragioli IMT School for Advanced Studies, Giuseppe Lomurno University of Pisa, P: Gabriele Tedeschi University of Pisa File Attached

Thierry Boy de La TourPresenter

CNRS and University Grenoble Alpes