703025 PS Functional Programming

winter semester 2025/2026 | Last update: 28.05.2026 Place course on memo list
Department of Computer Science Department of Computer Science
Philipp Dablander, BSc Philipp Dablander, BSc
Joshua Tim Ocker, BSc Joshua Tim Ocker, BSc
Michael Knut Schaper, BSc MSc PhD Michael Knut Schaper, BSc MSc PhD, +43 512 507 53232
Lilly Fee Schönherr, BSc Lilly Fee Schönherr, BSc
assoz. Prof. Dr. René Thiemann assoz. Prof. Dr. René Thiemann, +43 512 507 53234
703025
PS Functional Programming
PS 1
2
weekly
annually
German

read and write functional programs; know pros and cons of functional programming

discussion, train the concepts of the lecture using a functional programming language, train functional programming

Continuous assessment (based on regular written and/or oral contribution by participants).

Course examination according to § 6, statute section on "study-law regulations"

Will be discussed in the first lesson.

None

https://lms.uibk.ac.at/url/RepositoryEntry/5933891905
http://cl-informatik.uibk.ac.at/teaching/ws25/fp/
see dates
Group 1
Export course dates of this group as iCalendar (.ics)
Help
Ocker J.
Date Time Location
Wed 2025-10-08
 10.00 - 10.45 rr 20 rr 20 Barrier-free
Wed 2025-10-15
 10.00 - 10.45 rr 20 rr 20 Barrier-free
Wed 2025-10-22
 10.00 - 10.45 rr 20 rr 20 Barrier-free
Wed 2025-10-29
 10.00 - 10.45 rr 20 rr 20 Barrier-free
Wed 2025-11-05
 10.00 - 10.45 rr 20 rr 20 Barrier-free
Wed 2025-11-12
 10.00 - 10.45 rr 20 rr 20 Barrier-free
Wed 2025-11-19
 10.00 - 10.45 rr 20 rr 20 Barrier-free
Wed 2025-11-26
 10.00 - 10.45 rr 20 rr 20 Barrier-free
Wed 2025-12-03
 10.00 - 10.45 rr 20 rr 20 Barrier-free
Wed 2025-12-10
 10.00 - 10.45 rr 20 rr 20 Barrier-free
Wed 2026-01-07
 10.00 - 10.45 rr 20 rr 20 Barrier-free
Wed 2026-01-14
 10.00 - 10.45 rr 20 rr 20 Barrier-free
Wed 2026-01-21
 10.00 - 10.45 rr 20 rr 20 Barrier-free
Wed 2026-01-28
 10.00 - 10.45 rr 20 rr 20 Barrier-free
Group 2
Export course dates of this group as iCalendar (.ics)
Help
Ocker J.
Date Time Location
Wed 2025-10-08
 11.00 - 11.45 rr 20 rr 20 Barrier-free
Wed 2025-10-15
 11.00 - 11.45 rr 20 rr 20 Barrier-free
Wed 2025-10-22
 11.00 - 11.45 rr 20 rr 20 Barrier-free
Wed 2025-10-29
 11.00 - 11.45 rr 20 rr 20 Barrier-free
Wed 2025-11-05
 11.00 - 11.45 rr 20 rr 20 Barrier-free
Wed 2025-11-12
 11.00 - 11.45 rr 20 rr 20 Barrier-free
Wed 2025-11-19
 11.00 - 11.45 rr 20 rr 20 Barrier-free
Wed 2025-11-26
 11.00 - 11.45 rr 20 rr 20 Barrier-free
Wed 2025-12-03
 11.00 - 11.45 rr 20 rr 20 Barrier-free
Wed 2025-12-10
 11.00 - 11.45 rr 20 rr 20 Barrier-free
Wed 2026-01-07
 11.00 - 11.45 rr 20 rr 20 Barrier-free
Wed 2026-01-14
 11.00 - 11.45 rr 20 rr 20 Barrier-free
Wed 2026-01-21
 11.00 - 11.45 rr 20 rr 20 Barrier-free
Wed 2026-01-28
 11.00 - 11.45 rr 20 rr 20 Barrier-free
Group 3
Export course dates of this group as iCalendar (.ics)
Help
Schönherr L.
Date Time Location
Wed 2025-10-08
 13.45 - 14.30 rr 15 rr 15 Barrier-free
