[DMANET] CPAIOR'21 Master Class: "Explanation and Verification of Machine Learning Models"

Dear Colleagues,

We invite you to attend the Master Class Day on

"Explanation and Verification of Machine Learning Models"

at the 18th International Conference on the
Integration of Constraint Programming, Artificial Intelligence, and
Operations Research (CPAIOR 2021) on July 5, 2021.

Website of the Master Class Day:

https://cpaior2021.dbai.tuwien.ac.at/masterclass/

List of invited speakers:
* Alessio Lomuscio: Towards verifying AI systems based on deep neural networks
* Gagandeep Singh: Certified Artificial Intelligence
* Guy Katz: Safety in AI Systems: SMT-Based Verification of Deep Neural Networks
* Guy Van den Broeck: Reasoning About the Probabilistic Behavior of Classifiers
* Joao Marques-Silva: Formal Reasoning Methods in Machine Learning
Explainability
* Sameer Singh: Explaining Machine Learning Predictions

Registration is open now:
https://www.eventbrite.at/e/cpaior-2021-tickets-157582576729

Best regards,

CPAIOR 2021 Organizing Committee
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************