Conferences and Seminars

Conferences

  • Dorota Leszczyńska-Jasion, On a Multiple-Conclusion Consequence Relation for Classical Logic, 24th Conference Applications of Logic in Philosophy and the Foundations of Mathematics, Szklarska Poręba, May 13-17, 2019
  • Szymon Chlebowski, Agata Tomczyk, Cut-Elimination in Constructive SCI, 24th Conference Applications of Logic in Philosophy and the Foundations of Mathematics, Szklarska Poręba, May 13-17, 2019
  • Marta Gawek, Agata Tomczyk, Translation of sequent calculus into natural deduction for sentential calculus with identity, Prague Logic Camp, Prague, May 6-9, 2019
  • Szymon Chlebowski, An Investigation into Intuitionistic Logic with Identity, Prague Logic Camp, Prague, May 6-9, 2019
  • Szymon Chlebowski, Dorota Leszczyńska-Jasion, Synthetic Tableaux for Propositional Intuitionistic Logic, Applications of Algebra in Logic and Computer Science XXIII, Zakopane, Poland, 11-17 March 2019
  • Dorota Leszczyńska-Jasion, Szymon Chlebowski, Distributive Deductive Systems: the case of the First-Order Logic, 6th World Congress and School on Universal Logic, Vichy, France, 21-26 June 2018

Seminars (2019)

  • 28.06, 11:30, Michał Sochański, Wybrane aspekty ilościowych badań w logice a zastosowania funkcji dp w analizie tabel syntetycznych, Some aspects of quantitative research in logic versus applications of dp function in synthetic tableaux analysis
  • 31.05, 11:30, Aleksander Kiryk, Algorytm losowego generowania formuł, An algorithm of random selection of formulas
  • 31.05, 09:00, Marcin Jukiewicz, Jak (mój) Python widzi formuły języka KRZ? How (my) Python reads CPL-formulas?
  • 24.05, 11:30, Rozmowy o lekturach, Talks about Readings
  • 17.05, 11:30, Rozmowy o lekturach, Talks about Readings
  • 26.04, 11:30, Dawid Niemiec, O sieciach neuronowych, On neural networks
  • 26.04, 09:00, Dawid Niemiec, Implementacja pewnego rachunku sekwentów dla KRZ w języku Python, A Python implementation of a sequent calculus for CPL
  • 12.04, 11:00, Szymon Chlebowski, An Investigation into Intuitionistic Logic with Identity (ISCI)
  • 05.04, 12:00, Tomasz Skura, Reguły odrzucania i kontrmodele w S4
  • 29.03, 12:00, Rozmowy o lekturach, Talks about readings
  • 22.03, 11:30, Rozmowy o lekturach, Talks about readings
  • 01.03, 11:30, Aleksander Kiryk, Determinizacja automatów skończonych na przykładzie wyrażeń regularnych (presentation [zip file])
  • 08.02, 12:00, Rozmowy o lekturach, Talks about readings
  • 01.02, 13:15, Michał Sochański, Metody w analizie danych cz. 2, Methods of data analysis, pt 2
  • 25.01, 12:00, Rozmowy o lekturach, Talks about readings
  • 18.01, 13:15, Michał Sochański, Metody w analizie danych cz. 1, Methods of data analysis, pt 1
  • 18.01, 12:00, Marta Gawek, Theorem-prover dla logiki S4 w Haskellu, Haskell theorem-prover for S4 logic
  • 11.01, 12:00, Rozmowy o lekturach, Talks about readings

Seminars (2018)

  • 14.12, 12:00, Marcin Rabiza, Logiki Niefregowskie, Non-Fregean Logics
  • 07.12, 12:00, Agata Tomczyk, Natural-deduction method for solving CL-based puzzles
  • 30.11, 12:00, Dorota Leszczyńska-Jasion, Uwagi o rachunku sekwentów, Remarks on sequent calculi
  • 23.11, 13:15, Marta Gawek, Maszyny Turinga, Turing machines
  • 16.11, 12:00, Rozmowy o lekturach, Talks about readings
Reklamy