皆様、

重複して受け取られた場合はどうぞご容赦ください。

北陸先端科学技術大学院大学の佐野勝彦です。Computability Theory and Foundations of Mathematics 2014 の直後の 2/21, 2/22 に 金沢で開催する Epistemic Logic に関する国際ワークショップについてご案内を致します。 詳細については改めてご案内いたしますが、どうぞ参加をご検討ください。

=========================================== Kanazawa Workshop for Epistemic Logic and its Dynamic Extensions -- JAIST Logic Workshop Series 2014 -- Dates: February 21-22, 2014 Venue: Shiinoki Cultural Complex, Kanazawa, Ishikawa, Japan Website: http://www.jaist.ac.jp/~v-sano/jw2014/index.html ===========================================

Kanazawa Workshop for Epistemic Logic and its Dynamic Extensions will be held at the Shiinoki Cultural Complex, and is organized by Satoshi Tojo and Katsuhiko Sano of Japan Advanced Institute of Science and Technology from 21st to 22nd February, 2014. The aim of the workshop is to discuss about epistemic logic and dynamic epistemic logic and their application from theoretical and practical viewpoints.

Invited Speakers: Thomas Ågotnes (University of Bergen) Mamoru Kaneko (Waseda University) Hidenori Kurokawa (Kobe Univeristy) Minghui Ma (Southwest University) François Schwarzentruber (ENS Rennes) Jeremy Seligman (The University of Auckland) Sonja Smets (ILLC, Universiteit van Amsterdam) Nobu-Yuki Suzuki (Shizuoka University) Fernando R. Velázquez Quesada (Universidad de Sevilla) Tomoyuki Yamada (Hokkaido University)