The impact of Artificial Intelligence on our lives is growing by the day, yet much remains to be done to make it trustworthy. A research community is emerging at the intersection of Artificial Intelligence and Machine Learning, on the one hand, and Formal Methods, Programming Systems, and Control Theory, on the other, with the goal of combining the power of AI systems with provable guarantees of safety and trustworthiness given by formal methods for system design, verification, and synthesis. In recent years, even as practical tools have emerged for the verification and testing of AI systems, several major challenges remain, pointing to a lack of a theoretical foundation. The goal of this Simons workshop is to bring together these different research communities to lay the theoretical foundations of Trustworthy AI.

If you require special accommodation, please contact our access coordinator at simonsevents [at] berkeley.edu with as much advance notice as possible.