(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 -- You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group. To unsubscribe from this group and stop receiving emails from it, send an email to HomotopyTypeTheory+unsubscribe@googlegroups.com. For more options, visit https://groups.google.com/d/optout.