PhDOpen: Cezary Kaliszyk, \

(1:28:5)

PhDOpen: Cezary Kaliszyk, \

(1:11:54)

PhDOpen: Cezary Kaliszyk, \

(1:19:38)

Krzysztof Wojczal: Pax Americana 2.0? Trump mówi sprawdzam Europie

(1:24:58)

Czy Trump postawi na Konfederację? #53

(31:28)

Cezary Kaliszyk, Josef Urban 2018 03 27 16 34 26

(1:8:38)

Cezary Dokrzewski

(2:54)

Accelerating Verified-Compiler Development with a Verified Rewriting Engine

(30:25)

Interactive theorem proving demo: infinitely many primes

(13:10)

Natasha Jaques PhD Thesis Defense

(1:30:15)

PhD Seminar

(47:6)

Lex Infinitum 2020 greeting from Cezary Rogula

(1:52)

Automated Reasoning - Jörg Siekmann

(30:49)

Cezary Mazurek: Welcome, The Enigma Live event at the 24th IFIP World Computer Congress

(4:13)

Intelligent Systems 2018 L7P2 More on Automated Reasoning

(43:45)

Theorem proving for mathematicians

(45:42)