| Thema | BA | MA | Hilfskraft | Veröffentlichung„Zuletzt geändert <span style="font-size:small;">(Modification date)</span>“ ist ein softwareseitig fest definiertes Attribut, das das Datum der letzten Änderung einer Seite speichert. Es wird von Semantic MediaWiki zur Verfügung gestellt. |
|---|
| Building a Benchmark for LLM-assisted Formal Verification | X | | | Mo 10. November 2025 |
| The Structure of Design Argumentations in Code Changes | X | X | | Mi 3. Dezember 2025 |
| Utilizing Context to Improve LLM-assisted Formal Verification | | X | | Di 21. Oktober 2025 |
