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

Thu 18 Jul

Displayed time zone: Belfast change

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