<div dir="ltr">Cardano Virtual Summit 2020 takes place today and tomorrow. Some talks that may be of interest:<div><br></div><div><i style="color:rgb(0,0,0);font-family:"Trebuchet MS",Trebuchet,Verdana,sans-serif;background-color:rgb(246,246,246)">16.00 Thu 2 Jul</i><span style="color:rgb(0,0,0);font-family:"Trebuchet MS",Trebuchet,Verdana,sans-serif;background-color:rgb(246,246,246)"> </span><b style="color:rgb(0,0,0);font-family:"Trebuchet MS",Trebuchet,Verdana,sans-serif;background-color:rgb(246,246,246)">An overview of IOHK research</b><i style="color:rgb(0,0,0);font-family:"Trebuchet MS",Trebuchet,Verdana,sans-serif;background-color:rgb(246,246,246)"> </i><span style="color:rgb(0,0,0);font-family:"Trebuchet MS",Trebuchet,Verdana,sans-serif;background-color:rgb(246,246,246)">Prof Aggelos Kiayias, Prof Elias Koutsoupias, Prof Alexander Russell, Prof Phil Wadler.</span><br style="color:rgb(0,0,0);font-family:"Trebuchet MS",Trebuchet,Verdana,sans-serif;background-color:rgb(246,246,246)"><br style="color:rgb(0,0,0);font-family:"Trebuchet MS",Trebuchet,Verdana,sans-serif;background-color:rgb(246,246,246)"><i style="color:rgb(0,0,0);font-family:"Trebuchet MS",Trebuchet,Verdana,sans-serif;background-color:rgb(246,246,246)">18.30 Thu 2 Jul</i><span style="color:rgb(0,0,0);font-family:"Trebuchet MS",Trebuchet,Verdana,sans-serif;background-color:rgb(246,246,246)"> </span><b style="color:rgb(0,0,0);font-family:"Trebuchet MS",Trebuchet,Verdana,sans-serif;background-color:rgb(246,246,246)">Architecting the internet: what I would have done </b><b style="color:rgb(0,0,0);font-family:"Trebuchet MS",Trebuchet,Verdana,sans-serif;background-color:rgb(246,246,246)">differently... </b><span style="color:rgb(0,0,0);font-family:"Trebuchet MS",Trebuchet,Verdana,sans-serif;background-color:rgb(246,246,246)">Vint Cerf, Internet pioneer and Google internet evangelist, Prof Aggelos Kiayias, panel moderated by Prof Philip Wadler.</span><br style="color:rgb(0,0,0);font-family:"Trebuchet MS",Trebuchet,Verdana,sans-serif;background-color:rgb(246,246,246)"><br style="color:rgb(0,0,0);font-family:"Trebuchet MS",Trebuchet,Verdana,sans-serif;background-color:rgb(246,246,246)"><i style="color:rgb(0,0,0);font-family:"Trebuchet MS",Trebuchet,Verdana,sans-serif;background-color:rgb(246,246,246)">20.00 Thu 2 Jul</i><span style="color:rgb(0,0,0);font-family:"Trebuchet MS",Trebuchet,Verdana,sans-serif;background-color:rgb(246,246,246)"> </span><b style="color:rgb(0,0,0);font-family:"Trebuchet MS",Trebuchet,Verdana,sans-serif;background-color:rgb(246,246,246)">Functional smart contracts on Cardano</b><span style="color:rgb(0,0,0);font-family:"Trebuchet MS",Trebuchet,Verdana,sans-serif;background-color:rgb(246,246,246)"> Prof Philip Wadler, Dr Manuel Chakravarty, Prof Simon Thompson.</span><br style="color:rgb(0,0,0);font-family:"Trebuchet MS",Trebuchet,Verdana,sans-serif;background-color:rgb(246,246,246)"><br style="color:rgb(0,0,0);font-family:"Trebuchet MS",Trebuchet,Verdana,sans-serif;background-color:rgb(246,246,246)"><i style="color:rgb(0,0,0);font-family:"Trebuchet MS",Trebuchet,Verdana,sans-serif;background-color:rgb(246,246,246)">16.00 Fri 3 Jul</i><span style="color:rgb(0,0,0);font-family:"Trebuchet MS",Trebuchet,Verdana,sans-serif;background-color:rgb(246,246,246)"> </span><b style="color:rgb(0,0,0);font-family:"Trebuchet MS",Trebuchet,Verdana,sans-serif;background-color:rgb(246,246,246)">Haskell, then and now: What is the future for </b><b style="color:rgb(0,0,0);font-family:"Trebuchet MS",Trebuchet,Verdana,sans-serif;background-color:rgb(246,246,246)">functional programming languages?</b><span style="color:rgb(0,0,0);font-family:"Trebuchet MS",Trebuchet,Verdana,sans-serif;background-color:rgb(246,246,246)"> Prof Simon Peyton-Jones, Prof John Hughes, Prof Philip Wadler, Dr Kevin Hammond, Dr Duncan Coutts.</span></div><div><font color="#000000" face="Trebuchet MS, Trebuchet, Verdana, sans-serif"><br></font></div><div><font color="#000000" face="Trebuchet MS, Trebuchet, Verdana, sans-serif">You need register in advance. You can do so here:</font></div><div><font color="#000000" face="Trebuchet MS, Trebuchet, Verdana, sans-serif">  </font><a href="https://cardanosummit.iohk.io/">https://cardanosummit.iohk.io/</a></div><div><br><div><br></div><div><br clear="all"><div><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div dir="ltr"><div><div dir="ltr">.   \ Philip Wadler, Professor of Theoretical Computer Science,<br>.   /\ School of Informatics, University of Edinburgh<br></div><div>.  /  \ and Senior Research Fellow, IOHK<br></div><div dir="ltr">. <span><a href="http://homepages.inf.ed.ac.uk/wadler/" target="_blank">http://homepages.inf.ed.ac.uk/wadler/</a></span></div></div><div dir="ltr"><br></div></div></div></div></div></div></div></div></div></div>