Summer semester 2022/23 17.03 - Jacek Chrząszcz, News from Coq 31.03 - Aleksy Schubert, Overview of network protokol implementations in functional programming languages 14.04 - Andrzej Tarlecki, Interpolation and how to spoi it 21.04 - Paweł Urzyczyn, Substructural logics 28.04 - Konrad Zdanowski, Looping proofs 02.06 - Aleksy Schubert, Existential quantification in first-order logic 09.06 - Maciej Zielenkiewicz, Small model property in games and automata