| Start Time | Title | Authors |
|---|---|---|
| 11:30 | Modelling Smart Contracts of Bitcoin in Agda | Anton Setzer and Bogdan Gabriel Lazar |
| 11:45 | The Agda Universal Algebra Library and Birkhoff’s Theorem in Dependent Type Theory | William DeMeo |
| 12:00 | A Formal Theory of Games of Incomplete Information | Helene Fargier, Érik Martin-Dorel and Pierre Pomeret-Coquot |
| 12:10 | SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq | Carmine Abate, Philipp G. Haselwarter, Exequiel Rivas, Antoine Van Muylder, Théo Winterhalter, Cătălin Hritcu, Kenji Maillard and Bas Spitters |
| 12:20 | Towards Automation for Iris | Ike Mulder and Robbert Krebbers |
Towards Automation for Iris
1 file(s) 227.53 KB
SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq
1 file(s) 286.30 KB
Modelling Smart Contracts of Bitcoin in Agda
1 file(s) 309.30 KB
A Formal Theory of Games of Incomplete Information
1 file(s) 373.70 KB
Event Timeslots (1)
Friday
-
chair: Matthieu Sozeau
Leave a Comment