| Description: | CS698H 3-0-0-0 (9) TuF 14:00-15:15 KD102 Topics in Homotopy Type Theory Anil Seth seth |
| Confirmation status: | Confirmed |
| Room: | HR Kadim Diwan Building - KD102 |
| Start time: | 14:00:00 - Friday 11 January 2019 |
| Duration: | 1.25 hours |
| End time: | 15:15:00 - Friday 11 January 2019 |
| Type: | Internal |
| Created by: | seth |
| Modified by: | |
| Last updated: | 18:28:42 - Friday 11 January 2019 |
| Repeat type: | Weekly |
| Repeat every: | 1 week |
| Repeat day: | Tuesday Friday |
| Repeat end date: | Thursday 18 April 2019 |
