| Description: | CS698K 3-0-0-0 (9) Tu 10:35-11:50 Th 12:00-13:15 KD101 Designing Verifiably Secure Systems Pramod Subramanyan spramod |
| Confirmation status: | Confirmed |
| Room: | HR Kadim Diwan Building - KD101 |
| Start time: | 12:00:00 - Thursday 16 January 2020 |
| Duration: | 1.25 hours |
| End time: | 13:15:00 - Thursday 16 January 2020 |
| Type: | Internal |
| Created by: | su |
| Modified by: | |
| Last updated: | 15:48:36 - Thursday 26 December 2019 |
| Repeat type: | Weekly |
| Repeat every: | 1 week |
| Repeat day: | Thursday |
| Repeat end date: | Friday 17 April 2020 |
