News
First Exercise Sheet
Written on 17.10.2025 17:57 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 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.