The seminar is reactive, and the content will adapt to the wishes of the participating students.
The current suggestion is to investigate practical use of category theory for software development. The presentation will be self-sufficient. The student is recommended to consider taking INF223 Category Theory in parallel with this course.
INF328 is a 5 study point course available to Bachelor, Master and PhD students. Some programming background is needed. The course is small enough to be taken in addition to the regular study program, or it can be expanded with a selected reading to fill a regular slot in the studies.
The contents of the course is expected to change the next time it is provided.
There is no specific text book. The curriculum will consist of technical notes, possibly a few papers and discussions related to the material's content. Active student participation is expected, both in presenting sections of the papers and in the discussions.
The reading list will be provided as the course evolves.
Lecturer and course responsible: Magne Haveraaen
Teaching assistant: none