Logic Seminar
The seminar features talks on mathematical logic, philosophical logic and logical aspects of computer science.
Neuro-symbolic AI Seminar
The seminar features talks on neuro-symbolic AI.
Proof Mining Seminar
The seminar features talks on recent results on proof mining.