|
Seminar Curry-Howard Korrespondenz (SemCurry)
- Lecturers
- Dr. Tadeusz Litak, Dr. Daniel Gorin
- Details
- Seminar
2 cred.h, ECTS studies, ECTS credits: 5
geeignet als Schlüsselqualifikation, Sprache Englisch
Time and place: Thu 18:00 - 20:00, room tbd; comments on time and place: Seminarraum LS INF8, Martensstr. 3, 11. OG
starting 18.10.2013
Preliminary meeting: 18.10.2013, 14:00 - 16:00 Uhr
- Fields of study
- PF INF-MA ab 7 (ECTS-Credits: 5)
PF INF-BA-S ab 4 (ECTS-Credits: 5)
PF INF-BA-W ab 4 (ECTS-Credits: 5)
WF M-BA ab 4 (ECTS-Credits: 5)
WF M-MA ab 7
- ECTS information:
- Credits: 5
- Additional information
- Expected participants: 15, Maximale Teilnehmerzahl: 15
- Verwendung in folgenden UnivIS-Modulen
- Startsemester WS 2013/2014:
- Seminar Curry-Howard Korrespondenz (SemCurry)
- Department: Chair of Computer Science 8 (Theoretical Computer Science)
|
|
|