About AISC Conference Series

Conferences in this series are held every two years. The previous four ones took place in Karlsruhe (Germany), Cambridge (United Kingdom), Steyr (Austria) and Plattsburgh (USA) -- the first three under the name "Artificial Intelligence and Symbolic Mathematical Computing (AISMC)". The conference in the year 2014 will be held in Spain. The aim of the conference is to provide a forum for the exchange of ideas and the presentation of new tools and solutions. Another goal is foster personal contacts among researchers from different fields related to AI and Symbolic Computation. The conference is concerned with all aspects of research, including theory, implementations and applications.