264-5811-00L Programming Systems Seminar
Semester | Spring Semester 2019 |
Lecturers | P. Müller, M. Vechev |
Periodicity | yearly recurring course |
Course | Does not take place this semester. |
Language of instruction | English |
Comment | 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. |
Courses
Number | Title | Hours | Lecturers | |
---|---|---|---|---|
264-5811-00 S | Programming Systems Seminar
Does not take place this semester. Permission from lecturers required for all students. | 2 hrs | P. Müller, M. Vechev |
Catalogue data
Abstract | 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. |
Learning objective | Learn about current research results in the area of programming languages, static program analysis, program verification, and related areas; practice of scientific presentations. |
Content | The seminar will explore different topics from a research perspective. |
Lecture notes | Supporting material will be distributed during the seminar. |
Prerequisites / Notice | 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. |
Performance assessment
Performance assessment information (valid until the course unit is held again) | |
Performance assessment as a semester course | |
ECTS credits | 2 credits |
Examiners | P. Müller, M. Vechev |
Type | ungraded semester performance |
Language of examination | English |
Repetition | Repetition only possible after re-enrolling for the course unit. |
Learning materials
Main link | Information |
Only public learning materials are listed. |
Groups
No information on groups available. |
Restrictions
General | : Special students and auditors need a special permission from the lecturers Permission from lecturers required for all students |
Offered in
Programme | Section | Type | |
---|---|---|---|
Doctoral Department of Computer Science | Doctoral and Post-Doctoral Courses | W |