News
Grades availableWritten on 09.04.21 by Swen Jacobs 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… Read more 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! |
Final Report: General Feedback and AdviceWritten on 05.03.21 by Swen Jacobs 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,… Read more 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} 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. |
Feedback now also visibleWritten on 03.03.21 by Swen Jacobs I forgot to flip the switch to make the feedback visible. Now it is not only in the system, but you should also be able to see it ;) |
Talk Feedback, Summary DeadlineWritten on 03.03.21 by Swen Jacobs 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… Read more 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! |
Final Talk Dates FixedWritten on 30.01.21 by Swen Jacobs 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… Read more 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! |
Final Talk DateWritten on 22.01.21 by Swen Jacobs Dear students, if you have not yet answered the poll regarding the final talk date, please do so today, or latest on Monday. Cheers, |
Final Talk Date, Course EvaluationWritten on 13.01.21 by Swen Jacobs 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… Read more 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, |
Changed schedule tomorrowWritten on 07.01.21 by Swen Jacobs Dear students, I have been informed that the first speaker planned for tomorrow (Chapter 3, Daniel Braun) cannot participate in the proseminar anymore. Therefore, we will skip chapter 3 and start with chapter 5, presented by Rachel Aimee Georg. Cheers, |
Talk Schedule for Friday and SaturdayWritten on 06.01.21 by Swen Jacobs Dear students, on Fri and Sat we will have our practice talks. Here is the schedule: Friday, starting at 10:15:
Saturday, starting at… Read more Dear students, on Fri and Sat we will have our practice talks. Here is the schedule: Friday, starting at 10:15:
Saturday, starting at 13:15:
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! |
Registration in LSF/HISPOS, date of practice talksWritten on 07.12.20 by Swen Jacobs 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… Read more 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
|
Date and Time for Practice TalksWritten on 03.12.20 by Swen Jacobs 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… Read more 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. |
Presentation TopicsWritten on 23.11.20 by Swen Jacobs Dear students, you should now all have received an email that informs you of your presentation topics. If you have not received it, please let me know soon. Cheers, |
Handbook and Kickoff Slides availableWritten on 13.11.20 by Swen Jacobs 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… Read more 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! |
Meeting Link for TomorrowWritten on 12.11.20 by Swen Jacobs Dear students, the meeting link for the Zoom meeting tomorrow (and following meetings) is now available under Information>Materials>General. See you tomorrow! |
First meetingWritten on 09.11.20 by Swen Jacobs Dear students, our first meeting will take place on Friday at 10:15. You will receive a zoom link to join. See you there! |
Model Checking: Techniques and Applications
This Proseminar is concerned with model checking, a fully automatic approach for the verification of hardware, software, and computer-controlled systems. Students will learn about the basics of model checking, as well as some advanced techniques and specific applications of the approach. The structure will be such that a couple of basic topics are pre-selected and will definitely be covered, and the advanced topics will be chosen according to the interest of the participants.
During this class, students will learn how to read scientific texts and how to give a scientific presentation. Students will read up on a topic, summarize it, and teach the findings to their fellows in a presentation. After a practice run, students are asked to give feedback, enabling a process of improvement for the final presentation.
Talks: We expect you to give two talks on the topics you have been assigned, an ungraded practice talk to provide feedback about the quality of your work so far, and a graded final talk. Talks will be virtual, via Zoom.
Feedback and Discussion: Attendance to all talks is mandatory. We expect you to provide feedback to your fellow students after the practice talks, and participate in discussions after the final talks.
Summary: At the end of the semester, we expect you to submit a short summary of your paper.
Requirements: We expect you to understand basic mathematical notation and have the ability to think about abstract concepts. We will provide all further background knowledge.