Conferences and Seminars

Conferences

  • 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)

  • 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