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

News

28.07.2022

final report submission

Hi everyone,

This is a reminder that the deadline for submitting your final reports is tomorrow at 23:55. 

Good luck with your exams, and have a great summer!

 

 

22.07.2022

Reports - soft deadline

Hi everyone,

To all of you who wish to receive feedback on your report before the final submission, this is a reminder that the soft deadline is today. 

You can submit your reports until today at 23:55, under "submissions -> Summary - soft deadline". 

We... Read more

Hi everyone,

To all of you who wish to receive feedback on your report before the final submission, this is a reminder that the soft deadline is today. 

You can submit your reports until today at 23:55, under "submissions -> Summary - soft deadline". 

We wish you all a great weekend and good luck with your exams!

17.06.2022

Schedule delay

Hi all, 

The Proseminar schedule is delayed by one week. That means that we *will not* meet on 22/06, and the new schedule is: 
29/06 talks 1+2
06/07 talk 3

Please contact us if you cannot attend one of the meetings due to the change. 
We also remind you to... Read more

Hi all, 

The Proseminar schedule is delayed by one week. That means that we *will not* meet on 22/06, and the new schedule is: 
29/06 talks 1+2
06/07 talk 3

Please contact us if you cannot attend one of the meetings due to the change. 
We also remind you to update us in advance in case you will be attending the Proseminar via zoom and not in person, so that we set up the room. 

 

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