Applying Continuous Formal Methods to Cardano (FUNARCH 2024)

Mon 2 - Sat 7 September 2024 Milan, Italy

Who

James Chapman, Arnaud Bailly, Polina Vinogradova

Track

FUNARCH 2024

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Fri 6 Sep 2024 14:00 - 14:45 at Meeting 6 - FUNARCH Talks #2 Chair(s): Michael Sperber

Abstract

Cardano is a Proof-of-Stake cryptocurrency with a market cap in the tens of billions of USD and a daily volume of hundreds of millions of USD. In this paper we reflect on applying formal methods, functional architecture and Haskell to building Cardano. We describe our strategy, our projects, reflect on lessons learned, the challenges we face and how we propose to meet them.

James Chapman

Input Output

Arnaud Bailly

IOHK

France

Polina Vinogradova