Cospans and Symmetric Lenses (Bx 2018 - Seventh International Workshop on Bidirectional Transformations)

Mon 9 - Thu 12 April 2018 Nice, France

Who

Michael Johnson, Robert Rosebrugh

Track

Bx 2018

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

Save

When

Tue 10 Apr 2018 11:00 - 11:30 at Baie des Anges B - Mathematical Foundations Chair(s): Jeremy Gibbons

Abstract

We characterize those symmetric d-lenses which are representable as cospans of d-lenses. Such a symmetric d-lens must have unique corrs per pair of objects and satisfy two other technical conditions. When the d-lens is also ``least change'' then the corresponding cospan consists of c-lenses.

Michael Johnson

Macquarie University, Australia

Robert Rosebrugh