Data Science Seminar
The seminar features talks on theoretical and practical aspects of data science.
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.