Cardano Virtual Summit 2020 takes place today and tomorrow. Some talks that may be of interest: *16.00 Thu 2 Jul* *An overview of IOHK research* Prof Aggelos Kiayias, Prof Elias Koutsoupias, Prof Alexander Russell, Prof Phil Wadler. *18.30 Thu 2 Jul* *Architecting the internet: what I would have done * *differently... *Vint Cerf, Internet pioneer and Google internet evangelist, Prof Aggelos Kiayias, panel moderated by Prof Philip Wadler. *20.00 Thu 2 Jul* *Functional smart contracts on Cardano* Prof Philip Wadler, Dr Manuel Chakravarty, Prof Simon Thompson. *16.00 Fri 3 Jul* *Haskell, then and now: What is the future for **functional programming languages?* Prof Simon Peyton-Jones, Prof John Hughes, Prof Philip Wadler, Dr Kevin Hammond, Dr Duncan Coutts. You need register in advance. You can do so here: https://cardanosummit.iohk.io/ . \ Philip Wadler, Professor of Theoretical Computer Science, . /\ School of Informatics, University of Edinburgh . / \ and Senior Research Fellow, IOHK . http://homepages.inf.ed.ac.uk/wadler/ The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336.