I don't know if this is actually implemented or such a concept even exists. But nothing is more frustrating to me than going to the library with a group of people to work on a presentation or something and trying to find a reading room only to find that everyone is usually taken by one single person!
Is there a way that you can reserve those reading times during certain days for a certain period of time in advance so that such problems don't arise???
If such a policy doesn't exist, then we should definitely put one in!