Logic seminar meets every Wednesday 12-14 in C124. After the seminar Logic Coffee 14-15.
The seminar is led by Doc. Tapani Hyttinen and Prof. Jouko Väänänen.
Topic of next seminar
List of recent talks