Semantics

Dear Students,

this is a summary of the announcements that have been made regarding the midterm:

• The midterm will take place on Wednesday, 10:15 in Building E1.3, Lecture Hall 001. Please be there at 10:00 the latest.
• There will be an extensive appendix with the definitions and lemmas from the lecture notes that we consider relevant.
• Please bring your student ID and writing utensils. You do not need paper.
• The Wednesday office hour this week has been moved to Tuesday, 15:30 to 16:30 in room 105 in E1 5.
• There will not be a test on Thursday, but there will be a tutorial.

If you have any further questions on this or on the material, do not hesitate to contact us by email, ask in the forum or come to the office hour!

See you there!

Your Semantics Team

Dear students,

This is a reminder that the midterm will be during the lecture on Wednesday next week (December 10 at 10:15).

Next week, we will move our Wednesday office hours to Tuesday at 15:30 to 16:30 in room 105 in E1 5.

Note that the final exam date has been determined: February 23.

You can find more information about exams on this page.

 

Regards,

Your Semantics Team

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 conflict 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

 

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

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.