The Spring Seminar Series are scheduled as follows (all Seminars are scheduled 14.15-15.15, on Wednesdays):

• 15 March 2017. Reading group. Patrick Cousot “Abstract Interpretation Based Formal Methods and Future Challenges”
• 22 March 2017. Jamie Gabbay, TBC
• 30 March 2017 (Thursday). Blesson Varghese, Queens University, Belfast. Title TBC
• 13 April 2017 (Thursday). Yutaka Nagashima, Trustworthy Systems Group at Data61, CSIRO. Title TBC
• 26 April 2017. Sven-Bodo Scholz. Title “A λ-Calculus for Transfinite Arrays — Towards Unifying Streams and Arrays”.