Solvers, ML, Logic, Complexity

This online colloquia is on the following topics and open to anyone who is interested: * Theory, Algorithms, and Applications of SAT/SMT Solver * 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](https://groups.google.com/forum/#!forum/ml_logic_seminar/join){:target="_blank"} in order to be notified about upcoming talks. [Subscribe](https://calendar.google.com/calendar/u/1?cid=aTVqMmp2bDZkcnM1bzNpcmg3cGYwa2FyNGdAZ3JvdXAuY2FsZW5kYXIuZ29vZ2xlLmNvbQ){:target="_blank"} in order to add upcoming talks to your calendar.

Upcoming Talks

Date Author Name Author Affiliation Talk Title/Slides More Info
Monday, December 13th, 2021 @ 1PM EST Shyan Akmal Massachusetts Institute of Technology Majority-3SAT (and Related Problems) in Polynomial Time Link