SOMLMFM PROGRAM
Friday, July 13th
View this program: with abstractssession overviewtalk overviewside by side with other conferences
09:00-10:30 Session 83K: Machine learning and logic
Chair:
Location: Maths LT1
| 09:00 | Machine learning and logic: Fast and slow thinking (abstract) |
| 09:30 | Provably beneficial artificial intelligence (abstract) |
| 10:00 | Towards Robust and Explainable Artificial Intelligence (abstract) |
10:30-11:00Coffee Break
11:00-12:30 Session 86L: Ethical and fair AI
Chair:
Location: Maths LT1
| 11:00 | Ethically Aligned AI Systems (abstract) |
| 11:20 | Program Fairness – a Formal Methods Perspective (abstract) |
| 11:40 | Deep Learning Methods for Large Scale Theorem Proving (abstract) |
| 12:00 | AI2: AI Safety and Robustness with Abstract Interpretation (abstract) |
12:30-14:00Lunch Break
14:00-15:30 Session 87L: Applications of AI
Chair:
Location: Maths LT1
| 14:00 | The realities of applied AI (abstract) |
| 14:30 | Safe reinforcement learning via formal methods (abstract) |
| 15:00 | Programming from examples: PL meets ML (abstract) |
15:30-16:00Coffee Break
16:00-16:40 Session 88I: Explainable machine learning
Chair:
Location: Maths LT1
| 16:00 | Influence-directed explanations for machine learning systems (abstract) |
| 16:20 | Safety verification for deep neural networks with provable guarantees (abstract) |
16:40-18:00 Session 91: Panel Session & Summary
Panel session preceded by an introductory talk.
Chair:
Location: Maths LT1
| 16:40 | What Just Happened in AI (abstract) |
| 17:00 | Panel session (abstract) |
19:00-21:30 Workshops dinner at Keble College
Workshops dinner at Keble College. Drinks reception from 7pm, to be seated by 7:30 (pre-booking via FLoC registration system required; guests welcome).
Location: Keble College