Dear students
I will teach my last two lectures on Type Theory
on Thursday 13th April 16.30-18.30
on Friday 21st April 14.30-16.30
The lectures on Friday 14 and Thursday 20 April are canceled.
Prof. Ingo Blechschmidt will start his lectures in presence
on Thursday 27 th April
and he will continue with the usual schedule of lectures.
Many thanks for your cooperation!
Best wishes for all!
MEM