Assoc. Prof. SANO Katsuhiko (Hokkaido University, Faculty of Humanities and Human Scieces) gave a talk at CERSS Colloquium.

Date & Time: 2019. 11. 28 (Thu) 16:30-18:00

Location: Hokkaido University, Faculty of Humanities and Human Scieces, room E304

Speaker: SANO Katsuhiko (Hokkaido University, Faculty of Humanities and Human Scieces, Associate Prof. )

Title: From Turing Machines to Kripke Models

Please see the details here.