FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
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