FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Ullmann 300

Sessions

  • Session 1C (Jul 31 09:00-10:30) DatalogMTL tutorial, part 1/2
  • Session 10C (Jul 31 11:00-12:30) DatalogMTL tutorial, part 2/2
  • Session 120A (Aug 11 09:00-10:30) SAT/SMT Solving
  • Session 125B (Aug 11 11:00-12:30) Model Checking (I)
  • Session 127B (Aug 11 14:00-15:30) Model Checking (II) and Synthesis
  • Session 131B (Aug 11 16:00-17:30) Industrial Use of Formal Methods