Ullmann 101
Sessions
- Session 10H (Jul 31 11:00-12:30) learning interpretable ML models
- Session 13 (Jul 31 12:30-12:40) Spotlight talks
- Session 14H (Jul 31 14:00-15:30) computation of explanations for black-box ML models
- Session 19G (Jul 31 16:00-17:30) verification of black-box ML models
- Session 24B (Jul 31 17:30-18:00) discussion and outlook
- Session 26J (Aug 01 09:00-10:30)
- Session 31N (Aug 01 11:00-12:30)
- Session 34N (Aug 01 14:00-15:30)
- Session 37M (Aug 01 16:00-17:30)
- Session 122 (Aug 11 09:10-10:30) Isabelle 1
- Session 125G (Aug 11 11:00-12:30) Isabelle 2
- Session 127G (Aug 11 14:00-15:30) Isabelle 3
- Session 131E (Aug 11 16:00-17:30) Isabelle 4