a

13th International Conference on Artificial Intelligence and Symbolic Computation 


Home Committee Keynotes 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

Jesus Aransay (University of la Rioja, Spain)
Yves Bertot (Sophia Antipolis, France)
Francisco Botana (University of Vigo, Spain)
Krysia Broda (Imperial College, London)
Xiaoyu Chen (Beihang University, China)
Mnacho Echenim (Laboratoire d'Informatique de 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 Janicic (University of Belgrade, Serbia)
Deepak Kapur (University of New Mexico, USA)
Michael Kohlhase (FAU Erlangen-Nurenberg, 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)
Julien Narboux (University of Strasbourg, France)
Petros Papapanagiotou (University of Edinburgh, UK)
Tomas Recio (University of Cantabria, Spain)
Jose-Luis Ruiz-Reina (University of Seville, Spain)
Carolyn Talcott (SRI International, USA)
Laurent Thery (Sophia Antipolis, France)
Yongxin Tong (Beihang University, China)
Josef Urban (Czech Technical University in Prague, Czech Republic)
Wolfgang Windsteiger (RISC, 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 (AMSS, Chinese Academy of Sciences)