Committees
PROGRAM COMMITTEE
Thomas Ågotnes (University of Bergen, Norway, and Southwest University, China)
Alexandru Baltag (University of Amsterdam, The Netherlands)
Johan van Benthem (Stanford University, USA and Tsinghua University, China)
Jose Carmo (Universidade da Madeira, Portugal)
Mamoru Kaneko (Tsukuba University, Japan)
Fenrong Liu (Tsinghua University, China)
Yasuo Nakayama (Osaka University, Japan)
Manuel Rebuschi (Université de Lorraine, France)
Katsuhiko Sano (Hokkaido University, Japan)
Jeremy Seligman (The University of Auckland, New Zealand)
Sonja Smets (University of Amsterdam, The Netherlands)
Satoshi Tojo (JAIST, Japan)
Allard Tamminga (University of Greifswald, Germany)
Tomoyuki Yamada (Hokkaido University, Japan)
ORGANIZING COMMITTEE
Nobuo Kurata (Hokkaido University, Japan)
Katsuhiko Sano (Hokkaido University, Japan)
Tomoyuki Yamada (Hokkaido University, Japan)