[logic-ml] Summer School in Dynamic Epistemic Logic, Sapporo (Japan), 13-23 Aug 2019

Katsuhiko Sano katsuhiko.sano at gmail.com
Tue Feb 26 02:54:02 JST 2019


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



More information about the Logic-ml mailing list