The Algebraic Structure of Parametric Array Theories (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 12:00 - 12:30 at Waaier 3 - WADT Session 1 Chair(s): Alexandre Madeira

File attachments

Extended abstract (Generalised Powers for Parametric Array Theories.pdf)	126KiB

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

	11:00 - 12:30	WADT Session 1Research papers at Waaier 3 Chair(s): Alexandre Madeira University of Aveiro

	11:00 30m Talk		Separating Code and Semantics for Maintainability Research papers P: Sebastiaan Joosten University of Minnesota Twin Cities File Attached
	11:30 30m Talk		Practical Source Code Weaving for Distributed Workflow Abstractions Research papers P: Silviu-George Pantelimon National University of Science and Technology Politehnica Bucharest, Radu Ioan Ciobanu National University of Science and Technology Politehnica Bucharest, Ciprian Dobre National University of Science and Technology Politehnica Bucharest File Attached
	12:00 30m Talk		The Algebraic Structure of Parametric Array Theories Research papers P: Rodrigo Raya Max-Planck Institute for Software Systems File Attached

Rodrigo RayaPresenter

Max-Planck Institute for Software Systems