(i) 1-5 April - UniMath School
https://unimath.github.io/bham2019/
(ii) 8-12 April - 6th Workshop on Formal Topology (6WFTop)
https://www.cs.bham.ac.uk/~sjv/6WFTop/
(iii) 13 April - Giovanni Sambin and Steve Vickers retirement celebration
including a day of talks.
(iv) 14-18 April - Midlands Graduate School in the Foundations of Computing
http://events.cs.bham.ac.uk/mgs2019/
Submissions for (ii) are very welcome (first-come, first-served).
And so is attendance to any of the events.
Martin