Combinations of ML and Logic
This online colloquia is on the following topics and open to anyone who is interested:
- Testing, Analysis, Verification, Security and Privacy (TAVSP) of ML systems
- Combinations of ML and Logic, e.g., NeuroSymbolic AI
- Use of ML in logic solvers and provers
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 |