264-5811-00L Programming Systems Seminar
| Semester | Frühjahrssemester 2019 |
| Dozierende | P. Müller, M. Vechev |
| Periodizität | jährlich wiederkehrende Veranstaltung |
| Lehrveranstaltung | Findet dieses Semester nicht statt. |
| Lehrsprache | Englisch |
| Kommentar | The seminar is open to assistants of the Chair of Programming Methodology and the Software Reliability Lab (Department of Computer Science). Others should contact the instructors. |
Lehrveranstaltungen
| Nummer | Titel | Umfang | Dozierende | |
|---|---|---|---|---|
| 264-5811-00 S | Programming Systems Seminar
 Findet dieses Semester nicht statt. Bewilligung der Dozierenden für alle Studierenden notwendig. | 2 Std. | P. Müller, M. Vechev |
Katalogdaten
| Kurzbeschreibung | This graduate seminar provides doctoral students in computer science a chance to read and discuss current research papers. Enrollment requires permission of the instructors. Credit units are granted only to active participants. |
| Lernziel | Learn about current research results in the area of programming languages, static program analysis, program verification, and related areas; practice of scientific presentations. |
| Inhalt | The seminar will explore different topics from a research perspective. |
| Skript | Supporting material will be distributed during the seminar. |
| Voraussetzungen / Besonderes | The seminar is open to assistants of the Chair of Programming Methodology and the Software Reliability Lab (Department of Computer Science). Others should contact the instructors. |
Leistungskontrolle
| Information zur Leistungskontrolle (gültig bis die Lerneinheit neu gelesen wird) | |
Leistungskontrolle als Semesterkurs | |
| ECTS Kreditpunkte | 2 KP |
| Prüfende | P. Müller, M. Vechev |
| Form | unbenotete Semesterleistung |
| Prüfungssprache | Englisch |
| Repetition | Repetition nur nach erneuter Belegung der Lerneinheit möglich. |
Lernmaterialien
| Hauptlink | Information |
| Es werden nur die öffentlichen Lernmaterialien aufgeführt. | |
Gruppen
| Keine Informationen zu Gruppen vorhanden. |
Einschränkungen
| Allgemein |  : Für Fachstudierende und Hörer/-innen ist eine Spezialbewilligung der Dozierenden notwendigBewilligung der Dozierenden für alle Studierenden notwendig |
Angeboten in
| Studiengang | Bereich | Typ | |
|---|---|---|---|
| Doktorat Departement Informatik | Lehrangebot Doktorat und Postdoktorat | W |  |