Institute Seminar

May 30, 2019

16 May at hours 11:15 (after the Faculty council) in Hall 104 INF will be held a seminar of the Institute of Informatics, where Dr. Sławomir Kost will make a paper titled: “Design Approximation in the logic of intuitionism and the modal logic S4”. Summary:...