FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
LMML PROGRAM
Sunday, July 31st

View this program: with abstractssession overviewtalk overviewside by side with other conferences

08:30-09:00Coffee & Refreshments
10:30-11:00Coffee Break
11:00-12:30 Session 10H: learning interpretable ML models
Location: Ullmann 101
11:00
Building Optimal Decision Trees (abstract)
11:45
SAT-Based Induction of Explainable Decision Trees (abstract)
12:30-14:00Lunch Break

Lunches will be held in Taub hall and in The Grand Water Research Institute.

12:30-12:40 Session 13: Spotlight talks
Location: Ullmann 101
12:30
MCP: Capturing Big Data by Satisfiability (abstract)
PRESENTER: Miki Hermann
14:00-15:30 Session 14H: computation of explanations for black-box ML models
Location: Ullmann 101
14:00
A Rate-Distortion Framework for Explaining Model Decisions and Application to CartoonX (abstract)
14:45
The Exciting Theory of Formal Explanations (abstract)
15:30-16:00Coffee Break
16:00-17:30 Session 19G: verification of black-box ML models
Location: Ullmann 101
16:00
Verification of Binarized Neural Networks: Challenges and Opportunities (abstract)
16:45
Verification of Realistic Neural Networks (abstract)