Summer semester 2025/26

13.03.2026 - Jacek Chrząszcz, Waterproof

20.03.2026 - Michał Stronkowski, Tabular Intermediate Logics Comparison

27.03.2026 - Michał Gajda, Efficiency of SAT encodings

10.04.2026 - Andrzej Radźmiński, Parallel Self-Adjusting Computations

17.04.2026 - Aleksy Schubert, System R

24.04.2026 - Aleksy Schubert, On word unification

15.06.2026 - Michał Gajda, Mechanisation of ultrafinistic logic