Every Tuesday, the mathematical logic seminar at Stanford convenes to hear lectures and discussion from scholars both local and distant. Topics of lectures to the seminar range broadly over mathematical logic, philosophical logic, logics of knowledge and belief, and logical aspects of computer science and linguistics among others.
The seminar is led by Professor Thomas Icard.
To stay abreast of current events, you may subscribe to our mailing list by sending an email to: logical-methods-subscribe AT lists DOT stanford DOT edu
Note: As the seminar pages are being imported to this new website, you may consult the old listings if you find a broken link here.