During the summer holidays, restaurants and cafes have modified opening hours. Some locations, such as the Faculty Club, are closed. Current information on opening hours can be found here (in Dutch). Regular opening hours (i.e. outside the summer period) can be found here.