Week: Tuesday, June 2, 2026, 16:30-18:00, HS 13 | Seminar Formal Methods and Automated Reasoning (SS 2026) | 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

Paul-Gabriel Turcuman

Wolfgang Windsteiger