Change in lecture times

The lectures has been moved slighty forward in order to avoid a collision with another course. New time for lectures will be Thursdays from 12:15. More information about this will be given in the lecture tomorrow.