CFProposal AISB2018

  The Society for the Study of Artificial Intelligence and Simulation for Behaviour (AISB) is soliciting proposals for symposia to be held at the AISB 2018 convention.The longest running convention on Artificial Intelligence, A...


Insurance AI Analy...

Insurance AI Analytics Summit, October 9-10, London Join us for Europe’s only AI event dedicated to insurance where 300 attendees will unite from analytics, pricing, marketing, claims and underwriting. You’ll find out how advan...


AISB 2018 Convention

  The longest running convention on Artificial Intelligence, AISB 2018 will be held at the University of Liverpool, chaired by Floriana Grasso and Louise Dennis. As in the past years, AISB 2018 will provide a unique forum for p...


AI Summit London

     The AI Summit London: The World’s Number One AI Event for Business  Date: 9-10 May 2017 Venue: Business Design Centre, London. The AI Summit is the world’s first and largest/number one conference exhibition dedicated to t...


AISB Wired Health

    AISB and WIRED events have partnered to bring together inspirational high-profile speakers. Join hundreds of healthcare, pharmaceutical and technology influencers and leaders at the 4th Annual WIRED Health event, taking pl...


Hugh Gene Loebner

  The AISB were sad to learn last week of the passing of philanthropist and inventor Hugh Gene Loebner PhD, who died peacefully in his home in New York at the age of 74.  Hugh was founder and sponsor of The Loebner Prize, an an...


AI Europe 2016

  Partnership between AISB and AI Europe 2016: Next December 5th and 6th in London, AI Europe will bring together the European AI eco-system by gathering new tools and future technologies appearing in professional fields for th...


AISB convention 2017

  In the run up to AISB2017 convention (, I've asked Joanna Bryson, from the organising team, to answer few questions about the convention and what comes with it. Mohammad Majid...


Harold Cohen

Harold Cohen, tireless computer art pioneer dies at 87   Harold Cohen at the Tate (1983) Aaron image in background   Harold Cohen died at 87 in his studio on 27th April 2016 in Encintias California, USA.The first time I hear...


Dancing with Pixies?...

At TEDx Tottenham, London Mark Bishop (the former chair of the Society) demonstrates that if the ongoing EU flagship science project - the 1.6 billion dollar "Human Brain Project” - ultimately succeeds in understanding all as...



AISB event Bulletin Item

CALL FOR PAPERS: Formalizing Mechanisms for Artificial General Intelligence and Cognition, 31 July - 3 Aug 2013, Beijing, CHINA

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
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.

The 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
Theoretical characterizations and representation of the essential parts
thereof are 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.).
This 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: 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 Osnabrck,
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 (according to the
LNCS guidelines).

More information about Springer's LNCS series is available on the Springer
LNCS Web site. Papers must be submitted in PDF, but the authors of
accepted papers will eventually be requested to submit their TeX source
file(s) for the camera-ready version (unless they prefer not to publish
their contribution).

**                   Important Dates                     **
First CFP:                      January 15, 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
You may also think about joining the workshop's Facebook page to share the
interests, post questions, and get recent updates:
Facebook :

Home Page:

By Organizing Committee, "FormalMAGiC":
(Formalizing Mechanisms for Artificial General Intelligence and Cognition)
Home Page: