There was a scheduling conflict with ICT 616 this week only. We will meet on the 6th floor of ICT by the printers, and move to the theory library ("Jabberwocky") for the seminar today.