Messages
I added solutions to the exercises in the corresponding folder. I only had the time to do it by hand, so please ask questions if there are some things unclear.
To make your preparation for the exam easier and give some input for the question session next week, I added a PDF with the things that you should be able to do in the exam in the "slides" folder.
As announced, the final oral exam will take place on 11.12.2023. I just send you all an e-mail with your time slot for the exam. Please contact me, if you did not receive an e-mail.
As announced earlier, there will be no lecture tomorrow (18.10.2023). Please have a look at the second exercise sheet instead to practice the constructions that we discussed in the last lectures.
Hi everyone, please remember, that the lecture tomorrow is in the morning, i.e. already at ...
Yesterday, we agreed on a date for the final exam. The oral examinations will take place on 11.12.2023
Hi everyone,
please note the following two things:
1. I created a poll to find the best day for the oral exam at the end of the semester. Please consult the following [poll](https://dud-poll.inf.tu-dresden.de/bestDayOfTheYear/) to indicate when you have time. We already had some discussions yesterday and I am going to fix the date next week. So if you have any constraints, please use the poll.
2. Some of you missed the lecture this week. Please have a look at the slides and try to understand the definition of labeled transition systems. This will be important. The part with the temporal logic is less important to study, we are going to discuss this in detail next week.
Have a nice weekend.
As discussed last week, the lecture on 11.10.2023 will be moved to the morning (8:15–10:00). Please be aware that we will also meet in a different room (Perl). This change is already reflected on the schedule page.
We did agree to move the lecture to a new time slot starting from next week (28.08.2023). The new time of the lecture is on Wednesdays 16:15-18:00. I need to check, if we can have the same room, but if there is no other message, we will meet in room Postscript.
Hi everyone,
The schedule here on the website is a bit off and I am not able to change it: The lecture will be at **10:15-12:00**. So it is only two hours and starts one hour later that what is written here on the website. Next week, I will be there early in case one of you misses this message, but the regular lecture will ALWAYS start at 10:15.
Pleas reach out to me if you have any further questions, either using mattermost or by mail (tobiajoh@ifi.uio.no)
See you next week,
Tobias John