Seminar Summer Semester 2026
The current plan is to offer two seminars.
Functional vs Imperative Data Structures
In this seminar you will present a paper on a functional data structure (including proofs like correctness, complexity). You should also implement an imperative version of the same implementation (with optimization and tricks like allocators, bit stuffing,…) and devise benchmarks where you compare the two implementations.
Each paper and implementation will be presented by a group of two people.
The presentation are planned for mid May to mid June.
Search Heuristics in Automated Reasoning
In this Seminar we will discuss case-studies and recent technical developments of heurisitc search in automated solving (like local search in various applications).
The seminar will happen on Tuesdays from 18:00 (s.t.) 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, Florian Pollitt, and Dr. Andre Schidler, 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 mentioned German).
Each paper will be presented by groups of two people and we expect you to create groups..
The presentation are planned for mid June to mid July.
You find the proposal for topics / papers on our Nextcloud available through ILIAS.
Important: This is an advanced seminar. Therefore, for Bachelor students, we require you to have attended and passed one of our advanced lecture (Automated reasoning, SAT solving, debugging and fuzzing, Isabelle, SMT solving seminar) – C++, TI, and computer architecture do not count as advanced lecture. Bachelor projects might count depending on the topic.