FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
FMBC PROGRAM
Thursday, August 11th

View this program: with abstractssession overviewtalk overviewside by side with other conferences

08:30-09:00Coffee & Refreshments
09:30-10:30 Session 124A: Keynote
Location: Ullmann 307
09:30
MEV-freedom, in DeFi and beyond (abstract)
10:30-11:00Coffee Break
11:00-12:30 Session 125D: Formal Methods for Smart Contracts
Location: Ullmann 307
11:00
Finding smart contract vulnerabilities with ConCert's property-based testing framework (abstract)
PRESENTER: Eske Hoy Nielsen
11:30
Automatic generation of attacker contracts in Solidity (abstract)
12:00
Designing EUTxO smart contracts as communicating state machines: the case of simulating accounts (abstract)
12:15
FAT CAT: Formal Acceptance Testing of Contracts for Administering Tokens (abstract)
PRESENTER: Aurélien Saue
12:30-14:00Lunch Break

Lunches will be held in Taub hall and in The Grand Water Research Institute.

14:00-15:15 Session 127D: Formal Methods for Blockchain Protocols
Location: Ullmann 307
14:00
Proofgold: Blockchain for Formal Methods (abstract)
PRESENTER: Cezary Kaliszyk
14:30
A Domain Specific Language for Testing Consensus Implementations (abstract)
14:45
Determinism of ledger updates (abstract)
15:00
Human and machine-readable models of state machines for the Cardano ledger (abstract)
PRESENTER: Andre Knispel
15:30-16:00Coffee Break
16:00-16:45 Session 131C: Formal Methods for 2nd Layers/off-chain Protocols
Location: Ullmann 307
16:00
Multi: a Formal Playground for Smart Multi-contract interaction (abstract)
PRESENTER: Martin Ceresa
16:30
Automating Security Analysis of Off-Chain Protocols (abstract)
PRESENTER: Sophie Rain
18:00-19:30Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event