Committees
PROGRAM COMMITTEE
Thomas Ågotnes (University of Bergen, Norway, and Southwest University, China)
Johan van Benthem (University of Amsterdam, The Netherlands, and Stanford University, USA)
Jose Carmo (Universidade da Madeira, Portugal)
Mamoru Kaneko (Waseda University, Japan)
Fenrong Liu (Tsinghua University, China)
Yuko Murakami (Tohoku University, Japan)
Yasuo Nakayama (Osaka University, Japan)
Mitsuhiro Okada (Keio University, Japan)
Manuel Rebuschi (Nancy University, France)
Katsuhiko Sano (Japan Advanced Institute of Science and Technology, Japan)
Taiki Takahashi (Hokkaido University, Japan)
Allard Tamminga (Rijksuniversiteit Groningen, The Netherlands)
Tomoyuki Yamada (Hokkaido University, Japan)
Berislav Žarnić (University of Split, Croatia)
LOCAL ORGANIZING COMMITTEE
Shunzo Majima (Hokkaido University, Japan)
Katsuhiko Sano (Jaist, Japan)
Tomoyuki Yamada (Hokkaido University, Japan)