Hi all,
let's try to find a common time by doodle: https://ethz.doodle.com/poll/dff59svcmw7gn6ni. I just put in some time slots the mornings and afternoons, and skipped Monday since it didn't seem like it would work. If you think we should have additional options, let me know.
Best,
-joe