Ullmann 307
Sessions
- Session 1J (Jul 31 09:00-10:30)
- Session 10N (Jul 31 11:00-12:30)
- Session 14Q (Jul 31 14:00-15:30)
- Session 19N (Jul 31 16:00-17:00)
- Session 21B (Jul 31 17:00-17:45)
- Session 124A (Aug 11 09:30-10:30) Keynote
- Session 125D (Aug 11 11:00-12:30) Formal Methods for Smart Contracts
- Session 127D (Aug 11 14:00-15:15) Formal Methods for Blockchain Protocols
- Session 130 (Aug 11 15:15-15:30) Discussion
- Session 131C (Aug 11 16:00-16:45) Formal Methods for 2nd Layers/off-chain Protocols
- Session 132 (Aug 11 16:45-17:00) Discussion
- Session 133A (Aug 11 17:00-17:15) Community meeting, organisation