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

Calendar

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

Upcoming events

There are no upcoming events

Section outline

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

Exam: Friday, January 30, 2026, 8:30-10:00

No registration is needed if the assignments have been submitted in the current semester (otherwise send me an email 1-2 weeks before the exam).

The exam is open book: all written/printed (non-electronic) materials are allowed.