[logic-ml] Summer School in Dynamic Epistemic Logic, Sapporo (Japan), 20-31 Aug 2018

[Katsuhiko Sano]

Dear all,

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 two guest lecturers from University of
Auckland and ILLC (University of Amsterdam) from August 20 to August
31 as part of Hokkaido Summer Institute (HSI) 2018.

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

Course 1 (20/Aug/2018 - 24/Aug/2018): Introduction to Logic (For details,
see http://hokkaidosummerinstitute.oia.hokudai.ac.jp/courses/CourseDetail=G093)

Course 2 (27/Aug/2018 - 31/Aug/2018): Dynamic Epistemic Logic and its
Applications (For details,
see http://hokkaidosummerinstitute.oia.hokudai.ac.jp/courses/CourseDetail=G102)

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

The main lecturer of Course 2 is Jeremy Seligman (Faculty of Arts,
School of Humanities, the University of Auckland).

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.

An application period for students from universities other than
Hokkaido University is

** from February 1 to February 28 2018.**

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