WADT Keynote 2 - Conditional Equational Logic of Common Meadows (STAF 2024 - Keynotes) - STAF 2024

Mon 8 - Thu 11 July 2024 Enschede, Netherlands

Track

STAF 2024 Keynotes

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 13:30 - 14:00 at Waaier 3 - WADT Keynote Session 2 Chair(s): Uwe Wolter

Abstract

TBA

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 2WADT / Keynotes at Waaier 3 Chair(s): Uwe Wolter University of Bergen

	13:30 30m Keynote		WADT Keynote 2 - Conditional Equational Logic of Common Meadows Keynotes K: Jan Bergstra University of Amsterdam
	14:00 30m Talk		Categories of Algebraic Rewrite Rules WADT 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 WADT Lorenzo Ceragioli IMT School for Advanced Studies, Giuseppe Lomurno University of Pisa, P: Gabriele Tedeschi University of Pisa File Attached

Jan BergstraKeynote Speaker

University of Amsterdam