Coinductive Proofs

Arthur Correnson, Bernd Finkbeiner

News

Results of the Main Exam

Written on 08.08.25 by Arthur Correnson

Dear all,

The results of the final exam are now online!

Have a nice weekend!

Exam

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!

Important Information about the Exam

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 ;)

 

Exam

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!

Evaluation of the Course

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!

Sample Solution for Problem Set 1 Problem 3

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!

No Lecture Next Week

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!

First Problem Set and First Tutorial

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!

First Lecture

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


 
Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators.