Logic List Mailing Archive

2nd CfP: FormalMAGiC

31 Jul - 3 Aug 2013
Beijing, China

Second Call for Papers: FormalMAGiC workshop

***********************************************************
**                                                       **
**       WORKSHOP: Call for papers & participation       **
**                                                       **
***********************************************************
**         Formalizing Mechanisms for Artificial         **
**   General Intelligence and Cognition: "FormalMAGiC"   **
**                                                       **
**    Webpage: http://www.cogsci.uos.de/~formalmagic/    **
***********************************************************

The "Formalizing Mechanisms for Artificial General Intelligence and 
Cognition" (FormalMAGiC) international workshop will be held during the 
Sixth Conference on Artificial General Intelligence (AGI-13), which will 
co-locate with IJCAI-13 in Beijing, China, between July 31, 2013 and 
August 3, 2013. The FormalMAGiC workshop invites researchers interested in 
formalizing computational models of AI or cognitive science to participate 
in and contribute to the workshop by submitting articles that illustrate 
their recent research or describe the advances in their work related to 
the intersection between the two fields.

***********************************************************



***********************************************************
**              Relevant topics and audience             **
***********************************************************

The idea of the workshop is to offer a venue for scientists who are 
interested in taking the work at the intersection between artificial 
general intelligence (AGI) and cognitive science to a rigid, more formal 
level. Though maybe considered well-characterized by some empiricists, 
several cognitive mechanisms need to have a formal jargon that allows 
implementations of AGI systems to base their representation and 
computation upon (in addition to their possible integration). A 
convergence to the prospected formal level can be obtained by emphasizing 
the importance of formally presenting essential cognitive mechanisms and 
human capacities in developing artificial models of intelligence. These 
models are expected to implement the mechanisms in order to achieve a 
human-like level of intelligence.

This workshop discusses the formalization of the most important cognitive 
mechanisms and human abilities that have already been shown in literature 
to play essential roles in computational models of artificial (general) 
intelligence, using available techniques like learning or reasoning. 
Cognitive mechanisms and human capacities, in particular those related to 
general intelligence, have a wide range of possibilities that attract the 
interest of audience from various (sub)areas in artificial intelligence 
and cognitive science.

Of special concern to the discussions and presentations during this 
workshop are the human capacities, such as (1) doing abstractions 
(generalizations or specializations), (2) creating similarity- and 
analogy-based decisions, (3) performing conceptual blending, (4) creating 
imaginative images and alternatives to reality, (5) coherently integrating 
cognition, or (6) bridging the gaps between well-known cognitive 
mechanisms, but the workshop is also open to contributions and treatments 
of other closely-related capacities.

This workshop seeks initiative contributions that particularly help in 
demonstrating, formalizing, or implementing the aforementioned capacities 
(or the related ones) using probabilistic, symbolic, or logic-based 
approaches. Theoretical characterizations and representation of the 
essential parts thereof are also very welcome (e.g. characterizing 
cognitive models and architectures, representing concepts for computing 
cognition (including quantum structures for cognition), modeling creative 
capacities in artificial models... etc.). The list is not by any means 
intended to be exhaustive; the intention is rather to mention the famous 
mechanisms that already showed importance in the literature of computing 
cognition, and for which a mature stream of (theoretical and/or practical) 
research is already established.

***********************************************************



***********************************************************
**                  Paper submission                     **
***********************************************************

All submissions related to one or more of the mentioned topics are 
welcome. Anyone interested in any of these directions or the closely 
related ones is invited to submit a research or position paper as basis 
for presentation and discussion during the workshop.

Submissions should be sent to the workshop's email address (email: 
formalmagic@cogsci.uos.de) before 10-APRIL-2013 11:59pm (PST!).

Accepted papers will be published online in the "Publication Series of the 
Institute of Cognitive Science" (PICS, ISSN 1610-5389), a scientific 
series from the Institute of Cognitive Science, University of Osnabrück, 
unless the authors instruct us otherwise.

Note: Authors of accepted papers will give talks at the workshop. At least 
one author of each accepted paper must register for the conference (and 
attend the workshop) and present the paper there (the workshop will be 
free of charge for the AGI-13 conference participants).

***********************************************************



***********************************************************
**                  Submission format                    **
***********************************************************

All papers should be submitted in accordance to the AGI-13 formatting 
style. Papers must be in English, should not exceed five pages, and must 
be formatted according to the LNCS guidelines. They must be submitted in 
PDF (Adobe's Portable Document Format), keeping in mind that the authors 
of accepted papers will eventually be requested to submit their LaTeX 
file(s) for the camera-ready version (unless they prefer not to publish 
their contribution). Paper templates and more information about Springer's 
LNCS series is available on the Springer LNCS Web site and the workshop's 
home page.

***********************************************************



***********************************************************
**                   Important Dates                     **
***********************************************************
First CFP:                                 January 15, 2013
Second CFP:                               February 28, 2013
Paper Submission deadline:                   April 10, 2013
Acceptance Notification:                     April 20, 2013
Camera-ready version:                        April 30, 2013
Conference:                 July 31, 2013 -- August 3, 2013
***********************************************************



***********************************************************

For further information or inquiries, please visit the workshop's web 
page: http://www.cogsci.uos.de/~formalmagic/ You may also think about 
joining the workshop's Facebook page to share the interests, post 
questions, and get recent updates: Facebook : 
http://www.facebook.com/FormalizingMAGIC/

***********************************************************



************************************************************************** 
By Organizing Committee, "FormalMAGiC":
(Formalizing Mechanisms for Artificial General Intelligence and Cognition) 
---
eMail: formalmagic@cogsci.uos.de
Home Page: http://www.cogsci.uos.de/~formalmagic/
Facebook: http://www.facebook.com/FormalizingMAGIC/
**************************************************************************