Waterloo Artificial Intelligence Institute

Waterloo ML+Logic Colloquium

Waterloo Cybersecurity and Privacy Institute

Combinations of ML and Logic

This online colloquia is on the following topics and open to anyone who is interested:

Join Our Group

Join our group in order to be notified about upcoming talks. Subscribe in order to add upcoming talks to your calendar.

Upcoming Talks

Date Author Name Author Affiliation Talk Title/Slides More Info
Monday, January 25th, 2021 @ 4PM EST Shai Ben-David U. of Waterloo Fairness in machine learning Link
Monday, February 1st, 2021 @ 4PM EST Shai Ben-David U. of Waterloo Clustering Link
Monday, February 8th, 2021 @ 4PM EST Shai Ben-David U. of Waterloo Independence from ZFC result Link
Monday, February 15th, 2021 @ 4PM EST Gagandeep Singh U. of Illinois Certified artificial intelligence Link
Monday, February 22nd, 2021 @ 4PM EST Mikoláš Janota U. of Lisbon TBA Link
Monday, March 8th, 2021 @ 4PM EST Stanley Bak Stony Brook U. Formal Verification for Neural Networks and Cyber-Physical Systems with Reachability Methods Link
Monday, April 12th, 2021 @ 4PM EST Krishnaram Kenthapadi Amazon AWS AI Fairness, Explainability, and Privacy in AI/ML Systems Link