Seminar SMT Solving Semester 2025 / 2026
In this Seminar we will discuss case-studies and recent technical developments of SMT solving.
The seminar will happen on Tuesdays from 18:00 (st) to 20:00:
- on the first Tuesday of the semester to present the seminar (takes usually less than one hour);
- two weeks later, after everyone got into a seminar, to match people with a paper and a presentation on how to give a talk (around one hour) – don’t forget to vote for your favorite paper;
- the last 4 Tuesdays of the semester where every one presents (3 presentations per session, takes two hours) – you have attend all talks!
In this course are involved (at least) Prof Dr. Armin Biere, Dr. Mathias Fleury, Alexander Konrad, Dr. Jan Onderka, Franz-Xaver Reichl, Dr. Andre Schidler, Prof Dr. Christoph Scholl, and Dr. 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 mentionned German).
You find the proposal for topics / papers on our Nextcloud available through ILIAS. The preliminary Kick-off slides are available.