Wed 2025-10-15
 13.45 - 14.30 rr 15 rr 15 Barrier-free
Wed 2025-10-22
 13.45 - 14.30 rr 15 rr 15 Barrier-free
Wed 2025-10-29
 13.45 - 14.30 rr 15 rr 15 Barrier-free
Wed 2025-11-05
 13.45 - 14.30 rr 15 rr 15 Barrier-free
Wed 2025-11-12
 13.45 - 14.30 rr 15 rr 15 Barrier-free
Wed 2025-11-19
 13.45 - 14.30 rr 15 rr 15 Barrier-free
Wed 2025-11-26
 13.45 - 14.30 rr 15 rr 15 Barrier-free
Wed 2025-12-03
 13.45 - 14.30 rr 15 rr 15 Barrier-free
Wed 2025-12-10
 13.45 - 14.30 rr 15 rr 15 Barrier-free
Wed 2026-01-07
 13.45 - 14.30 rr 15 rr 15 Barrier-free
Wed 2026-01-14
 13.45 - 14.30 rr 15 rr 15 Barrier-free
Wed 2026-01-21
 13.45 - 14.30 rr 15 rr 15 Barrier-free
Wed 2026-01-28
 13.45 - 14.30 rr 15 rr 15 Barrier-free
Group 4
Export course dates of this group as iCalendar (.ics)
Help
Thiemann R.
Date Time Location
Wed 2025-10-08
 14.45 - 15.30 rr 15 rr 15 Barrier-free
Wed 2025-10-15
 14.45 - 15.30 rr 15 rr 15 Barrier-free
Wed 2025-10-22
 14.45 - 15.30 rr 15 rr 15 Barrier-free
Wed 2025-10-29
 14.45 - 15.30 rr 15 rr 15 Barrier-free
Wed 2025-11-05
 14.45 - 15.30 rr 15 rr 15 Barrier-free
Wed 2025-11-12
 14.45 - 15.30 rr 15 rr 15 Barrier-free
Wed 2025-11-19
 14.45 - 15.30 rr 15 rr 15 Barrier-free
Wed 2025-11-26
 14.45 - 15.30 rr 15 rr 15 Barrier-free
Wed 2025-12-03
 14.45 - 15.30 rr 15 rr 15 Barrier-free
Wed 2025-12-10
 14.45 - 15.30 rr 15 rr 15 Barrier-free
Wed 2026-01-07
 14.45 - 15.30 rr 15 rr 15 Barrier-free
Wed 2026-01-14
 14.45 - 15.30 rr 15 rr 15 Barrier-free
Wed 2026-01-21
 14.45 - 15.30 rr 15 rr 15 Barrier-free
Wed 2026-01-28
 14.45 - 15.30 rr 15 rr 15 Barrier-free
Group 5
Export course dates of this group as iCalendar (.ics)
Help
Dablander P.
Date Time Location
Wed 2025-10-08
 15.45 - 16.30 rr 15 rr 15 Barrier-free
Wed 2025-10-15
 15.45 - 16.30 rr 15 rr 15 Barrier-free
Wed 2025-10-22
 15.45 - 16.30 rr 15 rr 15 Barrier-free
Wed 2025-10-29
 15.45 - 16.30 rr 15 rr 15 Barrier-free
Wed 2025-11-05
 15.45 - 16.30 rr 15 rr 15 Barrier-free
Wed 2025-11-12
 15.45 - 16.30 rr 15 rr 15 Barrier-free
Wed 2025-11-19
 15.45 - 16.30 rr 15 rr 15 Barrier-free
Wed 2025-11-26
 15.45 - 16.30 rr 15 rr 15 Barrier-free
Wed 2025-12-03
 15.45 - 16.30 rr 15 rr 15 Barrier-free
Wed 2025-12-10
 15.45 - 16.30 rr 15 rr 15 Barrier-free
Wed 2026-01-07
 15.45 - 16.30 rr 15 rr 15 Barrier-free
Wed 2026-01-14
 15.45 - 16.30 rr 15 rr 15 Barrier-free
Wed 2026-01-21
 15.45 - 16.30 rr 15 rr 15 Barrier-free
