Program Analysis

Tutorial on Wednesday, January 4

Written on 03.01.23 (last change on 03.01.23) by Shrey Sharma

Tomorrow's tutorial will take place online.

We will use the following Zoom link: https://cs-uni-saarland-de.zoom.us/j/85330913094?pwd=RnoyeXRmK1Y3eDRUVGhaMmIxeUR4UT09

Lecture on Monday, January 2

Written on 01.01.23 by Jan Reineke

Tomorrow's lecture will take place online.

We will use the following Zoom link: 
https://cs-uni-saarland-de.zoom.us/j/89268790112?pwd=N1hqc3dKUzNoOUdwWStzUGo3OHhOQT09

Tutorial on Wednesday, December 21

Written on 21.12.22 (last change on 21.12.22) by Shrey Sharma

Tomorrow's tutorial will take place online.

We will use the following Zoom link: https://cs-uni-saarland-de.zoom.us/j/89172555017?pwd=STFaOXc3TUJITEROclB4RkU2ZXlKUT09

Lecture on Monday, December 19

Written on 18.12.22 by Jan Reineke

Tomorrow's lecture will take place online.

We will use the following Zoom link: https://cs-uni-saarland-de.zoom.us/j/89268790112?pwd=N1hqc3dKUzNoOUdwWStzUGo3OHhOQT09

Exercise 2.3 - Deadline Extended

Written on 14.11.22 by Shrey Sharma

Dear all,

Due to technical issues with the gitlab server, we are extending the deadline for Exercise 2.3 to 10:00 am on Wednesday, November 16, 2022. The deadline for the other problems in the assignment sheet is still November 14, 2022, before the lecture.

Regards,

Shrey Sharma

Lecture on Wednesday, November 2

Written on 31.10.22 by Shrey Sharma

Dear all,

We will use the tutorial slot this Wednesday for a lecture. It will take place in Seminar Room 014 in building E1 3.

This will cover the material necessary to solve Assignment 1, which will be due next Monday.

See you then,

Shrey Sharma