SDQ-Proposal-Seminar
Im SDQ-Proposal-Seminar finden Proposalvorträge für Abschlussarbeiten statt, damit sich die Studierenden kennenlernen und sich gegenseitig Hinweise zu den bearbeiteten Themen geben können. Im SDQ-Proposal-Seminar werden die Proposals aller Abschlussarbeiten vorgestellt, die an den Forschungsgruppen von SDQ angefertigt werden.
Das SDQ-Proposal-Seminar findet üblicherweise an jedem 2. und 4. Montag im Monat von 11:30–13:00 Uhr im Seminarraum 348 im Gebäude 50.34 (Informatikgebäude) statt. Sollte dies ein Feiertag sein, kann auf einen weiteren Montag ausgewichen werden. Für jeden Vortrag sind 12 Minuten + 8 Minuten Diskussion eingeplant (vgl. Umfang von Vorträgen). Sollte der Bedarf bestehen, können bis zu vier Vorträge an einem Termin untergebracht werden (mit Pufferzeiten).
Vorträge müssen mindestens eine Woche vorher hier im Wiki eingetragen werden. Liegt also fünf Tage vor einem Termin keine Eintragung vor, so findet der Termin nicht statt. Am Donnerstag vor dem SDQ-Proposal-Seminar wird automatisch eine Einladungsmail verschickt.
Das Eintragen eines Termins ist verbindlich: Andere Vorträge müssen, wenn ein Termin voll ist, in spätere Monate geschoben werden, oder Sondertermine müssen eingetragen werden. Bitte tragt Termine also nicht leichtfertig wieder aus, insbesondere nicht kurzfristig. Falls doch, gebt bitte dem/der Beauftragten Bescheid, damit ggf. andere nachrücken können. Der Titel der Arbeit kann noch vorläufig sein, allerdings muss er für die auf den Proposal-Vortrag folgende offizielle Anmeldung festgelegt werden und kann danach nur noch auf Antrag geändert werden.
Dieses SDQ-Proposal-Seminar ist, wie das SDQ-Institutsseminar (bei Vorträgen von SDQ-Forschungsgruppen), verpflichtend für alle Abschlussarbeiter/-innen (Bachelor-/Masterarbeiten). Hilfskräfte am KIT und am FZI sind eingeladen zu kommen. Die Betreuenden der Arbeiten nehmen ebenfalls teil und protokollieren die Anwesenden. Weitere Mitarbeitende von KIT und FZI nehmen ebenfalls teil. Das Seminar findet auf Wunsch hybrid mit online zugeschalteten Teilnehmenden statt. Bitte dies den Betreunden rechtzeitig mitteilen, damit die notwendigen Geräte aufgebaut werden.
Die Studierenden müssen keine Probevorträge für die Proposal-Vorträge bei den Betreuenden machen, die Betreuenden sollten allerdings vorher einen Blick auf die Folien werfen. Die Studierenden müssen die Vortragshinweise beachten.
Die Seminare finden üblicherweise vor Ort statt; in Ausnahmefällen ist eine Remote-Teilnahme möglich. Englischsprachige Vorträge sollten am Anfang des Seminars stattfinden, damit englischsprachige Zuhörende vor dem deutschen Teil dann früher gehen können.
Abschlussvorträge finden im SDQ-Institutsseminar statt.
Zukünftige Termine
Alle zukünftigen Termine als iCal (Download)
Montag, 18. Mai 2026, 11:30–13:00 Uhr
Gebäude 50.34, Raum 010
| Vortragende/-r | Titel | Typ | Betreuer/-in | Sprache |
|---|---|---|---|---|
| Franziska Bachhofer | View Type Conformity in Model-Driven Development | Bachelorarbeit | Lars König | Deutsch |
| Jean Mathes | Componentization of Model Consistency Rules | Masterarbeit | Lars König | Englisch |
| Konrad Melles | LLM-based Documentation Generation from Software Development Artifacts | Masterarbeit | Jan Keim Tobias Hey | Englisch |
| Sofia Tuzsuzova | A Metamodel for representing and extracting Legal Knowledge from Ontologies | Bachelorarbeit | Nicolas Boltz Benjamin Arp | Deutsch |
Freitag, 22. Mai 2026, 11:30–13:00 Uhr
Gebäude 50.34, Raum 348
| Vortragende/-r | Titel | Typ | Betreuer/-in | Sprache |
|---|---|---|---|---|
| Ella Schroff | A Metric-Driven Approach for Comparing Change Propagation Across Branches | Bachelorarbeit | Martin Armbruster Raziyeh Dehghani | Englisch |
| Felix Anschütz | Feature-Annotated Reactions | Bachelorarbeit | Fabian Eger | |
| Jing Wang | AI Planning for Consistency Repair | Bachelorarbeit | Benedikt Jutz Bowen Jiang | Englisch |
| Manuel Córcoles | Leveraging Structural Context for Improved Retrieval in Model-Driven Systems | Master's thesis | Julian Roßkothen | Englisch |
Montag, 8. Juni 2026, 11:30–13:00 Uhr
Gebäude 50.34, Raum 348
| Vortragende/-r | Titel | Typ | Betreuer/-in | Sprache |
|---|---|---|---|---|
| Fabian Reinbold | Development Effort Prioritization under Uncertainty | Masterarbeit | Nathan Hagel | Deutsch |
| Jamie Klein | TBA | Masterarbeit | Nicolas Boltz Leonie Sterz | Deutsch |
| Kevin Wiesner | TBA | Masterarbeit | Jan Keim | Deutsch |
| Manuel Lutzi | TBA | Bachelorarbeit | Martin Armbruster | Deutsch |
Montag, 15. Juni 2026, 11:30–13:00 Uhr
Gebäude 50.34, Raum 348
| Vortragende/-r | Titel | Typ | Betreuer/-in | Sprache |
|---|---|---|---|---|
| Christian Ilzhöfer | TBA | Bachelorarbeit | Nathan Hagel Robin Maisch | |
| Johannes von Geisau | TBA | Masterarbeit | Jan Keim | Deutsch |
| Kirill Dyachenko | TBA | Bachelorarbeit | Bowen Jiang Weixing Zhang | Englisch |
| Niklas Hermerding | Building a Benchmark for LLM-assisted Formal Verification | Bachelorarbeit | Dominik Fuchß Tobias Hey | Englisch |
Montag, 22. Juni 2026, 11:30–13:00 Uhr
Gebäude 50.34, Raum 348
| Vortragende/-r | Titel | Typ | Betreuer/-in | Sprache |
|---|---|---|---|---|
| Amir Yeschanov | LLM-Assisted Style Customization of Xtext-Based DSLs | Bachelorarbeit | Bowen Jiang Weixing Zhang | Englisch |
| Jonas Scholl | TBA | Bachelorarbeit | Nathan Hagel Robin Maisch |
Neuen Termin anlegen
Bitte melde Dich mit Deinen KIT-Zugangsdaten an. Falls Du trotz Anmeldung diese Meldung siehst, bitte eine/-n Wissensmanager/-in darum, Dich zur richtigen Gruppe hinzuzufügen.
- Prüfen, ob der gewünschte Raum auch tatsächlich frei ist (siehe internes Wiki) und im jeweiligen Kalender eintragen.
- Termin in den Gruppenkalender eintragen und die Gruppe einladen.
Vergangene Termine
Vergangene Termine sind im Archiv zu finden.