Section: Exam | Formal Methods in Software Development (WS 2025/26) | RISC

Calendar

Monday	Tuesday	Wednesday	Thursday	Friday	Saturday	Sunday
						No events, Sunday, 1 March No events, Sunday, 1 March
No events, Monday, 2 March No events, Monday, 2 March	No events, Tuesday, 3 March No events, Tuesday, 3 March	No events, Wednesday, 4 March No events, Wednesday, 4 March	No events, Thursday, 5 March No events, Thursday, 5 March	No events, Friday, 6 March No events, Friday, 6 March	No events, Saturday, 7 March No events, Saturday, 7 March	No events, Sunday, 8 March No events, Sunday, 8 March
No events, Monday, 9 March No events, Monday, 9 March	No events, Tuesday, 10 March No events, Tuesday, 10 March	No events, Wednesday, 11 March No events, Wednesday, 11 March	No events, Thursday, 12 March No events, Thursday, 12 March	No events, Friday, 13 March No events, Friday, 13 March	No events, Saturday, 14 March No events, Saturday, 14 March	No events, Sunday, 15 March No events, Sunday, 15 March
No events, Monday, 16 March No events, Monday, 16 March	No events, Tuesday, 17 March No events, Tuesday, 17 March	No events, Wednesday, 18 March No events, Wednesday, 18 March	No events, Thursday, 19 March No events, Thursday, 19 March	No events, Friday, 20 March No events, Friday, 20 March	No events, Saturday, 21 March No events, Saturday, 21 March	No events, Sunday, 22 March No events, Sunday, 22 March
No events, Monday, 23 March No events, Monday, 23 March	No events, Tuesday, 24 March No events, Tuesday, 24 March	No events, Wednesday, 25 March No events, Wednesday, 25 March	No events, Thursday, 26 March No events, Thursday, 26 March	No events, Friday, 27 March No events, Friday, 27 March	No events, Saturday, 28 March No events, Saturday, 28 March	No events, Sunday, 29 March No events, Sunday, 29 March
No events, Monday, 30 March No events, Monday, 30 March	No events, Tuesday, 31 March No events, Tuesday, 31 March

Upcoming events

There are no upcoming events

Section outline

The final exam must be passed positively; it accounts for 50% of the course grade.

2nd Exam: Wednesday, March 25, 2026, 17:15-18:45, S2 048.

Registration in KUSSS is mandatory till Monday, March 23, 12:00.

The exam is open book: all written/printed (non-electronic) materials are allowed.
- Select activity Sample Exam
  
  Sample Exam File PDF
- Select activity Results January 30, 2026
  
  Results January 30, 2026 File PDF