The 1st Nordic Fintech research symposium 2019
The 1st Fintech Symposium was held at the beautiful and historical Celebration Hall at the University of Copenhagen and was jointly organized by Copenhagen Fintech, DIKU Business Club and Infinit. More than 350 people attended the Symposium which focused on new applications of blockchain in financial use cases, key developments in the blockchain technology itself and efforts to increase AI research in Denmark. The Symposium was opened by Copenhagen Fintech’s CEO Thomas Krogh Jensen and the keynote was delivered by Silvio Micali, Turing Award Winner and founder of Algorand & Professor at MIT, who talked about the Algorand platform and also participated in the following panel debate. During the Symposium leading researchers from Danish and foreign universities gave talks and participated in panel debates together with representatives from industry.
Danish Fintech, AI and Blockchain- Welcome session (Watch recording)
Thomas Krogh Jensen (Copenhagen Fintech)
Mads Nielsen (University of Copenhagen & DIKU)
Omri Ross (University of Copenhagen & eToroX Labs)
Panel Debate: Strong Points & Influence of AI in the Fintech Space (Watch recording)
Moderator:
Mads Nielsen (University of Copenhagen & DIKU)
Panelists:
Anders Søgaard (DIKU)
Ole Winther (DTU Compute)
Søren Dahlgaard (Supwiz)
Mikael Munck (2021.ai)
Keynote: Algorand: The Blockchain for the Borderless Economy (Watch recording)
Silvio Micali (MIT)
Panel Debate: From Blockchain Research to Secure & Scalable Financial Infrastructure- How? (Watch recording)
Moderator:
Fritz Henglein (University of Copenhagen)
Panelists:
Bas Spitters (Concordium & Aarhus University)
Manuel Chakravarty (IOHK)
Michel Mauny (Tezos)
Silvio Micali (MIT)
Panel Debate: From Blockchain Infrastructure to Decentralised Applications- How? (Watch recording)
Moderator:
Omri Ross (University of Copenhagen & eToroX Labs)
Panelists:
Bas Spitters (Concorduim & Aarhus University)
Mooly Sagiv (Certora & Tel Aviv University)
Grigore Rosu (Runtime Verification)
Michael Huth (XAIN)
Tezos: self-amendment, formal verification and research time scales (Watch recording)
Michel Mauny (Tezos)
Plutos- Functional Smart Contracts on Cardano (Watch recording)
Manuel Chakravarty (IOHK)
Turning A Vehicle Into An Economic Platform (Watch recording)
Michael Huth, XAIN
Formal Design, Implementation and Verification of Blockchain Languages (Watch recording)
Grigore Risu (Runtime Verification)
Modularity for Accurate Static Analysis of Smart Contracts (Watch recording)
Mooly Sagiv (Certora & Tel Aviv University)
Verified Oak smart contracts (Watch recording)
Bas Spitters (Concordium & Aarhus University)