**PLEASE NOTE UPDATED TIME**
In this lecture, I will explore automated methods in more detail, describing propositional theorem provers, first-order theorem provers, fast satisfiability methods, and the “satisfiability modulo theories” framework.
This lecture is part of the AMSI-CARMA Lecture Series “Mathematical Logic & Philosophy”
To participate in this seminar:
This lecture series will be available on the Internet via SeeVogh: you can download and install the client for free at www.seevogh.com. It is recommended that you try it out with the test meeting number which is 7532474432. To take part in the lectures, please email Andrew Danson, who will provide the meeting numbers for the sessions, or check the CARMA event website periodically.