## News

## Tuesday office hours start 15:30
Dear students, due to a request, we will start office hours 30 minutes earlier on Tuesdays, i.e. at 15:30. Correspondingly, they will end at 16:30 if no students are present anymore. These changes are effective starting today and do not affect our Friday office hours at 14:00 - 15:00. We hope… Read more Dear students, due to a request, we will start office hours 30 minutes earlier on Tuesdays, i.e. at 15:30. Correspondingly, they will end at 16:30 if no students are present anymore. These changes are effective starting today and do not affect our Friday office hours at 14:00 - 15:00. We hope that this change allows students having other classes starting at 16:00 to attend the Tuesday office hours. Best, |

## Lecture next Monday at 14:05
Dear all, please be aware that the lecture on Monday, Nov 27, will start at 14:05 instead of the usual 14:15. Best, |

## Tutorial is We 16-18 (in room 005 in E1 5) and Midterm is Mo 11. Dec during class
Dear all, We have finally set the dates for the tutorial and the midterm. Dear all, We have finally set the dates for the tutorial and the midterm. Just a reminder: We also have office hours every Tuesday from 16:00–17:00 and Friday from 14:00–15:00 in room 422 in E1 5. You can find us by either taking the elevator or the stairs to the fourth floor and then turning right. If one of the dates does not work for you, please contact us as soon as possible. |

## Tutorial times
Dear all, We have some important announcements regarding the tutorials and office hours. 1. The time slots for tutorial we are currently considering are Wednesdays 10:15-12:00 or 12:15-14:00, potentially also 16:15-18:00. Dear all, We have some important announcements regarding the tutorials and office hours. 1. The time slots for tutorial we are currently considering are Wednesdays 10:15-12:00 or 12:15-14:00, potentially also 16:15-18:00. You can find all of this information in the timetable. Yours, |

## Semantics

*logical relations*which can be used to build expressive models of programming languages. The first part ends with a midterm exam.

*program logic Iris*and how it can be used for program verification. Towards the end of the second part, we will consolidate the axiomatic approach with what we have learned in the first part. That is, we will discuss how to build expressive logical relations in Iris. The second part ends with a final exam whose date will be announced during the course.

We will be using the Coq proof assistant to formally check our results during this course. We assume that you are familiar with the basic usage of Coq (for instance, as taught in the Introduction to Computational Logic Course at Saarland University).

The following video is a presentation of the last iteration of the course.

#### Lectures

The first lecture is on Monday, October 23, 2023.

See the timetable for more details.

#### Tutorials

#### Office Hours

#### Tests

#### Registration

To receive credit points for this course, students must register with the University's HISPOS system.