An Axiomatic Approach to Reversible Computation (OPCT 2019)

Blogs (1) >>

Sun 13 - Sat 19 January 2019 Cascais, Portugal

Track

OPCT 2019

Time Zone

The program is currently displayed in (GMT) Belfast.

Use conference time zone: (GMT) BelfastSelect 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

Mon 14 Jan 2019 12:05 - 12:30 at Sala VII - Causality, Reversibility Chair(s): Thomas H. Hildebrandt

Time Zone

The program is currently displayed in (GMT) Belfast.

Use conference time zone: (GMT) BelfastSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

Mon 14 Jan
Displayed time zone: Belfast change

11:15 - 12:30	Causality, ReversibilityOPCT at Sala VII Chair(s): Thomas H. Hildebrandt

11:15 25m Talk		Causal Reasoning for Safety OPCT Georgiana Caltais University of Konstanz File Attached
11:40 25m Talk		A Calculus of Branching Processes OPCT Jean Krivine CNRS
12:05 25m Talk		An Axiomatic Approach to Reversible Computation OPCT Irek Ulidowski University of Leicester

An Axiomatic Approach to Reversible Computation

Mon 14 Jan
Displayed time zone: Belfast change

Irek Ulidowski

University of Leicester

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia

An Axiomatic Approach to Reversible Computation

Program Display Configuration

Program Display Configuration

Mon 14 JanDisplayed time zone: Belfast change

Irek Ulidowski

University of Leicester

Mon 14 Jan
Displayed time zone: Belfast change