[SMT-LIB] Artificial Intelligence and Symbolic Computation AISC 2014

[Geoff Sutcliffe]

** We apologize for multiple copies of this CFP **

****************************************************************************
*                                                                          *
*                          Call for papers                                 *
*                                                                          *
*         12th International Conference on Artificial Intelligence         *
*                 and Symbolic Computation AISC 2014                       *
*                                                                          *
*              ( website: http://www.glc.us.es/aisc2014 )                  *
*                                                                          *
*                          Seville, Spain                                  *
*                      December 11-13, 2014                                *
*                                                                          *
*               Organized by: University of Sevilla, Spain                 *
*                                                                          *
*     Chairs: Gonzalo A. Aranda-Corral   (University of Huelva, Spain)     *
*             Francisco J. Martín-Mateos (University of Sevilla, Spain)    *
*                                                                          *
****************************************************************************



VENUE:

AISC 2014 will take place in Sevilla, a very attractive city of Spain.
The venue will be the Department of Computer Sciences and Artificial
Intelligence at the University of Sevilla.


HISTORY:

Conferences in this series are held since 1992 on even years.

AISMC-1: Karlsruhe (Germany, 1992)
AISMC-2: Cambridge (United Kingdom, 1994)
AISMC-3: Steyr (Austria, 1996)
AISC'1998: Plattsburgh (USA)
AISC'2000: Madrid (Spain)
AISC'2002: Marseille (France)
AISC'2004: Hagenberg (Austria)
AISC'2006: Beijing (China)
AISC'2008: Birmingham (United Kingdom) (within CICM 2008)
AISC'2010: Paris (France) (within CICM 2010)
AISC'2012: Bremen (Germany) (within CICM 2012)

The goal of this series of conferences was to attract researchers active in
Symbolic Computation and Artificial Intelligence. The first three were named
"Artificial Intelligence and Symbolic Mathematical Computing (AISMC)". The
recent conferences were part of the integrated federation of conferences CICM
(Conferences on Intelligent Computer Mathematics).

AISC'2014 will be again independent in order to extend the scope of the
conference.  It will aim at attracting contributions from both classical theory 
fields and application areas. The aims are to offer a forum for young and
advanced researchers and mainly to manage that they have opportunities to
interact.


SCOPE:

Submitted papers should be related with one or more of the main themes proposed
for the Conference.

As usual the conference welcomes papers with a strong AI component that make
use of symbolic computation in a wide sense (not excluding but not restricted
to computer algebra). However, AISC 2014 aims at extending the scope of this
series of conferences to computing in AI thus covering new areas.

Topics of either theoretical or applied interest include the following
non-exhaustive list of topics:

- AI in Symbolic Mathematical Computing.
- Mechanization of Mathematics with special emphasis on Algebraic Geometry and 
  Algebraic Topology.
- Computer Algebra Systems and Automated Theorem Provers.
- Integration of Logical Reasoning and Computer Algebra.
- Logic and Symbolic Computing.
- Combining of Logics, including fibring logics, unified logics, logical
  fibering and similar approaches.
- Non-classical logics computation such as non-monotonic reasoning,
  uncertainty, revision and beliefs.
- Causal inferences.
- New approaches to AI such as universal AI, heuristic approaches.
- Computability, Turing machines, probabilistic Turing Machines.
- Symmetries in AI problems,
- Foundations and Complexity of Symbolic Programming Languages for Symbolic
  Computation. 
- Symbolic Computations for Expert Systems and Machine Learning.
- Implementations of Symbolic Computation Systems.
- Implementation, Complexity and Performance Issues.
- Mechanized program verification.
- Mechanical theorem proving in geometry.
- Automated reasoning.
- Automated discovery.
- Machine learning.
- Knowledge extraction and verification.
- Semantic web technologies.
- Mathematical computations and the Internet of Things.
- Multi-agent systems.
- Decision support systems.
- Engineering, Industrial and Operation Research Applications.
- Mathematical machine intelligence.
- Mathematical Knowledge.
- Intelligent interfaces.
- Collective intelligence.
- Relevant educational systems.
- Epistemology and philosophy of Symbolic Mathematical Computing, multiagent
  systems.
- Impact on business models including business plans. Assessment of model
- sustainability. 
- Emerging fields of computational AI such as biocomputing and quantum
  computing.

INVITED SPEAKERS:

Volker Sorge (University of Birmingham)
José Luis Ruiz-Reina (University of Sevilla, Spain)

(to be completed)


PROGRAM COMMITTEE:

Rajendra Akerkar                (Western Norway Research Institute, Norway)
Gonzalo A. Aranda-Corral        (University of Huelva, Spain)      Co-chair
Serge Autexier                  (DFKI Bremen, Germany)
Jose Antonio Alonso             (University of Sevilla, Spain)
Bernhard Beckert                (Karlsruhe Institute of Technology, Germany)
Belaid Benhamou                 (University of Aix-Marseille, France)
Rudolf Berghammer               (Christian-Albrechts-Universität zu Kiel, 
                                 Germany)
Joaquín Borrego                 (University of Sevilla, Spain)
Francisco Botana                (University of Vigo, Spain)
Jacques Calmet                  (Karlsruhe Institute of Technology, Germany)
Jacques Carette                 (Mc Master University, Canada)
John A. Campbell                (University College London, UK)
Ivo Düntsch                     (Brock University, Ontario, Canada)
Marc Giusti                     (Polytechnique School, Palaiseau, France)
Martin Charles Golumbic         (University of Haifa, Israel)
Reiner Hähnle                   (University Darmstadt, Germany)
Tetsuo Ida                      (University of Tsukuba, Japan)
David J. Jeffrey                (The University of Western Ontario, Canada)
Deepak Kapur                    (University of New Mexico, USA)
Ilias S. Kotsireas              (Wilfrid Laurier University, Canada)
Luis M. Laita                   (Royal Academy of Sciences, Madrid, Spain)
Francisco J. Martín-Mateos      (University of Sevilla, Spain)     Co-chair
Javier Montero                  (Complutense University of Madrid, Spain)
Manuel Ojeda-Aciego             (University of Malaga, Spain)
Mario Jesus Pérez-Jiménez       (University of Sevilla, Spain)
Tomas Recio                     (University of Cantabria, Spain)
Renaud Rioboo                   (ENSIIE, Evry, France)
Eugenio Roanes-Lozano           (Complutense University of Madrid, Spain)
Julio Rubio                     (University of la Rioja, Spain)
Jose Luis Ruiz-Reina            (University of Sevilla, Spain)
Fariba Sadri                    (Imperial College, London, UK)
Cristina Sernadas               (Technical University of Lisbon, Portugal)
Tony Shaska                     (Oakland University, USA)
Volker Sorge                    (University of Birmingham, UK)
Stanly Steinberg                (University of New Mexico, USA)
Carolyn Talcott                 (SRI International, USA)
Dongming Wang                   (University Pierre & Marie Curie, France)
Stephen M. Watt                 (University of Western Ontario, Canada)
Michael Wester                  (University of New Mexico, USA)
Wolfgang Windsteiger            (RISC, Johannes Kepler University Linz (JKU), 
                                 Austria)


LOCAL ORGANIZATION COMMITTEE

Pedro Almagro Blanco            (University of Sevilla, Spain)
José Antonio Alonso Jiménez     (University of Sevilla, Spain)
Joaquín Borrego Díaz            (University of Sevilla, Spain)
Antonia Chávez González         (University of Sevilla, Spain)
Juan Galán Páez                 (University of Sevilla, Spain)
María José Hidalgo Doblado      (University of Sevilla, Spain)
Jaime de Miguel                 (University of Sevilla, Spain)
Antonio Paredes Moreno          (University of Sevilla, Spain)
M. Carmen Pérez Cardona         (University of Sevilla, Spain)
José Luis Ruiz Reina            (University of Sevilla, Spain)



SUBMISSIONS:

Authors are invited to submit non-anonymized papers in English presenting
original and unpublished research, not currently submitted elsewhere. Regular
papers should not exceed 12 single-spaced pages (including eventual appendices)
and should be formatted according to the standard format for Springer Verlag 
LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0).

Works from doctoral students are welcome. A specific chapter of the proceedings
will be devoted to such contributions.



PUBLICATIONS:

As for the previous conferences the proceedings will again be published by
Springer in the LNAI series and will be available by the time of the
conference. The proceedings editors are Gonzalo A. Aranda-Corral , Francisco
J. Martín-Mateos and Jacques Calmet.

As for the previous editions of the conference, selected accepted conference
papers will be invited to submit peer-reviewed extended versions for
publication in special issues of journals. The Annals of Mathematics and
Artificial Intelligence (AMAI) and the International Journal of Computer
Science and Applications (IJCAS) have tentatively agreed to devote special
issues to such papers. Selected extended, improved contributions will be
considered for publication in the AAECC (Applicable Algebra in Engineering,
Communication and Computing) journal. 


REGISTRATION:

Because of the shortage of funding of research and academic institutions,
registration fees will be kept as low as possible.


IMPORTANT DATES:

Paper submission:                       June 15th 2014
Notification of acceptance/rejection:   September 3rd 2014
Camera-ready copy due:                  September 24th 2014