News
No Tutorial on Wed, Dec 13Written on 11.12.23 by Benjamin Peters Dear all, there will not be a tutorial (or a test) this Wednesday, Dec 13, due to the exam. Next week's tutorial, on Dec 20, will cover both last week's lectures and the next lecture on Thursday, Dec 14. Best,

Tuesday office hours start 15:30Written on 28.11.23 by Niklas Mück 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:05Written on 24.11.23 by Benjamin Peters 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 1618 (in room 005 in E1 5) and Midterm is Mo 11. Dec during classWritten on 03.11.23 (last change on 06.11.23) by Niklas Mück 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 timesWritten on 25.10.23 (last change on 25.10.23) by Benjamin Peters 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:1512:00 or 12:1514:00, potentially also 16:1518:00. If you are not available at these times, send us an email and tell us what… Read more 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:1512:00 or 12:1514:00, potentially also 16:1518:00. If you are not available at these times, send us an email and tell us what lecture/tutorial/… you have a conflict with. We will decide on a slot next week. You can find all of this information in the timetable. Yours, 
Semantics
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.