Model Checking: Techniques and Applications

Dear students,

your final grades are now available here, and have been entered into LSF/HISPOS. If you have questions regarding your grade or want feedback on your report, please contact your tutor.

This marks the end of our proseminar. I hope you found it interesting and also had some fun. In any case, I enjoyed your talks and was surprised by the overall quality.

We wish you all the best for the new semester!

Dear students,

you will get individual feedback on your draft of the summary from your tutor today.

Here are some general remarks for all of you:

1. We noticed that some of you did not have enough time for the report due to exams. Note that the deadline for the summary is Mar 14 (not Mar 10, as mentioned on the slides). Regarding length of the report we once stated 5-6 pages, and once 4-5, so everything between 4 and 6 pages is fine ;)

2. All reports already have a good structure and contain at least ideas for most of the content, but some are still formulated in "bullet-point" style. The final version should of course be a coherent text.

3. I want to mention again that the report does not have to be completely formal. In particular, include only the most essential formal definitions (if any). It is fine to work with examples and natural language, as long as the meaning and the ideas become clear.

4. Remember to have a look at the grading rubric in the Materials section, and include all points mentioned there.

5. Finally, two things about formatting of the report:

i) Some of you included the name of the chapter in the title of the document, which is of course a great idea. To make it uniform, please all conform to the following structure in the latex code (instead of the existing code for title and author):

\title{Title of Your Chapter}

\author{Model Checking: Techniques and Applications - Final Report}{Your Name}{Your Matrikulation Number}{}{}

ii) If you include references to other chapters of the Handbook, you can find the correct BibTex entries on this page: https://dblp.org/db/reference/mc/mc2018.html. In general, dblp.org is a good source for BibTex entries also for any other paper or book you want to cite.

Dear students,

the feedback to your talks is now available (under Submissions). Remember that the talks are the most important, but not the only part going into your grade. It can still be improved (or downgraded) based on your participation during our meetings, and by your summary.

The deadline for handing in first versions of your summaries and get feedback from your tutors has now also passed, and we plan to give you feedback until Friday. (if you have not submitted yet but still have questions, please contact your tutor)

Cheers, and stay safe!

Dear students,

the dates for the final talks are finally fixed: we will meet on

Monday, 15 Feb, 14-18h

and

Tuesday, 16 Feb, 14-18h.

If you have not already done so, please revise your slides according to the feedback from the first round. And if you have any questions or want feedback on your changes, feel free to contact your tutor for a meeting before the final.

See you there, and good luck with the preparations and your other exams!

Dear students,

here is the poll that we will use to find suitable dates for your final talks: https://terminplaner4.dfn.de/RpC3SFRvrzVAxlMt

We have picked the two weeks after lectures end, but are aware that you may still be writing exams in this time. So picking "No" because you write an exam or have to prepare for an exam that happens on the next day is of course OK. And if the time slots 9-13 and 14-18 are in general bad for you, please let us know, we could also pick a different window. Please fill the poll until the end of the week.

Additionally, here is the link to the course evaluation: https://qualis.uni-saarland.de/eva/?l=127184&p=coq2dj

The latter is not mandatory, but it would help us a lot if you invest 5-10 min to fill it, especially if you like the course or have constructive feedback on what we can improve (as during the seminar: don't be shy, but be nice ;))

Cheers,

Dear students,

on Fri and Sat we will have our practice talks. Here is the schedule:

Friday, starting at 10:15:

1. Ch. 3 (Daniel Braun)

2. Ch. 5 (Rachel Aimee Georg)

3. Ch. 6 (Daniel Adrian Biondi)

4. Ch. 8, first part (Felix Rausch)

Saturday, starting at 13:15:

1. Ch. 8, second part (Ghiath Jawish) 

2. Ch. 10 (Maher Rayes)

3. Ch. 19 (Dana Siberski)

4. Ch. 22 (Dylan Gomes Gouveia)

5. Ch. 23 (Franziska Granzow)

6. Ch. 27 (Michael Duda)

7. Ch. 29 (Jannik Maximilian Müller)

If you want to get a recording of your talk to get a better impression of your performance, we can assign you the rights in the Zoom meeting such that you can record the talk yourself, or we can record the talk for you and make the file available for download.

Moreover, I have uploaded a file "Presentation Scoring" to Information>Materials. Note that the practice talks will not be graded, but this is only for your information and the preparation of the final talks.

See you on Friday!

Dear students,

I just noticed that some of you have not registered in LSF/HISPOS yet. The official due date was last Friday, but I forgot to mention the date in our meetings. So if you did not register by mistake please let me know immediately, and I will make sure you can still register.

The Doodle for the practice talks is now also closed and the practice talks will be held

• on Friday, January 8, 10am (the time slot for our meetings thus far), and
• on Saturday, January 9, 1pm (as agreed in the Doodle)

 

Dear students,

as mentioned before we would like to do the practice talks on one weekend in January (or February), i.e., have 3 or 4 talks in our regular time slot on Friday, and the remaining talks on the following day, a Saturday.

In the following Doodle you can enter your availability on Saturdays, but please note that the date in February is only meant as a last resort, because it will not leave you much time to revise your slides for the final talk.

Here is the link: https://doodle.com/poll/ndak2ddxmyyb849p?utm_source=poll&utm_medium=link

Please enter your preferences today or tomorrow, and only choose "No" if you absolutely cannot make it.

Dear students,

I have added the slides of our kickoff meeting and a link to the Handbook of Model Checking under Information>Materials.

If you have problems accessing the handbook (should work with a VPN to UdS), please let us know ASAP. The same holds if you have any other questions regarding the proseminar :)

See you next week!