Taub 7
Sessions
- Session 27 (Aug 01 09:15-10:30)
- Session 31G (Aug 01 11:00-12:30)
- Session 34H (Aug 01 14:00-15:30)
- Session 37H (Aug 01 16:00-17:30) Panel (Nikolaj Bjørner, Christoph Haase, Liat Peterfreund)
- Session 43A (Aug 02 08:50-09:00) Welcome
- Session 44A (Aug 02 09:00-10:30) ML
- Session 50A (Aug 02 14:00-15:30) Tutorial
- Session 54A (Aug 02 16:00-17:30) OR
- Session 58A (Aug 03 11:00-12:30) Modelling + Robust solutions
- Session 59A (Aug 03 14:00-15:30) Awards
- Session 61A (Aug 03 16:00-17:30) Awards + ACP General Assembly
- Session 63A (Aug 04 09:00-10:30) Tutorial
- Session 65A (Aug 04 11:00-12:30) MDD
- Session 67A (Aug 04 14:00-15:30) Tutorial + Benchmarking
- Session 73A (Aug 05 09:00-10:30) DEI Special Event
- Session 76A (Aug 05 11:00-12:30) Theory + TDM
- Session 134B (Aug 12 09:00-10:30)
- Session 137C (Aug 12 11:00-12:30)
- Session 138C (Aug 12 14:00-15:35)
- Session 139C (Aug 12 16:00-16:45) Update on Proof Standardization (Joint Session with PAAR)
- Session 141 (Aug 12 16:45-17:30) WG 2 business meeting and plannning