News
Midterm - Office HoursWritten on 18.11.24 by Alexander Dax Dear Students, We will be offering an office hour on Tuesday, November 26th, from 12:30 to 17:30 in the E9.1 lecture hall. This is not a full session where everyone is expected to attend the entire time. Instead, you are welcome to stop by at any point during the time slot to ask questions about… Read more Dear Students, We will be offering an office hour on Tuesday, November 26th, from 12:30 to 17:30 in the E9.1 lecture hall. This is not a full session where everyone is expected to attend the entire time. Instead, you are welcome to stop by at any point during the time slot to ask questions about the exercise sheets or topics related to the midterm. Feel free to drop by if you need assistance or clarification. If you have any additional questions, don’t hesitate to ask in the forum. Looking forward to seeing you there! |
Exercise Sheet 4Written on 18.11.24 by Alexander Dax Dear Students, we have released the fourth exercise sheet today. You can find it under the Materials. The exercise sheet must be submitted as a team by November 25th at 14:00. If you have any questions, don’t hesitate to ask in the forum. Dear Students, we have released the fourth exercise sheet today. You can find it under the Materials. The exercise sheet must be submitted as a team by November 25th at 14:00. If you have any questions, don’t hesitate to ask in the forum. |
Important AnnouncementsWritten on 13.11.24 (last change on 13.11.24) by Alexander Dax Midterm RegistrationMidterm registration is now open! You can sign up on your personal CMS page until November 25, 2024, 14:00. Remember, passing the midterm is required to participate in the final project, and re-exam eligibility depends on completing the main midterm. No LSF registration is… Read more Midterm RegistrationMidterm registration is now open! You can sign up on your personal CMS page until November 25, 2024, 14:00. Remember, passing the midterm is required to participate in the final project, and re-exam eligibility depends on completing the main midterm. No LSF registration is required for the midterm.
Plagiarism ReminderWe have observed cases of shared or copied solutions in Exercise Sheets 1 and 2, resulting in 0 points for all involved. Moving forward, confirmed cases of plagiarism will lead to exclusion from the course. Additionally, we’ll be using plagiarism detection software, starting with the Tamarin exercises and final project.
Use of ChatGPTWhile tools like ChatGPT and other internet resources can be helpful for studying, we strongly discourage copying answers directly. In specialized areas like ours, ChatGPT’s responses are often inaccurate, which can lead to wrong answers for you and additional work for us. Please use online resources thoughtfully, and focus on understanding the concepts rather than relying on generated answers.
Unification Cheat SheetWe understand that some students found the unification exercise on Sheet 2 challenging. To support your midterm preparation, we are providing a unification cheat sheet to clarify key concepts. You can find it on the Materials page. We hope this resource helps!
|
Updated Exercise Sheet 3Written on 12.11.24 by Alexander Dax Dear all, we have just updated Exercise Sheet 3 to fix some bugs and typos. Please make sure to use the latest version for your submission. If you come across any additional issues on this or future exercise sheets, don’t hesitate to reach out to us by email or post in the forum. |
Exercise Sheet 3Written on 11.11.24 by Alexander Dax Dear Students, we have released the third exercise sheet today. You can find it under the Materials. Since the topic on lemmas were only briefly covered in today’s lecture, the exercises on lemmas are optional for bonus points. Dear Students, we have released the third exercise sheet today. You can find it under the Materials. Since the topic on lemmas were only briefly covered in today’s lecture, the exercises on lemmas are optional for bonus points. The exercise sheet must be submitted as a team by November 11th at 14:00. If you have any questions, don’t hesitate to ask in the forum. |
Exercise Sheet 2Written on 04.11.24 by Alexander Dax Dear Students, we have released the second exercise sheet today. You can find it under the Materials. The exercise sheet must be submitted as a team by November 11th at 14:00. If you have any questions, don’t hesitate to ask in the forum. Dear Students, we have released the second exercise sheet today. You can find it under the Materials. The exercise sheet must be submitted as a team by November 11th at 14:00. If you have any questions, don’t hesitate to ask in the forum. |
Exercise Sheet 1Written on 28.10.24 by Alexander Dax Dear Students, we have released the first exercise sheet today. You can find it under the Materials. The exercise sheet must be submitted as a team by November 4th at 14:00. If you have any questions, don’t hesitate to ask in the forum. |