Course development
DD2552 Seminars on Theoretical Computer Science, Programming Languages and Formal Methods 7.5 credits
On this page, you can track the course's development over time. Once the course analysis is published, data for each course offering is displayed, including the number of registered students, course results, and planned improvements for the next session. All course syllabuses and course memos are shown on the page Archive.
The information can help prospective, current, and former students with course selection, or to follow up on their own participation. Teachers, course coordinators, examiners, program directors, and others can use the page as a resource for course development.
2025
Course analysis not published
2024
Course analysis not published
2023
semteo23 ( Start date 28 Aug 2023, English )
Changes planned for the next course offering
Coordinator
Karl PalmskogExaminers
Karl PalmskogStudents
5Course syllabus
Course syllabus DD2552 ( Autumn 2021 - )Course memo
No course memo addedCompulsory within programme
No information insertedCourse analysis
Course analysis DD2552: 24 Jun 2024Changes introduced for this course offering
The course changes topic for every course offering. This offering was about advanced functional programming, focusing on theoretical principles and practical application of functional programming languages in the ML family such as Standard ML and OCaml. The examination consisted of two sets of homework problems and the usual mandatory presentation of a research paper.Course data has been registered manually