Institute for Logic, Language and Computation

14 - 25 August 2017, Summer School in Dynamic Epistemic Logic, Sapporo, Japan

Date: 14 - 25 August 2017
Location: Sapporo, Japan

The Department of Philosophy at Hokkaido University (Sapporo, Japan) will hold a two-week summer school in dynamic epistemic logic and its applications, jointly with three guest lecturers from ILLC (University of Amsterdam) from August 14 to August 25 as part of Hokkaido Summer Institute (HSI) 2017.

The following two intensive courses are scheduled to be offered during the summer school.

Course 1 (August 14 to August 18): Introduction to Logic (For details, see

Course 2 (August 21 to August 25): Dynamic Epistemic Logic and its Applications (For details, see )

The main lecturer of Course 1 is Katsuhiko Sano (Department of Philosophy, Hokkaido University).

The main lectures of Course 2 are Alexandru Baltag and Sonja Smets (ILLC, University of Amsterdam).

There will be a special live on-line lecture by Johan van Benthem (University of Amsterdam, Stanford University, and Tsinghua University) during Course 2.

Tomoyuki Yamada and Yasushi Nomura (Hokkaido University) will also join the classes to help students follow the lectures, and communicate with the lecturers.

The courses are intended for graduate students. Course 1 is meant for students without prior knowledge of logic and will prepare them for Course 2.

Each course is designed to be independent from the other course. Those students who have some familiarity with basics of propositional logic, first order logic, and modal logic can skip Course 1, and those who wish to take only Course 1 can learn basics of logic.

Application period for students from universities other than Hokkaido University is from February 1 to February 28 2017.

For more details about applications, please check the HSI official website:

As the summer in Sapporo is beautiful and pleasant, it's a good idea to learn logic this summer in Sapporo.

Tomoyuki Yamada Department of Philosophy Hokkaido University

The websites of the UvA make use of cookiesThis site uses cookies More informationMore info Hide this message XHide X