From: PALMER Jake <s1673264@sms.ed.ac.uk>
AISC 2018 Final Call for Papers (Extended Deadline)
13th International Conference on Artificial Intelligence and Symbolic Computation
Suzhou, China, September 16-19, 2018 http://aisc2018.cc4cm.org
NEW
Extended Short/Regular paper submission deadline: May 20, 2018
Invited Tutorial by James Davenport
Additional Special Track on Intelligent Documents
Invited Speakers for the Special Tracks
OVERVIEW
AISC is a forum for the exchange of ideas and the presentation of new tools and solutions at the
intersection of Artificial Intelligence and Symbolic Computation. It aims to foster contacts
and collaborations 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.
AISC 2018 takes a broad view of AI that includes non-traditional areas such as machine/deep
learning and their interactions with logic and symbolic reasoning. It will also have special tracks on
Collective Intelligence and Intelligent Documents.
Conferences in this series are usually held every two years. The previous five took place in Sevilla
(Spain), Paris (France), Birmingham (United Kingdom), Beijing (China), and Linz (Austria). AISC 2018
will take place in Suzhou, China.
TOPICS
Specific topics for AISC 2018 include, but are not limited to:
Cognitive modelling and symbolic AI
Machine learning and computational intelligence
Data modelling and analysis
Knowledge representation and symbolic computing
Knowledge acquisition, search, verification, and interoperation
Automated reasoning and knowledge discovery
Causal inferences, uncertainty reasoning, and decision support
Cross-disciplinary knowledge management
Mechanization of mathematics
Mechanized program verification and debugging
Combination of logics and computations
Integration of logical reasoning and computer algebra
Symbolic computations for expert systems and machine learning
Computer vision and computer-aided geometric design
Computer algebra systems and automated theorem provers
Computer-based mathematics teaching and didactics
Programming languages and systems for symbolic computation
Emerging fields of computational AI
Topics for the special track on Collective Intelligence include, but are not limited to:
Human computation and collective intelligence
Game theory and crowdsourcing computation
Crowdsourcing software engineering
Crowdsourcing publishing, reviewing, and competition systems
Topics for the special track on Intelligent Documents include, but are not limited to:
Semantic representation of documents
Formalization and interoperation of domain knowledge
Document visualization and interfaces
Interactive computation and reasoning with documents
Content-based knowledge retrieval
Intelligent tutoring and interactive exercises
Adaptive learning model and systems
SUBMISSION GUIDELINES
Original research papers in English, including experimental work and work in progress, are welcome.
The following types of submissions are invited.
Regular papers: maximum 15 pages.
Short papers: maximum 5 pages addressing the following aspects explicitly.
Problem: what is the problem/question/objective?
Motivation: why are we working on the problem and what is its importance?
State of the art: what has been done already on the problem?
Contribution: what is the main original contribution?
Main idea: what is the main idea underlying the contribution?
Additional information:
The submissions should indicate whether they are submitted as short or regular papers as part of
their titles (see the AISC webpage for instructions). Aside from this they should follow the standard
Springer LNCS Proceedings format.
Accepted papers must be presented at the conference.
If you have any problems with the submission of your paper, or questions concerning
AISC 2018 or EasyChair, please contact aisc2018@easychair.org.
PUBLICATION
All submissions will be formally reviewed by PC members and external referees. Decision on the SHORT paper
will be made on a rolling basis, normally about 10-15 days after submission. At least one author of each
accepted submission must register at AISC 2018. All accepted SHORT or REGULAR papers will appear in a conference
proceedings volume published by Springer in LNCS. In addition, REGULAR papers have the opportunity to be considered
for post-conference special issues of some journal.
IMPORTANT DATES
Short/Regular paper submission deadline: May 20, 2018 (Extended)
Author notification: June 29, 2018
Camera-ready submission: July 11, 2018
Early registration: August 18, 2018
Conference: September 16-19, 2018
INVITED SPEAKERS (to be completed)
Main Track:
Bruno Buchberger (Johannes Kepler University, Austria)
Alan Bundy (University of Edinburgh, UK)
Zhi-Hua Zhou (Nanjing University, China)
Special Track on Collective Intelligence:
Guoliang Li (Tsinghua University, China)
Special Track on Intelligent Documents:
Xiaoyu Chen (Beihang University, China)
Cezary Kaliszyk (University of Innsbruck, Austria)
INVITED TUTORIAL
James Davenport (University of Bath, UK)
GENERAL CHAIRS
Jacques Calmet (Karlsruhe Institute of Technology, Germany)
Dongming Wang (Beihang University, China & CNRS, France)
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)
Jacques Fleuriot (University of Edinburgh, UK), AISC 2018 PC Chair
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)
Email Gateway (Aug 22 2022 at 17:15):