Office Hours tomorrow

I will end my office hours early tomorrow (Tuesday), at 11:30am, instead of the normal noon time, to be able to make it to Richard Dawkins’ talk. To make up for this, I will have extra office hours tomorrow at 5-6pm.