Seminaari on Helsingin yliopiston logiikan ryhmän kanssa yhteinen tutkimus- ja jatkokoulutusseminaari matemaattisen logiikan alalla.

Seminaari kokoontuu lukukausien aikana joka toinen viikko (2h/kerta) vuorotellen Tampereella ja Helsingissä. Yhteensä kokoontumisia on n. 15 kertaa lukuvuodessa.