【ERC Coffee House Tech Talk】Introduction to Call-by-Push-Value
Bcc to all staff of UKRD
When: Tuesday 17 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/0145848734/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.
Speaker: Paul B. Levy (University of Birmingham)