**PLEASE NOTE UPDATED TIME**

In this lecture, I will describe the theory and technology behind contemporary proof assistants. I will discuss logical frameworks, proof languages, and the interaction with automated methods.

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.