Wed 2026-01-28
 15.45 - 16.30 rr 15 rr 15 Barrier-free
Group 6
Export course dates of this group as iCalendar (.ics)
Help
Schaper M.
Date Time Location
Wed 2025-10-08
 16.45 - 17.30 rr 15 rr 15 Barrier-free
Wed 2025-10-15
 16.45 - 17.30 rr 15 rr 15 Barrier-free
Wed 2025-10-22
 16.45 - 17.30 rr 15 rr 15 Barrier-free
Wed 2025-10-29
 16.45 - 17.30 rr 15 rr 15 Barrier-free
Wed 2025-11-05
 16.45 - 17.30 rr 15 rr 15 Barrier-free
Wed 2025-11-12
 16.45 - 17.30 rr 15 rr 15 Barrier-free
Wed 2025-11-19
 16.45 - 17.30 rr 15 rr 15 Barrier-free
Wed 2025-11-26
 16.45 - 17.30 rr 15 rr 15 Barrier-free
Wed 2025-12-03
 16.45 - 17.30 rr 15 rr 15 Barrier-free
Wed 2025-12-10
 16.45 - 17.30 rr 15 rr 15 Barrier-free
Wed 2026-01-07
 16.45 - 17.30 rr 15 rr 15 Barrier-free
Wed 2026-01-14
 16.45 - 17.30 rr 15 rr 15 Barrier-free
Wed 2026-01-21
 16.45 - 17.30 rr 15 rr 15 Barrier-free
Wed 2026-01-28
 16.45 - 17.30 rr 15 rr 15 Barrier-free
Group 7
Export course dates of this group as iCalendar (.ics)
Help
Schaper M.
Date Time Location
Wed 2025-10-08
 17.45 - 18.30 rr 15 rr 15 Barrier-free
Wed 2025-10-15
 17.45 - 18.30 rr 15 rr 15 Barrier-free
Wed 2025-10-22
 17.45 - 18.30 rr 15 rr 15 Barrier-free
Wed 2025-10-29
 17.45 - 18.30 rr 15 rr 15 Barrier-free
Wed 2025-11-05
 17.45 - 18.30 rr 15 rr 15 Barrier-free
Wed 2025-11-12
 17.45 - 18.30 rr 15 rr 15 Barrier-free
Wed 2025-11-19
 17.45 - 18.30 rr 15 rr 15 Barrier-free
Wed 2025-11-26
 17.45 - 18.30 rr 15 rr 15 Barrier-free
Wed 2025-12-03
 17.45 - 18.30 rr 15 rr 15 Barrier-free
Wed 2025-12-10
 17.45 - 18.30 rr 15 rr 15 Barrier-free
Wed 2026-01-07
 17.45 - 18.30 rr 15 rr 15 Barrier-free
Wed 2026-01-14
 17.45 - 18.30 rr 15 rr 15 Barrier-free
Wed 2026-01-21
 17.45 - 18.30 rr 15 rr 15 Barrier-free
Wed 2026-01-28
 17.45 - 18.30 rr 15 rr 15 Barrier-free
Group 8
Export course dates of this group as iCalendar (.ics)
Help
Dablander P.
Date Time Location
Wed 2025-10-08
 16.45 - 17.30 rr 26 rr 26
Wed 2025-10-15
 16.45 - 17.30 rr 26 rr 26
Wed 2025-10-22
 16.45 - 17.30 rr 26 rr 26
Wed 2025-10-29
 16.45 - 17.30 rr 26 rr 26
Wed 2025-11-05
 16.45 - 17.30 rr 26 rr 26
Wed 2025-11-12
 16.45 - 17.30 rr 26 rr 26
Wed 2025-11-19
 16.45 - 17.30 rr 26 rr 26
Wed 2025-11-26
 16.45 - 17.30 rr 26 rr 26
Wed 2025-12-03
 16.45 - 17.30 rr 26 rr 26
Wed 2025-12-10
 16.45 - 17.30 rr 26 rr 26
Wed 2026-01-07
 16.45 - 17.30 rr 26 rr 26
Wed 2026-01-14
 16.45 - 17.30 rr 26 rr 26
Wed 2026-01-21
 16.45 - 17.30 rr 26 rr 26
Wed 2026-01-28
 16.45 - 17.30 rr 26 rr 26