Zum Inhalt springen

Institutsseminar/2026-10-30 Zusatztermin

Aus SDQ-Institutsseminar
Termin (Alle Termine)
Datum Freitag, 30. Oktober 2026
Uhrzeit 14:00 – 15:30 Uhr (Dauer: 90 min)
Ort Raum 348 (Gebäude 50.34)
Prüfer/in Anne Koziolek
Webkonferenz
Vorheriger Termin Fr 16. Oktober 2026
Nächster Termin Fr 6. November 2026

Termin in Kalender importieren: iCal (Download)

Vorträge

Building a Benchmark for LLM-assisted Formal Verification
Vortragende(r) Niklas Hermerding
Vortragstyp Bachelorarbeit
Betreuer(in) Dominik Fuchß
Vortragssprache Englisch
Vortragsmodus in Präsenz
Kurzfassung Kurzfassung
LLM-Assisted Style Customization of Xtext-Based DSLs
Vortragende(r) Amir Yeschanov
Vortragstyp Bachelorarbeit
Betreuer(in) Weixing Zhang
Vortragssprache Englisch
Vortragsmodus in Präsenz
Kurzfassung Kurzfassung
LLM-getriebene Änderungspropagierung von architekturellen Leistungsmodellen nach Java
Vortragende(r) Manuel Lutzi
Vortragstyp Bachelorarbeit
Betreuer(in) Martin Armbruster
Vortragssprache Deutsch
Vortragsmodus in Präsenz
Kurzfassung Kurzfassung

Neuen Vortrag erstellen

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.

Hinweise