Reservation Terminal Pool
You can make reservations for both Terminal Pools 34/251 and 34/253.
Reservation has to be managed by Thursday the week before your session.
A reservation is possible throughout the week. If your reservation is apart usual office hours, you must take care of keys to access the room.