Seminar Automated Reasoning and Machine Learning Winter Semester 2023 / 2024
In this seminar we will discuss verification of hardware verification.
In this course are involved (at least) Prof Dr. Armin Biere, Dr. Mathias Fleury, Bernhard Gstrein, Alexander Konrad, Florian Pollitt, Prof Dr. Christoph Scholl, and Tobias Seufert to help student to give good and interesting presentation: you will have two or three individual meetings for that.
This lecture will be in English (even if at one point the HisInOne mentions german).
You find the proposal for topics / papers on our Nextcloud available through ILIAS.
Our seminar usually happen Tuesdays from 17:30 to 19:30 (building 51, R 00 026, 5 times: first week, first week after seminar assignements, and the last three weeks for the presentation). More details to come.