november, 2019

12nov13:5015:30University of Exeter SeminarAbstractions for Reasoning about Data Object Movement

Event Details

University of Exeter Seminar

Presentation: Abstractions for Reasoning about Data Object Movement by Utz-Uwe Haus
More information: http://emps.exeter.ac.uk/mathematics/news-events/colloquia/event/?semID=2441&dateID=5159#3ttM7v2fESD9E8Bd.99

Time

(Tuesday) 13:50 - 15:30

X