Alle öffentlichen Logbücher
Dies ist die kombinierte Anzeige aller in SDQ-Institutsseminar geführten Logbücher. Die Ausgabe kann durch die Auswahl des Logbuchtyps, des Benutzers oder des Seitentitels eingeschränkt werden (Groß-/Kleinschreibung muss beachtet werden).
- 09:18, 29. Jul. 2022 Sandro Koch Diskussion Beiträge erstellte die Seite Institutsseminar/2022-09-21 (Die Seite wurde neu angelegt: „{{Termin |datum=2022-09-21T08:18:39.017Z |raum=Raum 348 (Gebäude 50.34) }}“)
- 12:19, 13. Jul. 2022 Sandro Koch Diskussion Beiträge erstellte die Seite Identification and refactoring of bad smells in model-based analyses (Die Seite wurde neu angelegt: „{{Vortrag |vortragender=Martin Wittlinger |email=ubogv@student.kit.edu |vortragstyp=Masterarbeit |betreuer=Sandro Koch |termin=Institutsseminar/2022-09-23 |vor…“)
- 12:18, 13. Jul. 2022 Sandro Koch Diskussion Beiträge erstellte die Seite Institutsseminar/2022-09-23 (Die Seite wurde neu angelegt: „{{Termin |datum=2022-09-23T12:00:00.000Z |raum=Raum 348 (Gebäude 50.34) }}“)
- 14:05, 11. Jul. 2022 Sandro Koch Diskussion Beiträge erstellte die Seite Eine verbesserte Schnittstelle für interaktive Beweise in Separation Logic (Die Seite wurde neu angelegt: „{{Vortrag |vortragender=Lars König |email=lars.koenig@student.kit.edu |vortragstyp=Vortrag |betreuer=Ralf Reussner |termin=Institutsseminar/2022-07-15 |vortra…“)
- 14:03, 11. Jul. 2022 Sandro Koch Diskussion Beiträge erstellte die Seite Institutsseminar/2022-07-15 (Die Seite wurde neu angelegt: „{{Termin |datum=2021-01-01T14:00:00.000Z |raum=MS Teams }}“)
- 09:05, 29. Jul. 2021 Sandro Koch Diskussion Beiträge erstellte die Seite Institutsseminar/2021-10-29 (Die Seite wurde neu angelegt: „{{Termin |datum=2021/01/01 14:00:00 |raum=Raum 348 (Gebäude 50.34) }} <p style="color:red">Von Prof. Reussner und Prof. Koziolek können an diesem Tag keine V…“)
- 08:11, 26. Aug. 2019 Benutzerkonto Sandro Koch Diskussion Beiträge wurde automatisch erstellt