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