Main Page

News

final report submission

Written on 28.07.22 by Hadar Frenkel

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!

Reports - soft deadline

Written on 22.07.22 by Hadar Frenkel

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… 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!

Schedule delay

Written on 17.06.22 by Hadar Frenkel

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… 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.

Paper assignment

Written on 02.05.22 by Hadar Frenkel

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… Read more

Dear all,

Good luck!

Seminar Time Slot

Written on 28.04.22 by Raven Beutner

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… Read more

Hi everyone,

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.