L.079.05814 Type Systems for Correctness and Security (in English)

Veranstaltungsdetails

Lehrende: Dr. Ben Hermann

Veranstaltungsart: Vorlesung (mit Übung)

Orga-Einheit: Informatik

Anzeige im Stundenplan: TSCS

Unterrichtssprache: Englisch

Min. | Max. Teilnehmerzahl: - | -

Kleingruppe(n)
Die Veranstaltung ist in die folgenden Kleingruppen aufgeteilt:

  • Type Systems for Correctness and Security - Tutorial

    Dr. Ben Hermann

    Di, 2. Apr. 2019 [14:00]-Di, 9. Jul. 2019 [16:00]

    Kleingruppe anzeigen
Termine
Datum Von Bis Raum Lehrende
1 Mi, 10. Apr. 2019 08:00 11:00 F 0 530 Dr. Ben Hermann
2 Mi, 17. Apr. 2019 08:00 11:00 F 0 530 Dr. Ben Hermann
3 Mi, 24. Apr. 2019 08:00 11:00 F 0 530 Dr. Ben Hermann
4 Mi, 8. Mai 2019 08:00 11:00 F 0 530 Dr. Ben Hermann
5 Mi, 15. Mai 2019 08:00 11:00 F 0 530 Dr. Ben Hermann
6 Mi, 22. Mai 2019 08:00 11:00 F 0 530 Dr. Ben Hermann
7 Mi, 29. Mai 2019 08:00 11:00 F 0 530 Dr. Ben Hermann
8 Mi, 5. Jun. 2019 08:00 11:00 F 0 530 Dr. Ben Hermann
9 Mi, 12. Jun. 2019 08:00 11:00 F 0 530 Dr. Ben Hermann
10 Mi, 19. Jun. 2019 08:00 11:00 F 0 530 Dr. Ben Hermann
11 Mi, 26. Jun. 2019 08:00 11:00 F 0 530 Dr. Ben Hermann
12 Mi, 3. Jul. 2019 08:00 11:00 F 0 530 Dr. Ben Hermann
13 Mi, 10. Jul. 2019 08:00 11:00 F 0 530 Dr. Ben Hermann
Enthalten in Modulen
Modul
M.079.3112 Sprachen und Programmiermethoden (2009) (WS 2014/15, WS 2014/15)
M.079.3115 Analytische Methoden des Software Engineering (2009) (WS 2014/15, WS 2014/15)
M.079.3116 Konstruktive Methoden des Software Engineering (2009) (WS 2014/15, WS 2014/15)
M.079.4050 Type Systems for Correctness and Security (WS 2013/14)
Veranstaltungseigene Prüfungen
Beschreibung Datum Lehrende Pflicht
1. Prüfungsleistung k.Terminbuchung Ja
2. Prüfungsleistung (2. Termin) k.Terminbuchung Ja
Übersicht der Kurstermine
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
  • 13
  •  
  •  
Lehrende
Dr. Ben Hermann