Ullmann 310
Sessions
- Session 1G (Jul 31 09:00-09:40) Invited talk -- dr. Ruth Hoffmann
- Session 4 (Jul 31 09:40-10:30) Paper presentations
- Session 10J (Jul 31 11:00-12:30) Paper presentations
- Session 14J (Jul 31 14:00-14:40) Invited talk -- dr. Nguyen Dang
- Session 16 (Jul 31 14:40-17:15) Modelling Competition
- Session 26B (Aug 01 09:00-10:30) Foundations
- Session 31B (Aug 01 11:00-12:30) Modelling with s(CASP)
- Session 34C (Aug 01 14:00-15:30) s(CASP) extensions and applications I
- Session 37C (Aug 01 16:00-17:30) s(CAPS) extensions and applications II
- Session 123B (Aug 11 09:15-10:30) Keynote Presentation
- Session 125C (Aug 11 11:00-11:45) Blockchain and Real-world Security
- Session 126A (Aug 11 12:00-12:30) Secure Hardware
- Session 127C (Aug 11 14:00-14:45) Analysis for Security and Privacy