This website is no longer updated.

As of 1.10.2022, the Faculty of Physics has been merged into the TUM School of Natural Sciences with the website https://www.nat.tum.de/. For more information read Conversion of Websites.

de | en

Functional Programming and Verification

Exam IN0003 in WS 2021/2

Assignment to Modules

Current Exam Dates of Equivalent Exams

There are no current dates for this exam published in TUMonline which are equivalent to the exam above.

Title
DateLocationInfoRegistration
Functional Programming and Verification
2001
0001
Audimax
001A
002
2001
0001
101
00.02.001
003
2501
004

Historic Dates

For your information previous exam dates equivalent to the above are given.

Title
DateLocationInfoRegistration
Functional Programming and Verification in WS 2019/20
Sat, 2020-02-08, 13:00 till 15:00 0001
2001
5508.01.801
00.02.001
101
004
003
Import till 2020-01-15 (cancelation of registration till 2020-02-01)
Functional Programming and Verification in SS 2020
Sat, 2020-07-04, 10:45 till 12:45 https://www.tum.de/die-tum/aktuelles/coronavirus/pruefungen Prüfungsart: elektronische Übungsleistung/ graded online exercise till 2020-06-18 (cancelation of registration till 2020-06-22)
Functional Programming and Verification in WS 2020/1
Fri, 2021-02-26, 17:00 till 19:00 graded online exercise https://www.tum.de/die-tum/aktuelles/coronavirus/corona-lehre-pruefungen/ till 2021-01-15 (cancelation of registration till 2021-02-19)
Wed, 2021-03-31, 8:00 till 10:00 graded online exercise https://www.tum.de/die-tum/aktuelles/coronavirus/corona-lehre-pruefungen/ till 2021-03-22 (cancelation of registration till 2021-03-24)
Functional Programming and Verification in WS 2021/2
Fri, 2022-02-25, 17:00 till 19:00 0.001
elektronische Fernprüfung https://www.in.tum.de/fuer-studierende/coronavirus/ till 2022-01-15 (cancelation of registration till 2022-02-18)
Tue, 2022-04-12, 8:00 till 10:00 0.001
elektronische Fernprüfung https://www.in.tum.de/fuer-studierende/coronavirus/ till 2022-04-04 (cancelation of registration till 2022-04-05)
Functional Programming and Verification in SS 2022
Sat, 2022-08-13, 10:45 till 12:15 online till 2022-07-10 (cancelation of registration till 2022-08-06)
Tue, 2022-10-11, 13:15 till 15:15 online till 2022-09-26 (cancelation of registration till 2022-10-04)
Top of page