a

13th International Conference on Artificial Intelligence and Symbolic Computation


Home Committee Keynotes Poster Program Registration Accommodation Venue & Travel
a


For Authors

For Participants


Previous AISCs



 

General Chairs

Jacques Calmet (Karlsruhe Institute of Technology, Germany )
Dongming Wang (Beihang University, China & CNRS, France)

Program Committee Chair

Jacques Fleuriot (University of Edinburgh, UK) 

Program Committee

Jesús Aransay (University of La Rioja, Spain)
Yves Bertot (Inria, France)
Francisco Botana (University of Vigo at Pontevedra, Spain)
Krysia Broda (Imperial College, UK)
Mnacho Echenim (University of Grenoble, France)
Matthew England (Coventry University, UK)
Xiao-Shan Gao (Chinese Academy of Sciences, China)
Tetsuo Ida (University of Tsukuba, Japan)
Paul Jackson (University of Edinburgh, UK)
Predrag Janičić (University of Belgrade, Serbia)
Deepak Kapur (University of New Mexico, USA)
Michael Kohlhase (FAU Erlangen-Nürenberg, Germany)
Ekaterina Komendantskaya (Heriot-Watt University, UK)
Robert Y. Lewis (Vrije University Amsterdam, Netherlands)
Xinjun Mao (National University of Defense Technology, China)
Chenqi Mou (Beihang University, China & LIP6-UPMC, France)
Julien Narboux (University of Strasbourg, France)
Petros Papapanagiotou (University of Edinburgh, UK)
Tomás Recio (University of Cantabria, Spain)
Jose-Luis Ruiz-Reina (University of Seville, Spain)
Carolyn Talcott (SRI International, USA)
Laurent Thery (Inria, France)
Yongxin Tong (Beihang University, China)
Josef Urban (Czech Technical University in Prague, Czech Republic)
Dongming Wang (Beihang University, China & CNRS, France)
Wolfgang Windsteiger (Johannes Kepler University Linz, Austria)
Ye Yuan (Northeastern University, China )
Zimu Zhou (ETH Zurich, Switzerland)

Local Organization

Wenjun Wu (Beihang University, China) , Chair
Xiaoyu Chen (Beihang University, China)

Publicity Chair

Xiaohong Jia (Chinese Academy of Sciences)