Beskjeder

Dear all,

You should all have gotten feedback to home exam 2. Also you should have received a plan for the oral exam.

If any of you are missing some of this information, please, write to me.

Best,
Michael

Just to ensure, there will not be any exercises today. 

Dear all,

We would like to get your input to the course. We have therefore created a Netskjema for a course evaluation. You should all have gotten an invitation to this.

Best,
Michael

Dear all,

You can not find the oral exam description and questions on the site:

/studier/emner/matnat/ifi/IN5630/v24/exam/

You have the chance to ask question to this on Wednesday. 

We will make the plan for the oral exam just after the hand-in of final homework. But all that previously have written about restrictions will get either the early or the late date mentioned in their specific communication.

Dear all,

We are all coming to the end of the course and next week will be the final one. The plan is as follows.

Tuesday 21.
Deadline for Home exam 2. Inspera should be open now

Wednesday 22.

• Q/A. You can here ask about the course and the exam. We will Monday post the exam questions and how the exam will be conducted. Next week we will also fix the schedule for the exam.
• Guest lecture: Tobias Reinhard will give an introduction to seperation logic.