From Program Verification to Synthesis Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Noemi Passing, Malte Schledjewski

News

02.05.2022

Paper assignment

Dear all,

The papers for the proseminar are now assigned! 
The assignment is done using tutorials, so that you can see both the paper and the relevant tutor according to the tutorial you are assigned to.
Please contact your tutor soon in order to set a meeting... Read more

Dear all,

The papers for the proseminar are now assigned! 
The assignment is done using tutorials, so that you can see both the paper and the relevant tutor according to the tutorial you are assigned to.
Please contact your tutor soon in order to set a meeting and start working on your talk. 

Good luck! 

 

28.04.2022

Seminar Time Slot

Hi everyone,

Unfortunately, the seminar room is not available on Wednesday at 14:15 so we decided to stick with the original timeslot, i.e., 10:15 on Wednesdays (in consultation with the students for which the 10:15 slot was suboptimal).

As a reminder:
The... Read more

Hi everyone,

Unfortunately, the seminar room is not available on Wednesday at 14:15 so we decided to stick with the original timeslot, i.e., 10:15 on Wednesdays (in consultation with the students for which the 10:15 slot was suboptimal).

As a reminder:
The vote for a topic/paper is now open and closes at 12:00 on Friday. On your personal status page, you can see each of the topics as a separate tutorial to which you can assign your preference.

 

From Program Verification to Synthesis

Proving that a program is correct is hard. Generating a correct-by-construction program is even harder. In this proseminar we cover a foundational approach to these problems, based on automata theory. We study different algorithms for program verification and synthesis, with respect to different specifications (such as LTL and HyperLTL), as well as a compositional approach for both verification and synthesis problems. 

Organization: The proseminar will be held in English, and can be attended both in-person and remotely via Zoom.

The proseminar is composed from a background phase, given by one of the lecturers. Following that, we will have practice phase, in which each student will give a practice talk on the paper assigned to them. The practice talks will be followed by a feedback from the participants, which you could apply for the final version of your talk. The grade of the seminar is composed mainly from the grade of the final talk, together with a report to be submitted at the end of the semester. 

Dates: Weekly meetings on Wednesdays at 10:15. 

The first session will be held on April 27, in which we will present the papers to be assigned. 

 

You can register for the proseminar at https://seminars.cs.uni-saarland.de/proseminars22 until April 12th 23:59 CET.



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