Dear all!
Our next and, at the same time, last meeting of this year will take place on
Tuesday, Dec 16th, 14-16h in Room 465.
This is a one-time solution, as we will go back to our usual time slot on Wednesdays for the new year.
Merry Christmas and a happy New Year to all of you!