[TYPES/announce] Cardano Virtual Summit 2020

[Philip Wadler]

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/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20200702/6491f5b2/attachment.htm>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: not available
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20200702/6491f5b2/attachment.ksh>