SICSA Complex Systems Engineering
Joint THREADSS/SEMANTICS Meeting
Weds 11th November 2009
Introduction
The November 2009 meeting is joint between the THREADSS and SEMANTICS subthemes of the SICSA Complex Systems Engineering theme. The meetings are open to SICSA particpants and interested
participants are encouraged to attend.
Location
Room 3.36 (Third Floor)
Earl Mountbatten Building
Heriot-Watt University
Directions and travel info available at
here
Draft Programme
- 12:15 Lunch
- 13:00 Welcome
- 13:10
Christoph Herrmann
St Andrews University
Execution Time Analysis and Verification of Hume Box Compositions
- 13:50
Ewen Maclean
Heriot-Watt University
Functional Correctness in Separation Logic
- 14:30 Coffee break
- 15:00
Jamie Gabbay
Heriot-Watt University
Names: I denote, therefore I am
- 15:20
Phil Trinder
Heriot-Watt University
Resource Analysis for Parallel and Distributed Coordination
- 15:50
Hans-Wolfgang Loidl
St Andrews University
SICSA Multi-core Challenge
- 16:20 Close
Contact
Event organiser: Phil Trinder
School of Mathematical and Computer Sciences
Heriot-Watt University
Edinburgh, EH14 4AS