Department of Computer Science & Engineering

University of Ioannina

Department Seminars, “Game-theoretic semantics for non-distributive logics”


Department Seminars: Lecture from Prof. Hartonas Chrysafis will be held on Friday 08/02/2019 at 12:00 in Seminar Hall of Computer Science and Engineering Department. The title of the lecture is “Game-theoretic semantics for non-distributive logics”. More detais you could find in the attached file.