|
Seminar “Selected Topics in Logic and Verification” (0/2/0)Prof. Dr. BaierLanguage: EnglishDescriptionThis seminar is intended for third-semester students of the Master program Computational Logic or Master/Diploma program Informatik. The seminar addresses selected topics in model checking, temporal logics, automata theory and concurrency theory. DatesTo participate, please register using the form below until Sunday, April 9th, 2017. All registered students will be informed about the first meeting via email. PrerequisitesThe seminar addresses students that have profound knowledge in theoretical computer science and logics.
Examination
Creditability
RegistrationRegistration closed. ContactIn case of questions or problems please contact Dr. Klüppelholz. |
|