Seminar
Winter Term 2023/2024
News
- 06.02.
- The starting time is published.
- 11.01.
- The Presentations will take place during the exam period. A date for the paper deadline is also added.
- 01.12.
- We will have example presentations from Sören and Anton on 10th of January.
- 24.11.
- We published the presentation schedule.
Organisation
During the winter term of 2023/2024, the Institute of Theoretical Computer Science offers a seminar on Theoretical
Computer Science, headed by Prof. Dr. Roland Meyer.
The seminar is organized by Jakob Tepe.
-
The kickoff meeting will take place on the 1st of November at 16:00 in room IZ 358.
-
Attending the kickoff meeting is not binding.
To fully register for the seminar, you have to sign a document until 06.11.23.
You can do so either during the kickoff meeting or at our secretariat.
In the latter case, please make an appointment with our secretary Andrea Soleinsky (a.soleinsky@tu-bs.de).
-
We give topics to at most 10 students.
-
This is a joint seminar for Bachelor's and Master's students of computer science.
Presentation Schedule
-
10.01.24: Example Presentations from Sören and Anton
-
26.02.24, 15:30: Hoare Logic, Incorrectness Logic, Owicki-Gries, and Unrealizability Logic
-
27.02.24, 15:00: Flows, SyGuS, Decision Procedure Combination with Nelson-Oppen, BMC with Memory Models as Modules, and Static Analysis of Memory Models for SMT Encodings
-
28.02.24, 13:00: CAAT: Consistency As A Theory, GenMC, Kater: Automating Weak Memory Model Metatheory and Consistency Checking, and Cyclic Proofs
Requirements
You will have to
- prepare and give a talk of 30 minutes (including questions) during the lecture period, and
- write a seminar paper in English or German, max. 10 pages using the LIPIcs LaTeX style until
31.03.24 .
Supervision
Each seminar topic is assigned a member of the Institute for Theoretical Computer Science as advisor.
In case you have questions, you can contact them.
There will be regular meetings with your advisor, in particular before you hand in the paper and before you give the
presentation.
