Our Fintech Symposium will, together with University of Copenhagen & DIKU Business Club, bring together the world’s top fintech researchers, giving you access to groundbreaking research directly applicable to companies in the industry.
Historically, inventions and innovation have always been rooted in deep research knowledge and the Fintech Symposium will make sure that fintech industry leaders and top researchers together can collaborate to make sure we build greater things, to provide as much societal value as possible in the shortest possible time.
This year we focus on secure next-generation blockchain technology, which is why we have brought to you the highest level of researchers working within real-world applications of blockchain technology.
The compilation and depth of speakers have probably never been seen before.Before we dive into the future of secure blockchain technology, we will have a panel debate between top minds within AI, a true strong point for Danish universities.
Anyone with an interest within the area of valuable business applications with strong research behind it is guaranteed benefit by joining us this day.
Join us in a true paradise for researchers’ created business applications, June 17th at the Celebration Hall of the University of Copenhagen.
Fintech Symposium is sponsored by InfinIT and DIKU Business Club.
Location: Celebration Hall at University of Copenhagen, Frue Plads 4, 1168 Copenhagen
08:45-09:05 – Danish Fintech, AI & Blockchain – welcome session:
– Thomas Krogh Jensen, CEO, Copenhagen Fintech
– Mads Nielsen, Head of Dept. of Computer Science/Founder Science AI Centre/DIKU Business Club, University of Copenhagen
– Omri Ross, Assistant Professor, University of Copenhagen & Chief Blockchain Scientist and MD, eToroX Labs
09:05-09:50 – Panel Debate: Strong Points & Influence of AI in the Fintech Space
moderated by Mads Nielsen, Founder SCIENCE AI Centre and Head of Dept. of Computer Science, University of Copenhagen
09:50-10:05 – Break
10:05-11:00 – Keynote: Silvio Micali, Founder of Algorand & Professor at MIT, Turing Award Winner
11:00-11:30 – Panel Debate: From Blockchain Research to Secure & Scalable Financial Infrastructure – How?
11:30-12:00 – Panel Debate: From Blockchain Infrastructure to Decentralised Applications – How?
12:00-13:00 – Lunch
13:00-13:35 – Self-amendment, formal verification and research time scales
Michel Mauny, Board member, Tezos
13:35-14:10 – Plutus, Functional Smart Contracts on Cardano
Manuel Chakravarty, Blockchain Language Architect, IOHK
14:10-14:45 – Turning A Vehicle Into An Economic Platform – Michael Huth CTO, XAIN
14:45-15:15 – Break
15:15-15:50 – Formal Design, Implementation and Verification of Blockchain Languages
Grigore Risu, CEO, Runtime Verification
15:50-16:25 – Modularity for Accurate Static Analysis of Smart Contracts
Mooly Sagiv, CEO, Certora
16:25-17:00 – Verified Oak smart contracts
Bas Spitters, Chief Scientific Advisor, Concordium, Associate Professor, Aarhus University