Logic Seminar
The seminar features talks on mathematical logic, philosophical logic and logical aspects of computer science.
Data Science Seminar
The seminar features talks on theoretical and practical aspects of data science.
Proof Mining Seminar
The seminar features talks on recent results on proof mining.
Blockchain Seminar
The seminar features talks on theoretical and practical aspects of blockchains.
Type Theory Working Seminar
This is a working seminar which will provide an introduction to type theory, proof theory and related areas.