Section: Videos | Formal Semantics of Programming Languages (SS 2025)

Calendar

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

Section outline

As an extra service, it is intended to live-stream and record the lectures via the following Zoom meeting:

https://jku.zoom.us/j/98129011444?pwd=maxabzjbEA1Bab7gokEsXFtoQFNTha.1
Meeting-ID: 981 2901 1444 Password: formalsem

However, no guarantee is given with respect to completeness and quality of the stream/recordings. The basic course format is on-site, not hybrid.

On-site participation in the lecture is mandatory for the final presentations on June 27.

January 2025

Section outline