Thu 18 Jul 2019 09:00 - 10:00 at Mancy - Keynote Chair(s): Sophia Drossopoulou

Thu 18 Jul
Times are displayed in time zone: Greenwich Mean Time : Belfast change

09:00 - 10:00: KeynoteResearch Papers at Mancy
Chair(s): Sophia DrossopoulouImperial College London
09:00 - 10:00
Talk
Rethinking Compositionality: Composing Proofs From Program BehavioursKeynote
Research Papers
K: Azadeh FarzanUniversity of Toronto
Media Attached