On 16 Nov (this week Friday), I will present an overviewof various Temporal Logics, and the following WednesdayI will continue with Applications.
Regards.
Tamisra Sanyal.