Logic and Verification Seminar (Summer Semester 2019)

The aim of the seminar is to read specific topics (from original articles, possibly with assistance of textbooks and online materials) in the field of logic and verification including the following possible topics, to name a few and in the broadest possible sense: Advanced bachelor and masters students of TUK are welcome.


Teaching Team

This is a course that is moderated by AG Anthony Lin (Automated Reasoning). Additional teaching members include Daniel Neider and Kaushik Malik (MPI-SWS), who will be available to help advise students and organize for events.


Assessments are based on presentation and productions of written materials (slides/reports). Attendance of the kickoff meeting and at least five other presentations (not including own presentation) is required.


Anthony Widjaja Lin

Last Modified: April 2019