Formal Methods in Security - Einzelansicht

Zurück

Grunddaten
Veranstaltungsart	Weiterführende Vorlesung	Langtext
Veranstaltungsnummer	147458	Kurztext
Semester	WiSe 2023/24	SWS
Erwartete Teilnehmer/-innen		Max. Teilnehmer/-innen
Turnus		Veranstaltungsanmeldung	Keine Veranstaltungsbelegung im LSF
Credits
Weitere Links	https://cms.cispa.saarland/fms_2324
Sprache	Englisch

Termine Gruppe:
	Tag	Zeit	Turnus	Dauer	Raum	Raum- plan	Lehrperson	Status	Bemerkung	fällt aus am	Max. Teilnehmer/-innen
	Do.	14:00 bis 16:00	woch						Geb. E9 1, Raum 0.05

Gruppe :

vormerken

Studiengänge
Abschluss	Studiengang	Semester	Prüfungsversion	ECTS
Bachelor (KB)	Cybersecurity (engl.)	-	20211	6
Master (KB)	Cybersecurity	-	20211	6
Bachelor (KB)	Cybersicherheit	-	20201	6
Bachelor (KB)	Cybersicherheit	-	20141	6
Master (KB)	Entrep. Cybersecurity	-	20181	6
LA Sekundarstufe I und II	Informatik	-	20201	6
Bachelor (KB)	Informatik	-	20201	6
Bachelor (KB)	Medieninformatik	-	20201	6
Master (KB)	Medieninformatik	-	20201	6
Bachelor (KB)	Computer Science (engl.)	-	20211	6
Master (KB)	Embedded Systems	-	20161	6
Master (KB)	Mathematik und Informatik	-	20161	6
Bachelor (KB)	Mathematik und Informatik	-	20161	6
Bachelor (KB)	Informatik	-	20151	6
Master (KB)	Medieninformatik	-	20131	6
LA Sekundarstufe I und II	Informatik	-	20121	6
Bachelor (KB)	Medieninformatik	-	20131	6
Master (KB)	Informatik	-	20151	6
Bachelor (KB)	Mathematik und Informatik	-	20201	6
LA beruf.Schulen	Informatik	-	20221	6
LA Sekundarstufe I und II	Informatik	-	20221	6

Zuordnung zu Einrichtungen
Informatik

Inhalt
Kurzkommentar	Please note, the lecture will be counted for the winter semester 2022/23 - not for the summer semester 2023!

Strukturbaum

Keine Einordnung ins Vorlesungsverzeichnis vorhanden. Veranstaltung ist aus dem Semester WiSe 2023/24 , Aktuelles Semester: SoSe 2024

	Service & Support
	Bei Fragen, Fehlermeldungen oder Verbesserungsvorschlägen nutzen Sie bitte unsere zentrale Service-Kontaktestelle.