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

Conference Day
Thu 18 Jul

Displayed time zone: Belfast change

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