headershort

Committee

Program Committee Chair

James H. Davenport (University of Bath, UK)

Program Committee

Kenichi Asai (Ochanomizu University, Japan)

Adel Bouhoula (Carthage University, Tunisia)

Changbo Chen (Chinese Academy of Sciences, China)

Matthew England (Coventry University, UK)

Jacques Garrigue (Nagoya University, Japan)

Cezary Kaliszyk (University of Innsbruck, Austria)

Yukiyoshi Kameyama (University of Tsukuba, Japan)

Michael Kohlhase (Jacobs University, Germany)

Temur Kutsia (Johannes Kepler University, Austria)

Assia Mahboubi (Inria, France)

Yasuhiko Minamide (Tokyo Institute of Technology, Japan)

Yoshihiro Mizoguchi (Kyushu University, Japan)

Julien Narboux (Strasbourg University, France)

Renaud Rioboo (ENSIIE, France)

Tateaki Sasaki (University of Tsukuba, Japan)

Dongming Wang (Beihang University and CNRS, China and France)

Stephen Watt (University of Waterloo, Canada)

Kazuhiro Yokoyama (Rikkyo University, Japan)

Honorary Chair

Bruno Buchberger (Johannes Kepler University, Austria)

General Chair

Tetsuo Ida (University of Tsukuba, Japan)

Local Arrangement Committee

Kenichi Asai (Ochanomizu University, Japan)

Houssem Chatbri (University of Tsukuba, Japan)

Fadoua Ghourabi (Ochanomizu University, Japan) (Chair)

Sosuke Moriguchi (Kwansei Gakuin University, Japan)

Akira Terui (University of Tsukuba, Japan)