Winter semester 2025/26

17.10.2025 - Jacek Chrząszcz, What rocks in the new Rocq? (Co w nowym Rocq-u?)

24.10.2025 - Paweł Balawender, Reasoning about bounded arithmetic within Lean 4 (Rozumowanie o ograniczonej arytmetyce w Lean 4)

07.11.2025 - Maurycy Wojda, A Search Engine for Theorems (Wyszukiwarka twierdzeń)

21.11.2025 - Kordula Świętorzecka, Strong completeness for CTL (Silne twierdzenie o pełności dla CTL)

28.11.2025 - Konrad Zdanowski, Strong completeness for CTL, continuation (Silne twierdzenie o pełności dla CTL, ciąg dalszy)

12.12.2025 - Marcin Benke, What is solid in the new Solidity? (Co nowego w Solidity?)

19.12.2025 - Michał Gajda, MaxSAT and its applications (MaxSAT i jego zastosowania)

9.01.2026 - Michał Gajda - Dependent types in ultrafinitistic logic (Typy zależne w logice ultrafinitystycznej)

16.01.2026 - Aleksy Schubert - What is higher in the higher-order matching now? (Co nowego udało się dopasować w dopasowaniu wyższego rzędu?)

xx.xx.2026 - Andrzej Tarlecki, Interpolation for empty carriers (Interpolacja przy pustych nośnikach)