Events: detail
A Temporal Logic of Robustness
- Hosted by:
- UCL Computer Science Department
- Speaker:
-
John C. McCabe-Dansted, University of Western Australia
- Starts:
- September 05, 2007 at 03:00 pm
- Ends:
- September 05, 2007 at 04:00 pm
- Location:
- University College London, Malet Place Engineering Building, Room 1.02, Gower Street, London, WC1E 6BT United Kingdom
- Maps:
Description
- Registration required:
- Yes
- Free:
- Yes
Additional information
Visitors from outside UCL please email in advance
For more information
- Contact person:
- Robin Hirsch
- Email:
- r.hirsch [ at ] cs.ucl.ac.uk
- Website:
- A Temporal Logic of Robustness
