Aravind's office hours:
3-5pm Fri Nov 23 in DC 3317
3-5pm Tue Nov 27 in DC 3317
Ben's office hours:
5-6pm Wed Nov 21 in DC 2580
5-6pm Thu Nov 22 in DC 2580
5-6pm Wed Nov 28 in DC 2580
5-6pm Thu Nov 29 in DC 2580
Colin's office hours:
Tuesdays 2-4pm in DC 3126
Thursdays 2-4pm in DC 2102
Camilo's office hours:
Mon 15th: 9am to 10am, DC 2136A
Wed 17th: 9am to 10am, DC 2136A
Mon 22th: 9am to 10am
Wed 24th: 9am to 10am
Atrisha's office hours:
12-2pm on Monday October 1st in DC 2102
12-2pm on Tuesday October 2nd in DC 2136B