Summer semester 2024/25

14.03.2025 - Mikołaj Konarski, Formal Mathematical Reasoning: A New Frontier in AI (Formalne rozumowanie matematyczne – nowy front w badaniach AI)

21.03.2025 - Konrad Zdanowski, Not all Kripke models of HA are locally PA (Nie wszystkie modele arytmetyki Heytinga spełniają lokalnie artytmetykę Peano)

28.03.2025 - Konrad Zdanowski, Not all Kripke models of HA are locally PA, part II (Nie wszystkie modele arytmetyki Heytinga spełniają lokalnie artytmetykę Peano, część II)


04.04.2025 - 

11.04.2025 - Aleksy Schubert - Inhabitation in System F with simple instantiations (Inhabitacja w Systemie F z prostym instancjonowaniem)

25.04.2025 - Michał Gajda - On foundations of mathematics (O podstawach matematyki)

09.05.2025 - Michał Gajda - The constructive negation and postintuitionism (Konstruktywna negacja i postintuicjonizm)

16.05.2025 - 


23.05.2025 - Daria Walukiewicz-Chrząszcz, Jacek Chrząszcz - New rewriting features of Coq (Nowe możliwości przepisywania w Coq-u)

30.05.2025 - Konrad Zdanowski - How to Choose a Rightheous Path? In memory of Professor Pogonowski (Jak obrać słuszną ścieżkę? Pamięci profesora Pogonowskiego)

06.06.2025 - Aleksy Schubert - On equivalence in unification (O równoważności w unifikacji)

13.06.2025 - Michał Gajda - Eldarica and Horn clause solvers (Eldarica i solvery dla klauzul Hornowskich)

13.06.2025 - Aleksy Schubert - On formalization of the higher-order matching problem (O formalizacji problemu dopasowania wyższego rzędu) - talk cancelled