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

30.05.2025 - 

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)