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
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