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 Solvers, ML, Logic, Complexity
Join our [group]( Join Our Grouphttps://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 |