[logic-ml] Summer School in Dynamic Epistemic Logic, Sapporo (Japan), 14-25 Aug 2017

[Katsuhiko Sano]

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 http://hokkaidosummerinstitute.oia.hokudai.ac.jp/courses/CourseDetail=G070)

Course 2 (August 21 to August 25): Dynamic Epistemic Logic and its
Applications (For details, see
http://hokkaidosummerinstitute.oia.hokudai.ac.jp/courses/CourseDetail=G074
)

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:

https://hokkaidosummerinstitute.oia.hokudai.ac.jp/applications/

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