Summer semester 2022/23


17.03 - Jacek Chrząszcz, News from Coq
31.03 - Aleksy Schubert, Overview of network protocol 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