Seminar Formal Methods (WS 2021/22)

Course Number 705102 | Wintersemester 2021/22

Content

Current research topics in formal methods, (e.g., model checking, verification, decision procedures, logic synthesis, property synthesis, etc.), and applications of formal methods to security and artificial intelligence.

Administrative Information

Previous Knowledge

Prerequisites Curriculum

See position in the curriculum

Objective

Thorough understanding of one current research topic.

Language

English

Teaching Method

Based on current papers or a textbook, students will make seminar style presentations and hold discussions.

How to get a grade

Active participation at discussions and own presentation.

Registration

Registration and participation are possible at any time, also during the semester or holidays. Please contact the lecturer Prof. Roderick Bloem. https://online.tugraz.at/tug_online/sa.gruppen_einteilung?clvnr=257722&corg=983

Lecture Dates

Date Begin End Location Event Type Comment
2021/10/11 08:15 09:00 STUD.EDV-RAUM Abhaltung SE fix/
2021/10/11 08:15 09:00 STUD.EDV-RAUM Abhaltung SE fix/

Lecturers

Roderick Bloem
Roderick
Bloem

Professor

View more