|
Written on 01.10.25 by Arthur Correnson
Dear all,
The results of the re-exam are now online!
Have a nice week!
|
|
Written on 22.09.25 by Iona Kuhn
Hi all!
Just a quick reminder that the office hour is tomorrow from 10am to 12pm at 0.07 in C0 (CISPA).
Also, today is the deadline for registering for the re-exam!
|
|
Written on 03.09.25 by Arthur Correnson
Hi all,
We uploaded the final grades for the main exam on the LSF, which means that you should now be able to register for the re-exam.
The re-exam will be on Monday, September 29th, at 2 p.m. in HS002 (as the main exam).
It will be a written exam in the same spirit as the main one.
If you… Read more
Hi all,
We uploaded the final grades for the main exam on the LSF, which means that you should now be able to register for the re-exam.
The re-exam will be on Monday, September 29th, at 2 p.m. in HS002 (as the main exam).
It will be a written exam in the same spirit as the main one.
If you have any questions before the re-exam, we will organize a special office hour on Tuesday, the 23rd, from 10 to 12 (the location is still not 100% confirmed, but very likely at CISPA).
|
|
Written on 26.08.25 by Arthur Correnson
Dear all,
The exam inspection will be next Tuesday (02.09.2025) from 10 to 12.
It will take place in the CISPA building, in the seminar room on the ground floor (C0 -- 0.07).
See you there!
|
|
Written on 08.08.25 by Arthur Correnson
Dear all,
The results of the final exam are now online!
Have a nice weekend!
|
|
Written on 06.08.25 by Arthur Correnson
Dear all,
Just a quick reminder that the exam will be tomorrow in E1.3 HS002.
The exam will start at 2:15, so please arrive a few minutes before ^^.
See you tomorrow!
|
|
Written on 27.07.25 by Arthur Correnson
Dear all,
Here is some important information regarding the exam.
Cheat Sheets
As said during the last lecture, the exam will be closed-book: bringing cheat sheets and additional materials will not be allowed.
However, we will provide the following documents as part of the exam (if needed):
… Read more
Dear all,
Here is some important information regarding the exam.
Cheat Sheets
As said during the last lecture, the exam will be closed-book: bringing cheat sheets and additional materials will not be allowed.
However, we will provide the following documents as part of the exam (if needed):
- list of proof rules for deductive systems
- syntax and operational semantics of programming languages
Content of the Exam
Regarding the exact content of the exam, the collection of problem sets covered throughout the semester is representative of the kind of assignments that will be on the final exam.
Note that there will be no technical questions about Rocq. However, the problem sets from the second part of the lecture are still very much relevant for the exam!
We expect you to be able to write pen-and-paper solutions to these exercises.
Sample Solutions
To help you study for the exam, we uploaded solutions to a selection of problems, including pen-and-paper solutions to Rocq exercises.
These solutions are particularly detailed, and we strongly encourage you to have a look!
LSF
Also, remember to register in the LSF/Hispos at least one week before the exam! If you do not register, you cannot take the exam.
Good luck!
PS: please do not forget about lattice theory ;)
|
|
Written on 30.06.25 by Arthur Correnson
Dear all,
We fixed the dates and places for the exam!
- The main exam will take place on the 7th August at 2 pm in E1.3 HS002.
- The re-exam will take place on the 29th of September at 2pm in E1.3 HS002.
Do not forget to register on the Hispos/LSF at least one week before each exam ;)
We… Read more
Dear all,
We fixed the dates and places for the exam!
- The main exam will take place on the 7th August at 2 pm in E1.3 HS002.
- The re-exam will take place on the 29th of September at 2pm in E1.3 HS002.
Do not forget to register on the Hispos/LSF at least one week before each exam ;)
We tried our best to avoid conflicts with any other exams, but if there is still a time conflict,
please let us know as soon as possible!
|
|
Written on 24.06.25 by Arthur Correnson
Hello all!
As announced this morning, we just uploaded two links for you to give feedback on the lecture and the tutorial.
You will find these links in "Materials" in the category "Course Evaluation".
We are excited to hear your thoughts on this brand-new course!
See you on Friday!
|
|
Written on 08.05.25 by Iona Kuhn
Dear students,
we just published a sample solution for Problem 3 on Problem Set 1. This is an important exercise showcasing coinduction and induction, which we discussed in the last two tutorials. Please feel free to reach out if you have further questions about it.
See you tomorrow in the tutorial!
|
|
Written on 25.04.25 by Arthur Correnson
Hi all!
This is a reminder that there will be no lecture next Tuesday (April 29).
We will however still offer a tutorial session next Friday (May 2nd).
Have a nice weekend!
|
|
Written on 23.04.25 by Arthur Correnson
Hi all!
The slides from yesterday's lecture are online, and we also released the first problem set!
We will discuss it during the first tutorial session (this Friday at 10:15 in SR 014).
See you on Friday!
|
|
Written on 07.04.25 (last change on 07.04.25) by Arthur Correnson
Hi all!
The semester's first lecture will take place tomorrow (08/04/2025) at 10:15 in E1.3 HS 003.
We are looking forward to meeting you there!
See you tomorrow!
PS: If you have questions about the lecture, you can write an email to arthur.correnson@cispa.de
|
