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 opportunities Bulletin Item

CALL FOR PAPERS: Special Issue on theorem-prover based systems for education

The Electronic Journal of Mathematics & Technology (eJMT)


CADGME, the Conference on Computer Algebra and Dynamic Geometry Sy- stems in Mathematics Education,
has a working group on Theorem-Prover(TP) based Systems since 2009. This year's conference held in 
Novi Sad, Serbia, leads to a special issue with this scope:

Recently and largely unnoticed in public, applications in science and technology drove the 
development of automated and interactive theorem proving technologies, which have become of 
major importance for mathe- matics and computer science in academia and in industry. However, 
their potential for a wide-spread education technology is unexplored, in spite of the fact, that 
TP exhibits features relevant for  educati- onal systems:
? TP supports automated checks of user-input: since input states a
   lemma to be proved within the logical context of a proof, a cal-
   culation or a geometric construction, TP checks user-input without
   specific code for large classes of input. Such automation brings
   systems for step-wise problem solving within reach.
? TP covers the whole problem solving process: since TP implements
   reasoning ? the core of mathematical thinking, it supports all steps
   in problem solving (mathematising, comparing specifications, reason-
   ing and arguing, trying various strategies, until a solution can be
? TP has underlying knowledge in a human readable format (following
   the LCF-paradigm): mathematics  knowledge is mechanized down to
   "first principles" beginning from basic axioms and definitions; so
   presenting explanations to learners is not an issue of implementa-
   tion but an issue of filtering off details.
These features are distinguished from present educational mathematics software, from CAS, DGS, 
Spreadsheets etc. such that they promote a new generation of educational math assistants. Several 
prototypes are under construction in academic R&D for geometry, algebra and appli- cations in 
engineering disciplines. So it seems in time to publish TP's potential and expected impact on 
educational practice in a special issue.

===Important Dates

Deadline:                 September 15, 2012
Submission:               16 pages pdf
Preliminary notification: October 22, 2012
Final notification        due to eJMT referees
Expected publication:     Spring 2013

===Submission Details

We expect original articles (typically 12-18 pages) that present high- quality contributions that 
have not been previously published in an archival venue and that must not be simultaneously 
submitted for publication elsewhere.


===Program Committee

Roman Haek, University of South Bohemia Zlatan Magajna, University of Ljubljana Filip Maric, 
University of Belgrade Walther Neuper, Graz University of Technology Pavel Pech, University of 
South Bohemia Rein Prank, University of Tartu to be completed

===Topics of interest include, but are not limited to:

? Features of TP which have specific potential for innovating educati-
   onal software
? Descriptions of systems which implement TP components, and expected
   impact on innovating education
? Reports from field-tests for TP-based systems ? What are novel promises of TP for open learning 
scenarios in class,independent learning at home, in renewed math and science education?
? How can TP provide additional challenges for gifted and interested   students as well as extra 
tuition to catch up on, particularly for "slow but rigorous thinkers"?
? What is the gain for designing curricula, when respective math know-
   ledge can be mechanized and is available "from first principles"?
? What is the gain for evaluation and assessment, when the same soft-  ware can be used for 
learning as well as for assessment (because for
   the latter only supportive functionality needs to be reduced)?
? How can TP-based systems support and enforce continuity between
   ?intuitive? math at high-school and ?formal? math at university?
? Are there ideas for open price competitions addressing the public in interactive mathematical challenges via 'cloud computing'?