FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
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
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
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
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
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.

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