Rewriting Abstract Structures: Materialization Explained Categorically (FOSSACS 2019) - ETAPS 2019

Sat 6 - Thu 11 April 2019 Prague, Czech Republic

Who

Andrea Corradini, Tobias Heindel, Barbara König, Dennis Nolte, Arend Rensink

Track

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 Apr 2019 11:00 - 11:30 at MOON - Applied Categories Chair(s): Alex Simpson

Link to Publication

https://link.springer.com/chapter/10.1007/978-3-030-17127-8_10

Andrea Corradini

Tobias Heindel

Barbara König

University of Duisburg-Essen

Dennis Nolte

University of Duisburg-Essen

Arend Rensink

University of Twente, The Netherlands

Netherlands

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 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

	10:30 - 12:30	Applied CategoriesFOSSACS at MOON Chair(s): Alex Simpson University of Ljubljana

	10:30 30m Talk		Trees in Partial Higher Dimensional AutomataBest paper nomination FOSSACS Jérémy Dubut Link to publication
	11:00 30m Talk		Rewriting Abstract Structures: Materialization Explained CategoricallyBest paper nomination FOSSACS Andrea Corradini , Tobias Heindel , Barbara König University of Duisburg-Essen, Dennis Nolte University of Duisburg-Essen, Arend Rensink University of Twente, The Netherlands Link to publication
	11:30 30m Talk		Change Actions: Models of Generalised Differentiation FOSSACS Mario Alvarez-Picallo University of Oxford, C.-H. Luke Ong University of Oxford Link to publication
	12:00 30m Talk		Causal Inference by String Diagram Surgery FOSSACS Aleks Kissinger Radboud University, Bart Jacobs Radboud University Nijmegen, Fabio Zanasi University College London Link to publication