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, April 19th, 2021 @ 4PM EST	Vivek Srikumar	U. of Utah	TBA	Link