【ERC Coffee House Tech Talk Series】Graded Types for Fine-grained Program Reasoning
Dr. Dominic Orchard (University of Kent) will give a talk, in person and online, for the Coffee House Tech Talk Series. The details of the talk are below.
When: Tuesday 31 May 2022 at 11am (UK time).
Where (in person): Room G.03, Bayes Centre (47 Potterrow, Edinburgh EH8 9BT).
Where (virtually): Zhumu link (https://meeting.zhumu.me/wc/0178099193/join?track_id=&jmf_code=&meeting_result=&tk=&cap=d7cec&prefer=0), everybody is welcome!
You can access it from your own browser or Zoom app, without installing anything.
Or via Coffee House Website: https://chasiwu.huawei.com/#/coffeeHours/activities/747724645970751488