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 one guest lecturer, Hans van Ditmarsch, from LORIA in Nancy, between August 13 and August 23 as part of Hokkaido Summer Institute (HSI) 2019.
The following two intensive courses are scheduled to be offered during the summer school.
Course 1 (13/Aug/2019 - 17/Aug/2019): Introduction to Logic 2019 (For details, see https://hokkaidosummerinstitute.oia.hokudai.ac.jp/courses/CourseDetail=G096)
Course 2 (19/Aug/2019 - 23/Aug/2019): Dynamic Epistemic Logic and its Applications 2019 (For details, see https://hokkaidosummerinstitute.oia.hokudai.ac.jp/courses/CourseDetail=G099)
The main lecturer of Course 1 is Katsuhiko Sano (Department of Philosophy, Hokkaido University).
The main lecturer of Course 2 is Hans van Ditmarsch (Lorraine Research Laboratory in Computer Science and its Applications, Centre national de la recherche scientifique, France).
Tomoyuki Yamada (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.
There are several application periods for students from universities other than Hokkaido University:
1st application: ** from February 1 to February 28 2019.** 2nd application: ** from April 4 to 10 2019.** 3rd application: ** from April 26 to May 8 2019.**
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.
Katsuhiko Sano Department of Philosophy Graduate School of Letters Hokkaido University