Institutsseminar/2025-02-21

Aus SDQ-Institutsseminar
Version vom 23. September 2024, 08:47 Uhr von Thomas Weber (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Termin |datum=2025-02-21T14:30:00.000Z |raum=Raum 010 (Gebäude 50.34) }}“)
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)
Termin (Alle Termine)
Datum Freitag, 21. Februar 2025
Uhrzeit 14:30 – 16:00 Uhr (Dauer: 90 min)
Ort Raum 010 (Gebäude 50.34)
Webkonferenz
Vorheriger Termin Fr 14. Februar 2025
Nächster Termin Fr 6. Juni 2025

Termin in Kalender importieren: iCal (Download)

Vorträge

Vortragende(r) Adrian Freund
Titel Metamodeling with JSON
Vortragstyp Masterarbeit
Betreuer(in) Thomas Weber
Vortragssprache Deutsch
Vortragsmodus in Präsenz
Kurzfassung Kurzfassung
Vortragende(r) Fatma Chebbi
Titel Verification of Quantitative Information Flow Security Using Statistical Model Checking
Vortragstyp Masterarbeit
Betreuer(in) Christopher Gerking
Vortragssprache Deutsch
Vortragsmodus in Präsenz
Kurzfassung Kurzfassung
Neuen Vortrag erstellen

Hinweise

Abgerufen von „https://sdq.kastel.kit.edu/mediawiki-institutsseminar/index.php?title=Institutsseminar/2025-02-21&oldid=3064“