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
Chair:
Alexey Ignatiev
Location: Ullmann 101
11:00
Peter Stuckey
Building Optimal Decision Trees (abstract)
11:45
Andre Schidler
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
Chair:
Stefan Szeider
Location: Ullmann 101
12:30
Miki Hermann and Gernot Salzer
MCP: Capturing Big Data by Satisfiability (abstract)
PRESENTER: Miki Hermann
14:00-15:30 Session 14H: computation of explanations for black-box ML models
Chair:
Alexey Ignatiev
Location: Ullmann 101
14:00
Ron Levie
A Rate-Distortion Framework for Explaining Model Decisions and Application to CartoonX (abstract)
14:45
Bernardo Subercaseaux
The Exciting Theory of Formal Explanations (abstract)
15:30-16:00Coffee Break
16:00-17:30 Session 19G: verification of black-box ML models
Chair:
Stefan Szeider
Location: Ullmann 101
16:00
Nina Narodytska
Verification of Binarized Neural Networks: Challenges and Opportunities (abstract)
16:45
Mark Niklas Müller
Verification of Realistic Neural Networks (abstract)
17:30-18:00 Session 24B: discussion and outlook
Chair:
Alexey Ignatiev
Location: Ullmann 101