Zur Seitennavigation oder mit Tastenkombination für den accesskey-Taste und Taste 1 
Zum Seiteninhalt oder mit Tastenkombination für den accesskey und Taste 2 
Hochschul-Informations-System eG
Startseite    Anmelden    SoSe 2021      Umschalten in deutsche Sprache / Switch to english language      Sitemap

Advanced Topics in Computational Type Theory - Einzelansicht

Zurück
  • Funktionen:
Grunddaten
Veranstaltungsart Weiterführende Vorlesung Langtext
Veranstaltungsnummer 126776 Kurztext
Semester WiSe 2020/21 SWS
Erwartete Teilnehmer/-innen Max. Teilnehmer/-innen
Turnus Veranstaltungsanmeldung Keine Veranstaltungsbelegung im LSF
Credits
Weitere Links https://courses.ps.uni-saarland.de/atctt_20/
Sprache englisch
Termine Gruppe: iCalendar Export für Outlook
  Tag Zeit Turnus Dauer Raum Raum-
plan
Lehrperson Status Bemerkung fällt aus am Max. Teilnehmer/-innen
Einzeltermine anzeigen
iCalendar Export für Outlook
Mi. 12:15 bis 13:00 woch von 04.11.2020        online  
Einzeltermine ausblenden
iCalendar Export für Outlook
Do. 12:15 bis 13:00 woch von 05.11.2020        online  
Einzeltermine:
  • 05.11.2020
  • 12.11.2020
  • 19.11.2020
  • 26.11.2020
  • 03.12.2020
  • 10.12.2020
  • 17.12.2020
  • 24.12.2020
  • 31.12.2020
  • 07.01.2021
  • 14.01.2021
  • 21.01.2021
  • 28.01.2021
  • 04.02.2021
Gruppe :
 
 


Zugeordnete Person
Zugeordnete Person Zuständigkeit
Smolka, Gert , Univ.-Prof. Dr. rer. nat.
Studiengänge
Abschluss Studiengang Semester Prüfungsversion Kommentar LP BP ECTS
Master (KB) Entrep. Cybersecurity - 20181 6 6
Master (KB) Embedded Systems - 20161 6 6
Master (KB) Mathematik und Informatik - 20161 6 6
Bachelor (KB) Mathematik und Informatik - 20161 6 6
Bachelor (KB) Informatik - 20151 6 6
Master (KB) Medieninformatik - 20131 6 6
LA beruf.Schulen Informatik - 20121 6 6
LA Sekundarstufe I und II Informatik - 20121 6 6
Bachelor (KB) Medieninformatik - 20131 6 6
Master (KB) Informatik - 20151 6 6
Bachelor (KB) Mathematik und Informatik - 20201 6 6
LA beruf.Schulen Informatik - 20201 6 6
LA Sekundarstufe I und II Informatik - 20201 6 6
Bachelor (KB) Informatik - 20201 6 6
Bachelor (KB) Medieninformatik - 20201 6 6
Master (KB) Medieninformatik - 20201 6 6
Zuordnung zu Einrichtungen
Informatik

Strukturbaum
Keine Einordnung ins Vorlesungsverzeichnis vorhanden. Veranstaltung ist aus dem Semester WiSe 2020/21 , Aktuelles Semester: SoSe 2021