News
Tutorial InfoWritten on 29.10.25 by Laila Elbeheiry Hi everyone, This is a reminder that we'll be having our first tutorial tomorrow at 16-18 in which you'll have the first minitest. The tutorial will be held in E1.5 room 105 (first floor). Note that there was a scheduling conclict and this actually not the usual room where we'll have our… Read more Hi everyone, This is a reminder that we'll be having our first tutorial tomorrow at 16-18 in which you'll have the first minitest. The tutorial will be held in E1.5 room 105 (first floor). Note that there was a scheduling conclict and this actually not the usual room where we'll have our tutorials. In particular, here's the tutorial locations for the foreseeable future: - this Thursday, October 30 - E1.5 room 105 - November 13 - E1.4 room 024 - All other days - E1.5 room 005 Best, Your Semantics Team
|
Warm-up Sheet Solutions & Exercise Sheet 1 OutWritten on 24.10.25 (last change on 25.10.25) by Laila Elbeheiry Dear students, We have released the solutions for the warm-up sheet and the new exercise sheet. Please make sure you pull the changes in the repo. Note that the new exercise sheet and the old solutions will be released every Friday. Enjoy! Laila and Janine |
Tutorial Time and Midterm DateWritten on 22.10.25 by Janine Lohse Dear Students, the midterm will be on December 10 during lecture time. The tentative tutorial time is on Thursdays, 16-18, starting next week, the test will be written in the beginning of the tutorial. Please note that you need to be here for the midterm and additionally score at least 50% in the… Read more Dear Students, the midterm will be on December 10 during lecture time. The tentative tutorial time is on Thursdays, 16-18, starting next week, the test will be written in the beginning of the tutorial. Please note that you need to be here for the midterm and additionally score at least 50% in the tests in order to pass this course. If you have a hard conflict during the tutorial time, please let us know ASAP! Best, Your Semantics Team |
First Exercise SheetWritten on 17.10.25 by Janine Lohse Dear Students, Welcome to Semantics! We just released the first exercise sheet, which is a warm-up sheet to familiarize you with the Rocq development for this course. In case you are not familiar with Rocq yet, please come talk to us in the Office Hour such that we can give you individual advise on… Read more Dear Students, Welcome to Semantics! We just released the first exercise sheet, which is a warm-up sheet to familiarize you with the Rocq development for this course. In case you are not familiar with Rocq yet, please come talk to us in the Office Hour such that we can give you individual advise on how to catch up. The first office hour will be on Monday, October 20, 15:30-16:30 in building E1 5, room 005. In case you have trouble with the installation or other questions, also drop by at the office hour! See you soon! Your Semantics Team. |