Summer Office Hours 2018

I will not have office hours on July 18, 2018 and I will be unavailable until office hours resume on July 25, 2018, 12.00-13.00, 209.
I will also be available by appointment then (send me an email and we'll arrange something).

Have a good summer!