Course activities

Lectures: in auditorium 13 in bldg. 308.

Problem sessions: take place in groups of 2-4 in room 033 in bldg. 322. Often it will take more than two hours to solve the exercises. So it is recommended to start solving them before the problem session.

Tool sessions:

During the tool sessions you can use the RAISE tools developed at UNU/IIST to type check and pretty print the specifications you have made in the problem session. There is no guidance during the tools sessions.

In the tool sessions you can either use your own Linux/Windows PC (where ever you like) or you can use the Linux PCs in the E-databar. However, first you have to install/set up the tools, see here.

Linux/Windows PCs have been reserved in the E-databar in building 341 as follows:

• Tuesdays 13.00-15.00: 32 terminals in room 003
• Fridays 10.00-12.00: 20 terminals in room 019
• Fridays 13.00-15.00: 32 terminals in room 003

In addition you can use the E-databar, when there are no reservations by others. We encourage you to work together in groups of two persons.