Cardano Virtual Summit 2020

classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view

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:

.   \ Philip Wadler, Professor of Theoretical Computer Science,
.   /\ School of Informatics, University of Edinburgh
.  /  \ and Senior Research Fellow, IOHK

The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.

Haskell mailing list
[hidden email]